Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarCoRR, May 2014
Moritz Kassner, William Patera, Andreas Bulling:
Pupil: An Open Source Platform for Pervasive Eye Tracking and Mobile Gaze-based Interaction.- T. El-Shishtawy:
A Mobile Management System for Reforming Subsidies Distribution in Developing Countries. - Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali:
LTLf and LDLf Monitoring: A Technical Report. - Arseny M. Shur, Abuzer Yakaryilmaz:
Quantum, Stochastic, and Pseudo Stochastic Languages with Few States. - Haoyu Song, Jun Gong, Hongfei Chen, Justin Dustzadeh:
Unified POF Programming for Diversified SDN Data Plane. - Bertrand Wechsler, Dan Eilat, Nicolas Limal:
Information Flow Decomposition in Feedback Systems: Linear Time-Invariant Systems with Gaussian Channels. - Hoda Daou, Fabrice Labeau:
Medically Relevant Criteria used in EEG Compression for Improved Post-Compression Seizure Detection. - C. Venkatesh, D. Nagaraju, T. Sunil Kumar Reddy:
Binary Protector: Intrusion Detection in Multitier Web Applications. - Antonios Michaloliakos, Ryan Rogalin, Yonglong Zhang, Konstantinos Psounis, Giuseppe Caire:
Performance Modeling of Next-Generation Wireless Networks. - Rajesh Hemant Chitnis, Graham Cormode, Mohammad Taghi Hajiaghayi, Morteza Monemizadeh:
Parameterized Streaming Algorithms for Vertex Cover. - Christian A. Naesseth, Fredrik Lindsten, Thomas B. Schön:
Capacity estimation of two-dimensional channels using Sequential Monte Carlo. - Noémi Gaskó, Rodica Ioana Lung, D. Dumitrescu:
Computing Strong Nash Equilibria for Multiplayer Games. - Vaibhav Jha, Mohit Jha, G. K. Sharma:
Estimation of Optimized Energy and Latency Constraints for Task Allocation in 3d Network on Chip. - Phil Maguire, Philippe Moser, Rebecca Maguire, Virgil Griffith:
Is Consciousness Computable? Quantifying Integrated Information Using Algorithmic Information Theory. - Binbin Lin, Ji Yang, Xiaofei He, Jieping Ye:
Geodesic Distance Function Learning via Heat Flow on Vector Fields. - Anthony Bonato, David F. Gleich, Myunghwan Kim, Dieter Mitsche, Pawel Pralat, Amanda Tian, Stephen J. Young:
Dimensionality of social networks using motifs and eigenvalues. - Pierre de Buyl, Nelle Varoquaux:
Proceedings of the 6th European Conference on Python in Science (EuroSciPy 2013). - Matthieu Barjon, Arnaud Casteigts, Serge Chaumette, Colette Johnen, Yessin M. Neggaz:
Un algorithme de test pour la connexité temporelle des graphes dynamiques de faible densité. - Karim M. Mohamed, Mohamed A. Ismail, Nagia M. Ghanem:
VSCAN: An Enhanced Video Summarization using Density-based Spatial Clustering. - Klesti Hoxha, Alda Kika, Eriglen Gani, Silvana Greca:
Towards a Modular Recommender System for Research Papers written in Albanian. - Alireza Vahid, Mohammad Ali Maddah-Ali, Amir Salman Avestimehr:
Binary Fading Interference Channel with No CSIT. - Florian Kerschbaum, Martin Beck, Dagmar Schönfeld:
Inference Control for Privacy-Preserving Genome Matching. - Sreejith T. Veetil, Kiran Kuchi, Radha Krishna Ganti:
Performance of PZF and MMSE Receivers in Cellular Networks with Multi-User Spatial Multiplexing. - Greg Castañón, Mohamed A. Elgharib, Venkatesh Saligrama, Pierre-Marc Jodoin:
Retrieval in Long Surveillance Videos using User Described Motion and Object Attributes. - James Whitacre, Sven Schellenberg, Antony Iorio:
Coal Blending: Business Value, Analysis, and Optimization. - Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic:
Reservoir Computing Approach to Robust Computation using Unreliable Nanoscale Networks. - Tsung-Yi Lin, Michael Maire, Serge J. Belongie, Lubomir D. Bourdev, Ross B. Girshick, James Hays, Pietro Perona, Deva Ramanan, Piotr Dollár, C. Lawrence Zitnick:
Microsoft COCO: Common Objects in Context. - Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce, Manuel Mazzara:
On Formalisms for Dynamic Reconfiguration of Dependable Systems. - Leonardo Aniello, Andrea Bondavalli, Andrea Ceccarelli, Claudio Ciccotelli, Marcello Cinque, Flavio Frattini, Antonella Guzzo, Antonio Pecchia, Andrea Pugliese, Leonardo Querzoni, Stefano Russo:
Big Data in Critical Infrastructures Security Monitoring: Challenges and Opportunities. - Giuseppe Cicotti, Luigi Coppolino, Salvatore D'Antonio, Luigi Romano:
Big Data Analytics for QoS Prediction Through Probabilistic Model Checking. - Yixin Cao, Luciano N. Grippo, Martín Darío Safe:
Forbidden Induced Subgraphs of Normal Helly Circular-Arc Graphs: Characterization and Detection. - Noémi Gaskó, Mihai Alexandru Suciu, Rodica Ioana Lung, D. Dumitrescu:
Characterization and Detection of epsilon-Berge Zhukovskii Equilibria. - Meik Dörpinghaus, Günther Koliander, Giuseppe Durisi, Erwin Riegler, Heinrich Meyr:
Oversampling Increases the Pre-Log of Noncoherent Fading Channels. - Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
Fatal Attractors in Parity Games: Building Blocks for Partial Solvers. - Mansoor Ebrahim, Shujaat Khan, Syed Sheraz Ul Hasan Mohani:
Peer-to-Peer Network Simulators: an Analytical Review. - Fábio M. Bayer, Renato J. Cintra, Arjuna Madanayake, Uma Sadhvi Potluri:
Multiplierless Approximate 4-point DCT VLSI Architectures for Transform Block Coding. - Thomas Janson, Christian Schindelhauer:
Ad-Hoc Network Unicast in Time O(log log n) using Beamforming. - Sachin Lakra, T. V. Prasad, G. Ramakrishna:
Representation of a Sentence using a Polar Fuzzy Neutrosophic Semantic Net. - Rodica Bozianu, Catalin Dima, Emmanuel Filiot:
Safraless Synthesis for Epistemic Temporal Specifications. - Fabrizio Grandoni, Tomasz Kociumaka, Michal Wlodarczyk:
An LP-Rounding $2\sqrt{2}$ Approximation for Restricted Maximum Acyclic Subgraph. - Ambedkar Dukkipati, Nithish Pai, Maria Francis, Abhishek Dubey:
Macaulay-Buchberger Basis Theorem for Residue Class Rings with Torsion and Border Bases over Rings. - Nicolas T. Courtois:
On The Longest Chain Rule and Programmed Self-Destruction of Crypto Currencies. - Radoslaw Michalski, Tomasz Kajdanowicz, Piotr Bródka, Przemyslaw Kazienko:
Seed Selection for Spread of Influence in Social Networks: Temporal vs. Static Approach. - Sergei Gepshtein, Ivan Tyukin:
Optimal measurement of visual motion across spatial and temporal scales. - Omar S. Soliman, Eman AboElhamd:
Classification of Diabetes Mellitus using Modified Particle Swarm Optimization and Least Squares Support Vector Machine. - Jun Pang, Yang Liu:
Proceedings Third International Workshop on Engineering Safety and Security Systems, ESSS 2014, Singapore, Singapore, 13 May 2014. EPTCS 150, 2014 [contents] - Vidit Sharma, Ashish Garg:
Numerical Investigation of Effects of Compound Angle and Length to Diameter Ratio on Adiabatic Film Cooling Effectiveness. - Ryoma Sin'ya, Kiminori Matsuzaki, Masataka Sassa:
Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching. - Lucas Antiqueira, Liang Zhao:
Spatial Neural Networks and their Functional Samples: Similarities and Differences. - On Lipschitz Continuity and Smoothness of Loss Functions in Learning to Rank.
- Sougata Chaudhuri, Ambuj Tewari:
Perceptron-like Algorithms and Generalization Bounds for Learning to Rank. - On the Construction of Maximum-Quality Aggregation Trees in Deadline-Constrained WSNs.
- Xuehan Xiong, Fernando De la Torre:
Supervised Descent Method for Solving Nonlinear Least Squares Problems in Computer Vision. - Aibek Makazhanov, Denilson Barbosa, Grzegorz Kondrak:
Extracting Family Relationship Networks from Novels. - Bin Li, Ruogu Li, Atilla Eryilmaz:
Throughput-Optimal Scheduling Design with Regular Service Guarantees in Wireless Networks. - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke:
Infinite-State Energy Games. - Vimalkumar Jeyakumar, Abdul Kabbani, Jeffrey C. Mogul, Amin Vahdat:
Flexible Network Bandwidth and Latency Provisioning in the Datacenter. - Mario Mastriani:
Rule of Three for Superresolution of Still Images with Applications to Compression and Denoising. - Jin He, Mianxiong Dong, Kaoru Ota, Minyu Fan, Guangwei Wang:
NetSecCC: A Scalable and Fault-tolerant Architecture without Outsourcing Cloud Network Security. - Rajet Krishnan, Mohammad Reza Khanzadi, N. Krishnan, Alexandre Graell i Amat, Thomas Eriksson, Nicolò Mazzali, Giulio Colavolpe:
On the Impact of Oscillator Phase Noise on the Uplink Performance in a Massive MIMO-OFDM System. - Mohammadreza Malek-Mohammadi, Magnus Jansson, Arash Owrang, Ali Koochakzadeh, Massoud Babaie-Zadeh:
DOA Estimation in Partially Correlated Noise Using Low-Rank/Sparse Matrix Decomposition. - Manaal Faruqui:
"Translation can't change a name": Using Multilingual Data for Named Entity Recognition. - Bo Cheng, Ling Cheng:
Single machine slack due-window assignment and scheduling of linear time-dependent deteriorating jobs and a deteriorating maintenance activity. - Kangqi Liu, Meixia Tao:
Generalized Signal Alignment: On the Achievable DoF for Multi-User MIMO Two-Way Relay Channels. - Matthias Nickles, Alessandra Mileo:
Probabilistic Inductive Logic Programming Based on Answer Set Programming. - Seyed M. Mirtaheri, Mustafa Emre Dinçtürk, Salman Hooshmand, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut:
A Brief History of Web Crawlers. - Yonghong Yu, Can Wang, Yang Gao:
Attributes Coupling based Item Enhanced Matrix Factorization Technique for Recommender Systems. - Peng He, Bing Li, Deguang Zhang, Yutao Ma:
Simplification of Training Data for Cross-Project Defect Prediction. - Jingbo Liu, Emmanuel Abbe:
Polynomial complexity of polar codes for non-binary alphabets, key agreement and Slepian-Wolf coding. - John C. Duchi, Michael I. Jordan, Martin J. Wainwright, Yuchen Zhang:
Information-theoretic lower bounds for distributed statistical estimation with communication constraints. - Vishal Anand, Ramani S:
Fault Localization in a Software Project using Back-Tracking Principles of Matrix Dependency. - Hasan Abasi, Nader H. Bshouty, Hanna Mazzawi:
On Exact Learning Monotone DNF from Membership Queries. - Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber:
Belief revision in the propositional closure of a qualitative algebra (extended version). - Hannes Strass:
On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks. - P. Sakthivel, P. Krishna Sankar:
Multi-Path Routing and Wavelength Assignment (RWA) Algorithm for WDM Based Optical Networks. - Alexander Zimin, Rasmus Ibsen-Jensen, Krishnendu Chatterjee:
Generalized Risk-Aversion in Stochastic Multi-Armed Bandits. - Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca:
CEGAR for Qualitative Analysis of Probabilistic Systems. - Sergey Goncharov, Lutz Schröder, Christoph Rauch:
(Co-)Algebraic Foundations for Effect Handling and Iteration. - Grzegorz Orynczak, Marcin Jakubek, Karol Wawrzyniak, Michal Klos:
Market Coupling as the Universal Algorithm to Assess Zonal Divisions. - Yanina Shkel, Vincent Y. F. Tan, Stark C. Draper:
Unequal Message Protection: Asymptotic and Non-Asymptotic Tradeoffs. - John S. H. Baxter, Martin Rajchl, Jing Yuan, Terry M. Peters:
A Continuous Max-Flow Approach to Multi-Labeling Problems under Arbitrary Region Regularization. - Michelle Krüger Silvéria:
Virtual Windshields: Merging Reality and Digital Content to Improve the Driving Experience. - Hayder Raheem Hashim:
The Discrete Logarithm problem in the ElGamal cryptosystem over the abelian group U(n) Where n= p^m, or 2p^m. - Mohit Jha, Shailja Shukla:
Design Of Fuzzy Logic Traffic Controller For Isolated Intersections With Emergency Vehicle Priority System Using MATLAB Simulation. - Joseph Cheriyan, Zhihan Gao, Konstantinos Georgiou, Sahil Singla:
On Integrality Ratios for Asymmetric TSP in the Sherali-Adams Hierarchy. - Tomás Kociský, Karl Moritz Hermann, Phil Blunsom:
Learning Bilingual Word Representations by Marginalizing Alignments. - Verifiable Privacy-Preserving Member and Order Queries on a List.
- Tsung-Yi Chen, Xu Chen, Dongning Guo:
Many-Broadcast Channels: Definition and Capacity in the Degraded Case. - Shiqi Zhang, Mohan Sridharan, Michael Gelfond, Jeremy L. Wyatt:
KR$^3$: An Architecture for Knowledge Representation and Reasoning in Robotics. - Mohammad Rastegari, Shobeir Fakhraei, Jonghyun Choi, David W. Jacobs, Larry S. Davis:
Comparing apples to apples in the evaluation of binary coding methods. - Siddhartha Mukherjee:
Study on performance improvement of oil paint image filter algorithm using parallel pattern library. - Hien Quoc Ngo, Himal A. Suraweera, Michail Matthaiou, Erik G. Larsson:
Multipair Full-Duplex Relaying with Massive Arrays and Linear Processing. - Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher:
Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation. - Narada Wickramage:
Rapture in the Cartesian Wall between Real World Entities and their Abstract Models. - David T. H. Kao, Amir Salman Avestimehr:
Linear Degrees of Freedom of the MIMO X-Channel with Delayed CSIT. - Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy:
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report. 1-7 - Julien Brunel, Laurent Rioux, Stéphane Paul, Anthony Faucogney, Frédérique Vallée:
Formal Safety and Security Assessment of an Avionic Architecture with Alloy. 8-19 - Cornelius Diekmann, Lars Hupel, Georg Carle:
Directed Security Policies: A Stateful Network Implementation. 20-34 - Gurvan Le Guernic:
In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft. 50-55 - David Hauzar, Jan Kofron, Pavel Bastecký:
Data-flow Analysis of Programs with Associative Arrays. 56-70 - Alex Dytso, Daniela Tuninetti, Natasha Devroye:
On the Two-user Interference Channel with Partial Codebook Knowledge at one Receiver. - Yishi Zhang, Chao Yang, Chan Xiong, Xingchi Zhou, Zigang Zhang:
Feature selection for classification with class-separability strategy and data envelopment analysis. - Marcello Balduccini, William C. Regli, Duc N. Nguyen:
An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report. - Wanchun Jiang, Fengyuan Ren, Xin Yue, Chuang Lin:
Scale Congestion Control to Ultra-High Speed Ethernet. - Vikram Krishnamurthy, Omid Namvar Gharehshiran, Maziyar Hamdi:
Interactive Sensing and Decision Making in Social Networks. - Ali Bou Nassif, Luiz Fernando Capretz, Danny Ho:
Analyzing the Non-Functional Requirements in the Desharnais Dataset for Software Effort Estimation. - Ioana O. Bercea, Navin Goyal, David G. Harris, Aravind Srinivasan:
On Computing Maximal Independent Sets of Hypergraphs in Parallel. - Alireza Vahid, Mohammad Ali Maddah-Ali, Amir Salman Avestimehr:
Approximate Capacity of the Two-User MISO Broadcast Channel with Delayed CSIT. - Farhana Bashar, S. M. Akramus Salehin, Thushara D. Abhayapala:
Analysis of Degrees of Freedom of Wideband Random Multipath Fields Observed Over Time and Space Windows. - Hatem Abou-zeid, Hossam S. Hassanein, Stefan Valentin, Mohamed Fathy Feteiha:
A Lookback Scheduling Framework for Long-Term Quality-of-Service Over Multiple Cells. - Yishun Dong, Farzan Farnia, Ayfer Özgür:
Near Optimal Energy Control and Approximate Capacity of Energy Harvesting Communication. - Hani A. Qudaih, Mohammed A. Bawazir, Shuaibu Hassan Usman, Jamaludin Ibrahim:
Persuasive Technology Contributions Toward Enhance Information Security Awareness in an Organization. - Petros T. Boufounos, Laurent Jacques, Felix Krahmer, Rayan Saab:
Quantization and Compressive Sensing. - Robert Mingesz, Gergely Vadai, Zoltan Gingl:
What kind of noise guarantees security for the Kirchhoff-Loop-Johnson-Noise key exchange? - Jian Yang, Jianjun Qian, Lei Luo, Fanlong Zhang, Yicheng Gao:
Nuclear Norm based Matrix Regression with Applications to Face Recognition with Occlusion and Illumination Changes. - Oscar M. Danielsson, Omid Aghazadeh:
Human Pose Estimation from RGB Input Using Synthetic Training Data. - Francisco Claude, Gonzalo Navarro, Alberto Ordóñez Pereira:
Efficient Compressed Wavelet Trees over Large Alphabets. - Abhishek Awasthi, Jörg Lässig, Oliver Kramer:
A Novel Approach to the Common Due-Date Problem on Single and Parallel Machines. - Jon M. Kleinberg, Sigal Oren:
Time-Inconsistent Planning: A Computational Problem in Behavioral Economics. - Mario Alviano, Wolfgang Faber:
Semantics and Compilation of Answer Set Programming with Generalized Atoms. - Giorgos Kouropoulos:
Calculation software for efficiency and penetration of a fibrous filter medium based on the mathematical models of air filtration. - Brijender Kahanwal:
Comparative Study of the Function Overloading and Function Overriding Using C++. - Igor Bilogrevic, Julien Freudiger, Emiliano De Cristofaro, Ersin Uzun:
What's the Gist? Privacy-Preserving Aggregation of User Profiles. - Wilhelmiina Hämäläinen:
General upper bounds for well-behaving goodness measures on dependency rules. - Olena Orobinska:
Automatic Method Of Domain Ontology Construction based on Characteristics of Corpora POS-Analysis. - Michael Kai Petersen:
When push comes to shove verbs literally shake due to latent semantic parameters of size and intensity. - Namyoon Lee, David Morales-Jiménez, Angel E. Lozano, Robert W. Heath Jr.:
Spectral Efficiency of Dynamic Coordinated Beamforming: A Stochastic Geometry Approach. - Ramin Pichevar, Jason Wung, Daniele Giacobello, Joshua Atkins:
Design and Optimization of a Speech Recognition Front-End for Distant-Talking Control of a Music Playback Device. - Xiaozhe Wang, Hsiao-Dong Chiang:
Quasi Steady-State Model for Power System Stability: Limitations, Analysis and a Remedy. - Shamanth Kumar, Huan Liu, Sameep Mehta, L. Venkata Subramaniam:
From Tweets to Events: Exploring a Scalable Solution for Twitter Streams. - Shamim Ripon, Aoyan Barua, Mohammad Salah Uddin:
Analysis Tool for UNL-Based Knowledge Representation. - Thomas Bourgeat, Julien Bringer, Hervé Chabanne, Robin Champenois, Jérémie Clément, Houda Ferradi, Marc Heinrich, Paul Melotti, David Naccache, Antoine Voizard:
New Algorithmic Approaches to Point Constellation Recognition. - Rui Song, Hyunsuk Ko, C.-C. Jay Kuo:
MCL-3D: a database for stereoscopic image quality assessment using 2D-image-plus-depth source. - Omar S. Soliman, Aliaa Rassem:
A Network Intrusions Detection System based on a Quantum Bio Inspired Algorithm. - Sallam Abualhaija, Karl-Heinz Zimmermann:
D-Bees: A Novel Method Inspired by Bee Colony Optimization for Solving Word Sense Disambiguation. - Justin Cheng, Cristian Danescu-Niculescu-Mizil, Jure Leskovec:
How Community Feedback Shapes User Behavior. - Siamak Ravanbakhsh, Russell Greiner, Brendan J. Frey:
Training Restricted Boltzmann Machine by Perturbation. - Chenhao Tan, Lillian Lee, Bo Pang:
The effect of wording on message propagation: Topic- and author-controlled natural experiments on Twitter. - Chenhao Tan, Lillian Lee:
A Corpus of Sentence-level Revisions in Academic Writing: A Step towards Understanding Statement Strength in Communication. - Yimin Yang, Q. M. Jonathan Wu, Guangbin Huang, Yaonan Wang:
Pulling back error to the hidden-node parameter technology: Single-hidden-layer feedforward network without output weight. - Flavio Figueiredo, Jussara M. Almeida, Yasuko Matsubara, Bruno Ribeiro, Christos Faloutsos:
Revisit Behavior in Social Media: The Phoenix-R Model and Discoveries. - Daniel Cullina, Negar Kiyavash:
Generalized sphere-packing and sphere-covering bounds on the size of codes for combinatorial channels. - Flávio du Pin Calmon, Mayank Varia, Muriel Médard:
An Exploration of the Role of Principal Inertia Components in Information Theory. - Charalampos E. Tsourakakis:
A Novel Approach to Finding Near-Cliques: The Triangle-Densest Subgraph Problem. - Danai Koutra, Paul N. Bennett, Eric Horvitz:
Events and Controversies: Influences of a Shocking News Event on Information Seeking. - Abdul Quamar, Amol Deshpande, Jimmy J. Lin:
NScale: Neighborhood-centric Large-Scale Graph Analytics in the Cloud. - Esa Ollila, Hyon-Jung Kim, Visa Koivunen:
Robust iterative hard thresholding for compressed sensing. - Corinna Cortes, Mehryar Mohri, Andres Muñoz Medina:
Adaptation Algorithm and Theory Based on Generalized Discrepancy. - Sascha Kurz, Nicola Maaser, Stefan Napel, Matthias Weber:
Mostly Sunny: A Forecast of Tomorrow's Power Index Research. - Neha Gupta, Ponnurangam Kumaraguru:
Exploration of gaps in Bitly's spam detection and relevant counter measures. - A. Bhuvaneswari, E. George Dharma Prakash Raj, V. Sinthu Janita Prakash:
ACO-ESSVHOA - Ant Colony Optimization based Multi-Criteria Decision Making for Efficient Signal Selection in Mobile Vertical Handoff. - Hanéne Mkaouar, Olfa Boubaker:
Compliant motion control for handling a single object by two similar industrial robots. - Holger Hoos, Marius Thomas Lindauer, Torsten Schaub:
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming. - Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes de Cat, Joost Vennekens, Marc Denecker:
Simulating dynamic systems using Linear Time Calculus theories. - Mohammad Mohammadi, Shahram Jafari:
An expert system for recommending suitable ornamental fish addition to an aquarium based on aquarium condition. - Hasan Abasi, Ali Z. Abdi, Nader H. Bshouty:
Learning Boolean Halfspaces with Small Weights from Membership Queries. - Ilya Otpuschennikov, Alexander Semenov, Stepan Kochemazov:
Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT (Tool Paper). - Marcos Cramer, Pieter Van Hertum, Diego Agustín Ambrossio, Marc Denecker:
Modelling Delegation and Revocation Schemes in IDP. - Photios Stavrou, Christos K. Kourtellaris, Charalambos D. Charalambous:
Information Nonanticipative Rate Distortion Function and Its Applications. - Jacopo Staiano, Marco Guerini:
DepecheMood: a Lexicon for Emotion Analysis from Crowd-Annotated News. - Julie De Pril, János Flesch, Jeroen Kuipers, Gijs Schoenmakers, Koos Vrieze:
Existence of Secure Equilibrium in Multi-Player Games with Perfect Information. - Valerio Capraro, Conor Smyth, Kalliopi Mylona, Graham Niblo:
Benevolent characteristics promote cooperative behaviour among humans. - Zheng Wang, Cong Ling, Guillaume Hanrot:
Markov Chain Monte Carlo Algorithms for Lattice Gaussian Sampling. - Jie Fu, Rayna Dimitrova, Ufuk Topcu:
Abstractions and sensor design in partial-information, reactive controller synthesis. - Shay Kutten, Danupon Nanongkai, Gopal Pandurangan, Peter Robinson:
Distributed Symmetry Breaking in Hypergraphs. - Abuzer Yakaryilmaz, A. C. Cem Say, H. Gökalp Demirci:
Debates with small transparent quantum verifiers. - Ankit Garg, Tengyu Ma, Huy L. Nguyen:
Lower Bound for High-Dimensional Statistical Learning Problem via Direct-Sum Theorem. - Mohsen Ghaffari, Erez Kantor, Nancy A. Lynch, Calvin C. Newport:
Multi-Message Broadcast with Abstract MAC Layers and Unreliable Links. - RPCA-KFE: Key Frame Extraction for Consumer Video based Robust Principal Component Analysis.
- Representative Selection for Big Data via Sparse Graph and Geodesic Grassmann Manifold Distance.
- Christoph Lenzen, Nancy A. Lynch, Calvin C. Newport, Tsvetomira Radeva:
Trade-offs between Selection Complexity and Performance when Searching the Plane without Communication. - Ling Fang, Yoriyuki Yamagata, Yutaka Oiwa:
Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking. 35-49 - Tiep Le, Enrico Pontelli, Tran Cao Son, William Yeoh:
Logic and Constraint Logic Programming for Distributed Constraint Optimization. - Kutlu Emre Yilmaz, Ahmet Arslan, Ozgur Yilmazel:
Turkish Text Retrieval Experiments Using Lemur Toolkit. - Arka Bhattacharya:
Approximation Algorithms for the Asymmetric Traveling Salesman Problem : Describing two recent methods. - Ritesh Kolte, Ayfer Özgür, Suhas N. Diggavi:
When are dynamic relaying strategies necessary in half-duplex wireless networks? - Melika Abolhassani, MohammadHossein Bateni, MohammadTaghi Hajiaghayi, Hamid Mahini, Anshul Sawant:
Network Cournot Competition. - Hamed Haddadi, Georgios Smaragdakis, K. K. Ramakrishnan:
Opportunities in a Federated Cloud Marketplace. - Deepjoy Das, Sarat Saharia:
Implementation And Performance Evaluation Of Background Subtraction Algorithms. - N. V. S. N. Sarma, Mahesh Gopi:
Energy Efficient Clustering using Jumper Firefly Algorithm in Wireless Sensor Networks. - Ahmed Saeed, Azin Neishaboori, Amr Mohamed, Khaled A. Harras:
Up and Away: A Cheap UAV Cyber-Physical Testbed (Work in Progress). - Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche:
FO(C): A Knowledge Representation Language of Causality. - Meng Guo, Jana Tumova, Dimos V. Dimarogonas:
Cooperative Decentralized Multi-agent Control under Local LTL Tasks and Connectivity Constraints. - Emanuel Lacic, Dominik Kowald, Lukas Eberhard, Christoph Trattner, Denis Parra, Leandro Balby Marinho:
Utilizing Online Social Network and Location-Based Data to Recommend Items in an Online Marketplace. - Javier Esparza:
Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Corrected version). - Emanuel Lacic, Dominik Kowald, Christoph Trattner:
SocRecM: A Scalable Social Recommender Engine for Online Marketplaces. - P. Cynthia Selvi, A. R. Mohammed Shanavas:
Output Privacy Protection With Pattern-Based Heuristic Algorithm. - Hisham Elshaer, Federico Boccardi, Mischa Dohler, Ralf Irmer:
Downlink and Uplink Decoupling: a Disruptive Architectural Design for 5G Networks. - Atreyee Kundu, Niranjan Balachandran, Debasish Chatterjee:
Algorithmic synthesis of stabilizing switching signals for discrete-time switched linear systems. - Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek:
Modeling Bitcoin Contracts by Timed Automata. - Valery A. Ugrinovskii, Emilia Fridman:
A Round-Robin Type Protocol for Distributed Estimation with H∞ Consensus. - Muhammad Naveed, Erman Ayday, Ellen W. Clayton, Jacques Fellay, Carl A. Gunter, Jean-Pierre Hubaux, Bradley A. Malin, XiaoFeng Wang:
Privacy and Security in the Genomic Era. - Kristina Ban, Ana Mestrovic, Sanda Martincic-Ipsic:
Initial Comparison of Linguistic Networks Measures for Parallel Texts. - Christian Schulz, Christoph von Tycowicz, Hans-Peter Seidel, Klaus Hildebrandt:
Proofs of two Theorems concerning Sparse Spacetime Constraints. - Kazuki Kajiwara, Tuan Phung-Duc:
Asymptotic and Numerical Analysis of Multiserver Retrial Queue with Guard Channel for Cellular Networks. - Tebbi Hanane, Azzoune Hamid:
An Expert System for Automatic Reading of A Text Written in Standard Arabic. - Kimia Ghaffari, Mohamad Soltani Delgosha, Neda Abdolvand:
Towards Cloud Computing: A SWOT Analysis on its Adoption in SMEs. - Mohamed A. Hassan:
Hybrid Intelligent System; A Self-Adaptive Network Protection System "Using Soft Computing and Open-Source Tools". - Zhenyu Zhou, Mianxiong Dong, Kaoru Ota, Jun Wu, Takuro Sato:
Distributed Interference-Aware Energy-Efficient Resource Allocation for Device-to-Device Communications Underlaying Cellular Networks. - Antimo Barbato, Antonio Capone, Lin Chen, Fabio Martignon, Stefano Paris:
A Distributed Demand-Side Management Framework for the Smart Grid. - Ayushi Sinha, William Gray Roncal, Narayanan Kasthuri, Jeff W. Lichtman, Randal C. Burns, Michael M. Kazhdan:
Automatic Annotation of Axoplasmic Reticula in Pursuit of Connectomes using High-Resolution Neural EM Data. - M. Rajalakshmi, P. Subashini:
Texture Based Image Segmentation of Chili Pepper X-Ray Images Using Gabor Filter. - Prajakta P. Khairnar, C. A. Manjare:
Image Resolution and Contrast Enhancement of Satellite Geographical Images with Removal of Noise using Wavelet Transforms. - Sergio Consoli, José Andrés Moreno-Pérez, Kenneth Darby-Dowman, Nenad Mladenovic:
Mejora de la exploracion y la explotacion de las heuristicas constructivas para el MLSTP. - Mohamed Mbida, Abdellah Ezzati:
OSCMAC Duty Cycle with Multi Helpers CT Mode WILEM Technology in Wireless Sensor Networks. - William A. Sethares, Selçuk S. Bayin:
Model-Driven Applications of Fractional Derivatives and Integrals. - Amr Abdelnasser, Ekram Hossain, Dong In Kim:
Tier-Aware Resource Allocation in OFDMA Macrocell-Small Cell Networks. - Ahmed Hamdi Sakr, Ekram Hossain:
Cognitive and Energy Harvesting-Based D2D Communication in Cellular Networks: Stochastic Geometry Modeling and Analysis. - Hesham ElSawy, Ekram Hossain:
Analytical Modeling of Mode Selection and Power Control for Underlay D2D Communication in Cellular Networks. - Tobias Fehenberger, Norbert Hanik:
Mutual Information as a Figure of Merit for Optical Fiber Systems. - Rahali Bochra, Mohammed Feham, Junwu Tao:
Analysis of S Band Substrate Integrated Waveguide Power Divider, Circulator and Coupler. - Hsien-Pu Chen, Laszlo B. Kish, Claes-Goran Granqvist, Gabor Schmera:
On the "cracking" scheme in the paper "A directional coupler attack against the Kish key distribution system" by Gunn, Allison and Abbott. - K. Sankeerth Rao, Vinod M. Prabhakaran:
A New Upperbound for the Oblivious Transfer Capacity of Discrete Memoryless Channels. - Pengfei Wan, Gene Cheung, Philip A. Chou, Dinei A. F. Florêncio, Cha Zhang, Oscar C. Au:
Precision Enhancement of 3D Surfaces from Multiple Compressed Depth Maps. - Bob J. Scurlock:
Use of ARAS 360 to Facilitate Rapid Development of Articulated Total Body Biomechanical Physics Simulations. - Osvaldo Simeone, Elza Erkip, Shlomo Shamai:
Full-Duplex Cloud Radio Access Networks: An Information-Theoretic Viewpoint. - Anna Ma, Arjuna Flenner, Deanna Needell, Allon G. Percus:
Improving Image Clustering using Sparse Text and the Wisdom of the Crowds. - Yanting Ma, Jin Tan, Nikhil Krishnan, Dror Baron:
Empirical Bayes and Full Bayes for Signal Estimation. - Arash Batni, Farshad Safaei:
A New Multi-Tiered Solid State Disk Using Slc/Mlc Combined Flash Memory. - Farhana Bashar, S. M. Akramus Salehin, Thushara D. Abhayapala:
Band Limited Signals Observed Over Finite Spatial and Temporal Windows: An Upper Bound to Signal Degrees of Freedom. - Madhumangal Pal, Anita Pal:
Scheduling algorithm to select $k$ optimal programme slots in television channels: A graph theoretic approach. - Dani Korpi, Lauri Anttila, Mikko Valkama:
Reference Receiver Aided Digital Self-Interference Cancellation in MIMO Full-Duplex Transceivers. - Dirk Lewandowski:
Evaluating the retrieval effectiveness of Web search engines using a representative query sample. - Nilesh Khambekar, Chad M. Spooner, Vipin Chaudhary:
Going Towards Discretized Spectrum Space: Quantification of Spectrum Consumption Spaces and a Quantified Spectrum Access Paradigm. - Stefano Rini, Shlomo Shamai:
On Capacity of the Dirty Paper Channel with Fading Dirt in the Strong Fading Regime. - Fatima Zohra Hadjam, Claudio Moraga:
Introduction to RIMEP2: A Multi-Expression Programming System for the Design of Reversible Digital Circuits. - Le Li, Jianjun Yang, Kaili Zhao, Yang Xu, Honggang Zhang, Zhuoyi Fan:
Graph Regularized Non-negative Matrix Factorization By Maximizing Correntropy. - Michael S. Gashler, Stephen C. Ashmore:
Training Deep Fourier Neural Networks To Fit Time-Series Data. - Camellia Ray, Jayanta Kumar Das, Pabitra Pal Choudhury:
On Analysis and Generation of some Biologically Important Boolean Functions. - R. J. Lyon, J. M. Brooke, J. D. Knowles, B. W. Stappers:
Hellinger Distance Trees for Imbalanced Streams. - Frank Hannig, Jürgen Teich:
Proceedings of the First Workshop on Resource Awareness and Adaptivity in Multi-Core Computing (Racing 2014). - Shaofeng Zou, Yingbin Liang, H. Vincent Poor, Xinghua Shi:
Nonparametric Detection of Anomalous Data via Kernel Mean Embedding. - Andres Altieri, Pablo Piantanida, Leonardo Rey Vega, Cecilia G. Galarza:
On Fundamental Trade-offs of Device-to-Device Communications in Large Wireless Networks. - Thomas Bläsius, Guido Brückner, Ignaz Rutter:
Complexity of Higher-Degree Orthogonal Graph Embedding in the Kandinsky Model. - Piero Giacomelli, Åsa Smedberg:
The Eve of 3D Printing in Telemedicine: State of the Art and Future Challenges. - Elaine Pimentel, Carlos Olarte, Vivek Nigam:
A Proof Theoretic Study of Soft Concurrent Constraint Programming. - Yan Fang, Matthew J. Cotter, Donald M. Chiarulli, Steven P. Levitan:
Image Segmentation Using Frequency Locking of Coupled Oscillators. - Shahab Kaynama, Jeremy H. Gillula, Claire J. Tomlin:
A sampling-based approach to scalable constraint satisfaction in linear sampled-data systems - Part I: Computation. - Michael Carl Tschantz, Amit Datta, Anupam Datta, Jeannette M. Wing:
A Methodology for Information Flow Experiments. - Oswin Aichholzer, Greg Aloupis, Erik D. Demaine, Martin L. Demaine, Sándor P. Fekete, Michael Hoffmann, Anna Lubiw, Jack Snoeyink, Andrew Winslow:
Covering Folded Shapes. - Meng Wang, Tharaka Samarasinghe, Jamie S. Evans:
Transmission Rank Selection for Opportunistic Beamforming with Quality of Service Constraints. - Alexis Huck, François de Vieilleville, Pierre Weiss, Manuel Grizonnet:
Hyperspectral pan-sharpening: a variational convex constrained formulation to impose parallel level lines, solved with ADMM. - Norikazu Sugimoto, Voot Tangkaratt, Thijs Wensveen, Tingting Zhao, Masashi Sugiyama, Jun Morimoto:
Efficient Reuse of Previous Experiences to Improve Policies in Real Environment. - Reto Speck, Tobias Blanke, Conny Kristel, Michal Frankl, Kepa Joseba Rodríguez, Veerle Vanden Daelen:
The Past and the Future of Holocaust Research: From Disparate Sources to an Integrated European Holocaust Research Infrastructure. - Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann:
G4LTL-ST: Automatic Generation of PLC Programs. - Md Habibur Rahman, Mohammad Nasiruddin:
Impact of Two Realistic Mobility Models for Vehicular Safety Applications. - Stefano Riverso, Fabio Sarzo, Giancarlo Ferrari-Trecate:
Plug-and-play voltage and frequency control of islanded microgrids with meshed topology. - Florent Foucaud, George B. Mertzios, Reza Naserasr, Aline Parreau, Petru Valicov:
Identification, location-domination and metric dimension on interval and permutation graphs. - Giuseppe Antonio Di Luna, Paola Flocchini, Sruti Gan Chaudhuri, Nicola Santoro, Giovanni Viglietta:
Robots with Lights: Overcoming Obstructed Visibility Without Colliding. - Lijiang Chen:
Coordinate System Selection for Minimum Error Rate Training in Statistical Machine Translation. - Amer E. Mouawad, Naomi Nishimura, Venkatesh Raman, Marcin Wrochna:
Reconfiguration over tree decompositions. - Nima Anari, Gagan Goel, Afshin Nikzad:
Mechanisms Design for Crowdsourcing: An Optimal 1-1/e Approximate Budget-Feasible Mechanism for Large Markets. - Nicola Gatti, Alessandro Lazaric, Marco Rocco, Francesco Trovò:
Truthful Learning Mechanisms for Multi-Slot Sponsored Search Auctions with Externalities. - Hamidreza Boostanimehr, Vijay K. Bhargava:
Unified and Distributed QoS-Driven Cell Association Algorithms in Heterogeneous Networks. - Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano:
A Measure of Arbitrariness in Abductive Explanations. - Jeffrey M. Druce, Jarvis D. Haupt, Stefano Gonella:
Anomaly-Sensitive Dictionary Learning for Unsupervised Diagnostics of Solid Media. - Hadassa Daltrophe, Shlomi Dolev, Zvi Lotker:
Big Data Representation as High Dimensional Configuration. - Nikzad Babaii Rizvandi:
Performance Provisioning and Energy Efficiency in Cloud and Distributed Computing Systems. - Chulong Liang, Xiao Ma, Qiutao Zhuang, Baoming Bai:
Spatial Coupling of Generator Matrix: A General Approach to Design of Good Codes at a Target BER. - Dor Arad, Yael Mordechai, Hadas Shachnai:
Tighter Bounds for Makespan Minimization on Unrelated Machines. - Deepesh Data, Bikash Kumar Dey, Manoj Mishra, Vinod M. Prabhakaran:
How to Securely Compute the Modulo-Two Sum of Binary Sources. - George Souza Oliveira, Anderson Faustino da Silva:
Towards an Efficient Prolog System by Code Introspection. - Antonis G. Gotsis, Stelios Stefanatos, Angeliki Alexiou:
Spatial Coordination Strategies in Future Ultra-Dense Wireless Networks. - Aleksandar Haber, Michel Verhaegen:
Sparse approximate inverses of Gramians and impulse response matrices of large-scale interconnected systems. - Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber:
Efficient Computation of the Well-Founded Semantics over Big Data. - Shancheng Zhao, Xiao Ma, Baoming Bai:
Decoding and Computing Algorithms for Linear Superposition LDPC Coded Systems. - Hassan Ghozlan, Gerhard Kramer:
Phase Modulation for Discrete-time Wiener Phase Noise Channels with Oversampling at High SNR. - Xavier Lacoste, Mathieu Faverge, George Bosilca, Pierre Ramet, Samuel Thibault:
Taking advantage of hybrid systems for sparse direct solvers via task-based runtimes. - Ronald Ortner, Odalric-Ambrym Maillard, Daniil Ryabko:
Selecting Near-Optimal Approximate State Representations in Reinforcement Learning. - Manish B. Dave, Mitesh B. Nakrani:
Malicious User Detection in Spectrum Sensing for WRAN Using Different Outliers Detection Techniques. - Sabina Sisovic, Sanda Martincic-Ipsic, Ana Mestrovic:
Comparison of the language networks from literature and blogs. - Nafay Hifzur Rehman, Neelam Verma:
Application of Modified Multi Model Predictive Control Algorithm to Fluid Catalytic Cracking Unit. - Burak Çakmak, Ole Winther, Bernard H. Fleury:
S-AMP: Approximate Message Passing for General Matrix Ensembles. - Xiongbin Rao, Vincent K. N. Lau:
Distributed Compressive CSIT Estimation and Feedback for FDD Multi-user Massive MIMO Systems. - Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura:
Tabling, Rational Terms, and Coinduction Finally Together! - Amira Aloulou, Olfa Boubaker:
A Relevant Reduction Method for Dynamic Modeling of a Seven-linked Humanoid Robot in the Three-dimensional Space. - Jun Wang, Ke Sun, Fei Sha, Stéphane Marchand-Maillet, Alexandros Kalousis:
Two-Stage Metric Learning. - Aya Saad, Thom W. Frühwirth, Carmen Gervet:
The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information. - Quentin Gemine, Damien Ernst, Bertrand Cornélusse:
Active network management for electrical distribution systems: problem formulation and benchmark. - Sanket S. Kalamkar, Adrish Banerjee:
On the Effect of Primary User Traffic on Secondary Throughput and Outage Probability Under Rayleigh Flat Fading Channel. - Ahmed El Shafie, Ahmed Sultan, Tamer Khattab:
Probabilistic Band-Splitting for a Buffered Cooperative Cognitive Terminal. - Ahmed El Shafie, Tamer Khattab:
On Orthogonal Band Allocation for Multi-User Mutli-Band Cognitive Radio Networks. - Ahmed El Shafie, Ahmed Sultan, Tamer Khattab:
Maximum Throughput of a Secondary User Cooperating with an Energy-Aware Primary User. - Alessio Meneghetti, Massimiliano Sala, Alessandro Tomasi:
A weight-distribution bound for entropy extractors using linear binary codes. - José R. Correa, Tobias Harks, Vincent J. C. Kreuzen, Jannik Matuschke:
Fare Evasion in Transit Networks. - Akshay Kumar, Ravi Tandon, T. Charles Clancy:
On the Latency of Erasure-Coded Cloud Storage Systems. - Georg Gottlob, Giorgio Orsi, Andreas Pieris:
Query Rewriting and Optimization for Ontological Databases. - Miguel Areias, Ricardo Rocha:
A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling. - Scott A. Hale, Taha Yasseri, Josh Cowls, Eric T. Meyer, Ralph Schroeder, Helen Margetts:
Mapping the UK Webspace: Fifteen Years of British Universities on the Web. - Cesar Ghali, Ashok Narayanan, David Oran, Gene Tsudik:
Secure Fragmentation for Content-Centric Networks. - Georgios Papadopoulos, Hanna Kurniawati, Nicholas M. Patrikalakis:
Analysis of Asymptotically Optimal Sampling-based Motion Planning Algorithms for Lipschitz Continuous Dynamical Systems. - Dimitri Kartsaklis, Mehrnoosh Sadrzadeh:
A Study of Entanglement in a Categorical Framework of Natural Language. 249-261 - Chien-Ju Ho, Aleksandrs Slivkins, Jennifer Wortman Vaughan:
Adaptive Contract Design for Crowdsourcing Markets: Bandit Algorithms for Repeated Principal-Agent Problems. - Ahmed Hamdi Sakr, Ekram Hossain:
Location-Aware Cross-Tier Coordinated Multipoint Transmission in Two-Tier Cellular Networks. - Kartik Talamadupula, David E. Smith, Subbarao Kambhampati:
The Metrics Matter! On the Incompatibility of Different Flavors of Replanning. - Simone Bova, Robert Ganian, Stefan Szeider:
Model Checking Existential Logic on Partially Ordered Sets. - Klaus Reinhardt, Abuzer Yakaryilmaz:
The minimum amount of useful space: New results and new directions. - Sushant Chaudhary:
Load Frequency Control For Distributed Grid Power System Single Area & Multi-area System. - Vahid Lari, Alexandru Tanase, Frank Hannig, Jürgen Teich:
Massively Parallel Processor Architectures for Resource-aware Computing. - Johny Paul, Walter Stechele, Manfred Kröhnert, Tamim Asfour:
Resource-Aware Programming for Robotic Vision. - Elisabeth Glocker, Qingqing Chen, Asheque M. Zaidi, Ulf Schlichtmann, Doris Schmitt-Landsiedel:
Emulated ASIC Power and Temperature Monitor System for FPGA Prototyping of an Invasive MPSoC Computing Architecture. - Oliver Mattes, Wolfgang Karl:
Evaluating the Self-Optimization Process of the Adaptive Memory Management Architecture Self-aware Memory. - Manfred Kröhnert, Nikolaus Vahrenkamp, Johny Paul, Walter Stechele, Tamim Asfour:
Resource Prediction for Humanoid Robots. - Mario Kicherer, Wolfgang Karl:
Heterogeneity-aware Fault Tolerance using a Self-Organizing Runtime System. - Björn Döbel, Robert Muschner, Hermann Härtig:
Resource-Aware Replication on Heterogeneous Multicores: Challenges and Opportunities. - Hananeh Aliee, Liang Chen, Mojtaba Ebrahimi, Michael Glaß, Faramarz Khosravi, Mehdi Baradaran Tahoori:
Towards Cross-layer Reliability Analysis of Transient and Permanent Faults. - Christoph W. Keßler, Usman Dastgeer, Lu Li:
Optimized Composition: Generating Efficient Code for Heterogeneous Systems from Multi-Variant Components, Skeletons and Containers. - Andi Drebes, Karine Heydemann, Antoniu Pop, Albert Cohen, Nathalie Drach:
Automatic Detection of Performance Anomalies in Task-Parallel Programs. - Aurang Zaib, Prashanth Raju, Thomas Wild, Andreas Herkersdorf:
A Layered Modeling and Simulation Approach to investigate Resource-aware Computing in MPSoCs. - Thomas Karcher, Christopher Guckes, Walter F. Tichy:
Autotuning and Self-Adaptability in Concurrency Libraries. - Hadi Daneshmand, Manuel Gomez-Rodriguez, Le Song, Bernhard Schölkopf:
Estimating Diffusion Network Structures: Recovery Conditions, Sample Complexity & Soft-thresholding Algorithm. - Jiang Wang, Xiaohan Nie, Yin Xia, Ying Wu, Song-Chun Zhu:
Cross-view Action Modeling, Learning and Recognition. - H. Lydia Deng, John A. Scales:
Characterizing the Topography of Multi-dimensional Energy Landscapes. - Jeffrey G. Andrews, Stefano Buzzi, Wan Choi, Stephen V. Hanly, Angel E. Lozano, Anthony C. K. Soong, Jianzhong (Charlie) Zhang:
What Will 5G Be? - Luca Venturino, Alessio Zappone, Chiara Risi, Stefano Buzzi:
Energy-Efficient Scheduling and Power Allocation in Downlink OFDMA Networks with Base Station Coordination. - Wei-Chiang Li, Tsung-Hui Chang, Chong-Yung Chi:
Multicell Coordinated Beamforming with Rate Outage Constraint-Part I: Complexity Analysis. - Wei-Chiang Li, Tsung-Hui Chang, Chong-Yung Chi:
Multicell Coordinated Beamforming with Rate Outage Constraint-Part II: Efficient Approximation Algorithms. - Alessio Venticinque, Nicola Mazzocca, Salvatore Venticinque, Massimo Ficco:
Semantic Support for Log Analysis of Safety-Critical Embedded Systems. - Entropies from Markov Models as Complexity Measures of Embedded Attractors.
- Roberto Baldoni, Mario Caruso, Adriano Cerocchi, Claudio Ciccotelli, Luca Montanari, Luca Nicoletti:
Correlating power consumption and network traffic for improving data centers resiliency. - Alessia Garofalo, Cesario Di Sarno, Ilaria Matteucci, Marco Vallini, Valerio Formicola:
Closing the loop of SIEM analysis to Secure Critical Infrastructures. - Zeeshan Bhatti, Ahmad Waqas, Imdad Ali Ismaili, Dil Nawaz Hakro, Waseem Javaid Soomro:
Phonetic based SoundEx & ShapeEx algorithm for Sindhi Spell Checker System. - Pinar Sen, Ali Özgür Yilmaz:
A Low-Complexity Graph-Based LMMSE Receiver for MIMO ISI Channels with M-QAM Modulation. - Neli Blagus, Gregor Weiss, Lovro Subelj:
Sampling node group structure of social and information networks. - A Cognitive Model for Humanoid Robot Navigation and Mapping using Alderbaran NAO.
- Andrea Monacchi, Dominik Egarter, Wilfried Elmenreich, Salvatore D'Alessandro, Andrea M. Tonello:
GREEND: An Energy Consumption Dataset of Households in Italy and Austria. - Yosra Arous, Olfa Boubaker:
Gait trajectory generation for a five link bipedal robot based on a reduced dynamical model. - Bichen Shi, Georgiana Ifrim, Neil Hurley:
Be In The Know: Connecting News Articles to Relevant Twitter Conversations. - Behnam Neyshabur, Yury Makarychev, Nathan Srebro:
Clustering, Hamming Embedding, Generalized LSH and the Max Norm. - Jian Zhang, Debin Zhao, Ruiqin Xiong, Siwei Ma, Wen Gao:
Image Restoration Using Joint Statistical Modeling in Space-Transform Domain. - Yuanming Shi, Jun Zhang, Khaled Ben Letaief:
Scalable Coordinated Beamforming for Dense Wireless Cooperative Networks. - Majid Gerami, Ming Xiao, Jun Li, Carlo Fischione, Zihuai Lin:
Repair for Distributed Storage Systems in Packet Erasure Networks. - Kaeser M. Sabrin, Md. Haider Ali:
An Intelligent Pixel Replication Technique by Binary Decomposition for Digital Image Zooming. - Jeremy Kun, Rajmonda Caceres, Kevin Carter:
Locally Boosted Graph Aggregation for Community Detection. - Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese:
Lifted Variable Elimination for Probabilistic Logic Programming. - Eric Badouel, Loïc Hélouët, Georges Edouard Kouamou, Christophe Morvan:
A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment. - S. Karimi, K. B. Nakshatrala:
A monolithic multi-time-step computational framework for advective-diffusive-reactive transient systems with disparate scales. - Chakir Tajani, Jaafar Abouchabaka:
An Alternating KMF Algorithm to Solve the Cauchy Problem for Laplaces Equation. - Eric Gribkoff, Guy Van den Broeck, Dan Suciu:
Understanding the Complexity of Lifted Inference and Asymmetric Weighted Model Counting. - Tim Althoff, Cristian Danescu-Niculescu-Mizil, Dan Jurafsky:
How to Ask for a Favor: A Case Study on the Success of Altruistic Requests. - Claudio Maruccio, Laura De Lorenzis, Luana Persano, Dario Pisignano:
Computational homogenization of fibrous piezoelectric materials. - Omar Besbes, Yonatan Gur, Assaf J. Zeevi:
Optimal Exploration-Exploitation in a Multi-Armed-Bandit Problem with Non-stationary Rewards. - James Neufeld, András György, Dale Schuurmans, Csaba Szepesvári:
Adaptive Monte Carlo via Bandit Allocation. - Niall Douglas:
Large Code Base Change Ripple Management in C++: My thoughts on how a new Boost C++ Library could help. - M. Ehsan Shafiee, Emily M. Zechman:
An Agent-based Modeling Framework for Sociotechnical Simulation of Water Distribution Contamination Events. - Jian Gao:
Linear Codes over Z9+uZ9 MacWilliams Identity, Self-Dual Codes, Quadratic Residue Codes and Constacyclic Codes. - Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa:
Which one is better: presentation-based or content-based math search? - Cengis Hasan, Eitan Altman, Jean-Marie Gorce:
On the Nash Stability in the Hedonic Coalition Formation Games. - Lurong Jiang, Xinyu Jin, Yongxiang Xia, Bo Ouyang, Duanpo Wu, Xi Chen:
A Scale-Free Topology Construction Model for Wireless Sensor Networks. - Anthony Hunter, Matthias Thimm:
Probabilistic Argumentation with Epistemic Extensions and Incomplete Information. - Mboni Kibelloh, Yukun Bao:
Perceptions of International Female Students Towards E-learning in Resolving High Education and Family Role Strain. - Rafael Lahoz-Beltra:
The "crisis of noosphere" as a limiting factor to achieve the point of technological singularity. - Mboni Kibelloh, Yukun Bao:
Can Online MBA Programs Allow Professional Working Mothers to Balance Work, Family, and Career Progression? A Case Study in China. - Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann:
On Termination, Confluence and Consistent CHR-based Type Inference. - Tieming Chen, Xu Zhang, Shichao Jin, Okhee Kim:
Efficient classification using parallel and scalable compressed model and Its application on intrusion detection. - Aftab Ahmed Chandio, Zhibin Yu, Feroz Shah Syed, Korejo Imtiaz Ali:
A Case Study on Job Scheduling Policy for Workload Characterization and Power Efficiency. - Marthe Bonamy, Benjamin Lévêque, Alexandre Pinlou:
Planar graphs with $Δ\geq 7$ and no triangle adjacent to a C4 are minimally edge and total choosable. - Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen:
Hipster: Integrating Theory Exploration in a Proof Assistant. - Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu:
The Geometry of Synchronization (Long Version). - Ziaeddin Beheshtifard, Mohammad Reza Meybodi:
Online Channel Assignment in Multi-Radio Wireless Mesh Networks Using Learning Automata. - Cezary Kaliszyk, Josef Urban, Jirí Vyskocil, Herman Geuvers:
Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description. - Gang Mei:
A Straightforward Preprocessing Approach for Accelerating Convex Hull Computations on the GPU. - Fabián Riquelme:
Satisfaction in societies with opinion leaders and mediators: properties and an axiomatization. - Salvatore Cuomo, Raffaele Farina, Ardelio Galletti, Livia Marcellino:
An error estimate of Gaussian Recursive Filter in 3Dvar problem. - Ejder Bastug, Mehdi Bennis, Mérouane Debbah:
Cache-enabled Small Cell Networks: Modeling and Tradeoffs. - Andrej Gajduk, Zoran Utkovski, Lasko Basnarkov, Ljupco Kocarev:
Energy-efficiency in Decentralized Wireless Networks: A Game-theoretic Approach inspired by Evolutionary Biology. - Yoon Kim, Yi-I Chiu, Kentaro Hanaki, Darshan Hegde, Slav Petrov:
Temporal Analysis of Language through Neural Language Models. - Yoon Kim, Owen Zhang:
Credibility Adjusted Term Frequency: A Supervised Term Weighting Scheme for Sentiment Analysis and Text Classification. - Ken Chatfield, Karen Simonyan, Andrea Vedaldi, Andrew Zisserman:
Return of the Devil in the Details: Delving Deep into Convolutional Nets. - Aline Parreau, Michel Rigo, Eric Rowland, Élise Vandomme:
A new approach to the $2$-regularity of the l-abelian complexity of 2-automatic sequences. - Mario Alviano, Carmine Dodaro, Francesco Ricca:
Anytime Computation of Cautious Consequences in Answer Set Programming. - Vincenzo Sciancalepore, Domenico Giustiniano, Albert Banchs, Andreea Picu:
Offloading Cellular Traffic through Opportunistic Communications: Analysis and Optimization. - Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein, Frank Pfenning:
A Linear Logic Programming Language for Concurrent Programming over Graph Structures. - Daniel Gall, Thom W. Frühwirth:
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R. - Marina I. Maslennikova:
Complexity of checking whether two automata are synchronized by the same language. - Nicholas Generous, Geoffrey Fairchild, Alina Deshpande, Sara Y. Del Valle, Reid Priedhorsky:
Detecting epidemics using Wikipedia article views: A demonstration of feasibility with language as location proxy. - Anh Le, Lorenzo Keller, Hulya Seferoglu, Blerim Cici, Christina Fragouli, Athina Markopoulou:
MicroCast: Cooperative Video Streaming using Cellular and D2D Connections. - Kian Win Ong, Yannis Papakonstantinou, Romain Vernoux:
The SQL++ Semi-structured Data Model and Query Language: A Capabilities Survey of SQL-on-Hadoop, NoSQL and NewSQL Databases. - Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract Diagnosis for tccp using a Linear Temporal Logic. - Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub:
Clingo = ASP + Control: Preliminary Report. - Gauri Joshi, Yuval Kochman, Gregory W. Wornell:
Throughput-Smoothness Trade-offs in Multicasting of an Ordered Packet Stream. - Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca:
The Design of the Fifth Answer Set Programming Competition. - Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler:
Contextual Abductive Reasoning with Side-Effects. - Aftab Ahmed Chandio, Dingju Zhu, Ali Hassan Sodhro:
Integration of Inter-Connectivity of Information System (i3) using Web Services. - YuLong Zou, Jia Zhu, Xianbin Wang, Victor C. M. Leung:
Improving Physical-Layer Security in Wireless Communications Using Diversity Techniques. - Priyanka Saini:
Building a Classification Model for Enrollment In Higher Educational Courses using Data Mining Techniques. - Kyumin Lee, Jalal Mahmud, Jilin Chen, Michelle X. Zhou, Jeffrey Nichols:
Who Will Retweet This? Automatically Identifying and Engaging Strangers on Twitter to Spread Information. - Yannis Haralambous, Julie Sauvage-Vincent, John Puentes:
INAUT, a Controlled Language for the French Coast Pilot Books Instructions nautiques. - Domagoj Margan, Ana Mestrovic, Sanda Martincic-Ipsic:
Complex Networks Measures for Differentiation between Normal and Shuffled Croatian Texts. - Iulia Teodora Banu-Demergian, Gheorghe Stefanescu:
On contour representation of two dimensional patterns. - Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis:
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation. - Grzegorz Jaskiewicz:
Logic Programming as Scripting Language for Bots in Computer Games - Research Overview. - Marco Gavanelli, Stefano Bragaglia, Michela Milano, Federico Chesani, Elisa Marengo, Paolo Cagnoli:
Multi-Criteria Optimal Planning for Energy Policies in CLP. - Heike Stephan:
Application of Methods for Syntax Analysis of Context-Free Languages to Query Evaluation of Logic Programs. - Elad Hazan, Tomer Koren, Kfir Y. Levy:
Logistic Regression: Tight Bounds for Stochastic and Online Optimization. - Palash Dey, Neeldhara Misra, Y. Narahari:
Complexity of Kernelization in the Possible Winner Problem. - Max Jaderberg, Andrea Vedaldi, Andrew Zisserman:
Speeding up Convolutional Neural Networks with Low Rank Expansions. - John P. Gallagher, Bishoksan Kafle:
Analysis and Transformation Tools for Constrained Horn Clause Verification. - Xiang-Gen Xia, Tianxian Zhang, Lingjiang Kong:
MIMO OFDM Radar IRCI Free Range Reconstruction with Sufficient Cyclic Prefix. - Rahul A. Jichkar, M. B. Chandak:
An implementation on detection of trusted service provider in mobile ad-hoc networks. - Laurent Romary, Andreas Witt:
Méthodes pour la représentation informatisée de données lexicales / Methoden der Speicherung lexikalischer Daten. - Aadhityan A.:
A Novel Method for Developing Robotics via Artificial Intelligence and Internet of Things. - Kandeepan Sithamparanathan, Karina Mabell Gomez, Laurent Reynaud, Tinku Rasheed:
Aerial-Terrestrial Communications: Terrestrial Cooperation and Energy-Efficient Transmissions to Aerial-Base Stations. - Anurag Bhardwaj, Vignesh Jagadeesh, Wei Di, Robinson Piramuthu, Elizabeth F. Churchill:
Enhancing Visual Fashion Recommendations with Users in the Loop. - Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar:
Formalization of Complex Vectors in Higher-Order Logic. - Nicolás Guarín-Zapata, Juan Gómez, Juan Jaramillo:
Seismic Wave Scattering Through a Compressed Hybrid BEM/FEM Method. - An approximation algorithm for shortest path based on the hierarchy networks.
- Jianfeng Wang, Jingdong Wang, Jingkuan Song, Xin-Shun Xu, Heng Tao Shen, Shipeng Li:
Optimized Cartesian $K$-Means. - Stefano Ferretti:
On the Topology Maintenance of Dynamic P2P Overlays through Self-Healing Local Interactions. - Rukshan Alexander, Miroshan Alexander:
An ICT-Based Real-Time Surveillance System for Controlling Dengue in Sri Lanka. - Kristina Ban, Ivan Ivakic, Ana Mestrovic:
A preliminary study of Croatian Language Syllable Networks. - Kobi Cohen, Qing Zhao, Ananthram Swami:
Optimal Index Policies for Anomaly Localization in Resource-Constrained Cyber Systems. - Shikhar Kumar Gupta, Foram Joshi, Dixita Limbachiya, Manish K. Gupta:
3DNA: A Tool for DNA Sculpting. - Zoran Utkovski, Andrej Gajduk, Lasko Basnarkov, Darko Bosnakovski, Ljupco Kocarev:
On Energy-efficiency in Wireless Networks: A Game-theoretic Approach to Cooperation Inspired by Evolutionary Biology. - Enrico Paolini, Cedomir Stefanovic, Gianluigi Liva, Petar Popovski:
Coded Random Access: How Coding Theory Helps to Build Random Access Protocols. - Liang Chang, Uli Sattler, Tianlong Gu:
Algorithm for Adapting Cases Represented in a Tractable Description Logic. - Matthias Heizmann, Jochen Hoenicke, Andreas Podelski:
Termination Analysis by Learning Terminating Programs. - Parul Sharma, Anup Girdhar:
Security concerns of ipv6-slaac and security policies to diminish the risk associated with them. - Luca Bortolussi, Rytis Paskauskas:
Mean-Field approximation and Quasi-Equilibrium reduction of Markov Population Models. - Luisa F. Polania, Rafael E. Carrillo, Manuel Blanco-Velasco, Kenneth E. Barner:
Exploiting Prior Knowledge in Compressed Sensing Wireless ECG Systems. - Leopoldo E. Bertossi, Babak Salimi:
Unifying Causality, Diagnosis, Repairs and View-Updates in Databases. - Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo:
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. - Mina Taheri, Nirwan Ansari:
Multi-power-level Energy Saving Management for Passive Optical Networks. - Jan A. Botha, Phil Blunsom:
Compositional Morphology for Word Representations and Language Modelling. - Meizhu Liu, Le Lu, Xiaojing Ye, Shipeng Yu:
Coarse-to-Fine Classification via Parametric and Nonparametric Models for Computer-Aided Diagnosis. - David B. Knoester, Heather Goldsby, Christoph Adami:
Leveraging Evolutionary Search to Discover Self-Adaptive and Self-Organizing Cellular Automata. - Akshay Gadde, Aamir Anis, Antonio Ortega:
Active Semi-Supervised Learning Using Sampling Theory for Graph Signals. - Mostafa Salehi, Rajesh Sharma, Moreno Marzolla, Danilo Montesi, Payam Siyari, Matteo Magnani:
Diffusion Processes on Multilayer Networks. - Laura M. Smith, Linhong Zhu, Kristina Lerman, Allon G. Percus:
Partitioning Networks with Node Attributes by Compressing Information Flow. - Hemant Kumar Saini, Satpal Singh Kushwaha, C. Rama Krishna:
Compressing the Data Densely by New Geflochtener to Accelerate Web. - Fei Tan, Yongxiang Xia, Boyao Zhu:
Link Prediction in Complex Networks: A Mutual Information Perspective. - Jin Tan, Dror Baron, Liyi Dai:
Wiener Filters in Gaussian Mixture Signal Estimation with Infinity-Norm Error. - Tomoyo Sasao, Shin'ichi Konomi, Masatoshi Arikawa, Hideyuki Fujita:
Touch Survey: Comparison with Paper and Web Questionnaires. - Vijay Bhaskar Semwal, Shiv A. Katiyar, Pavan Chakraborty, Gora Chand Nandi:
Bipedal Model Based on Human Gait Pattern Parameters Bipedal Model Based on Human Gait Pattern Parameters for Sagittal Plane Movement. - Yanjun Han, Huadong Meng, Yuan Shen, Xiao-Ping Zhang:
Performance Limits and Geometric Properties of Narrowband Array Localization. - Amaro Barreal, Camilla Hollanti, David A. Karpuk, Hsiao-feng Lu:
Algebraic Codes and a New Physical Layer Transmission Protocol for Wireless Distributed Storage Systems. - Mohammad Abu Alsheikh, Shaowei Lin, Hwee-Pink Tan, Dusit Niyato:
Area Coverage Under Low Sensor Density. - Tao Yang, Guoqiang Mao, Wei Zhang, Xiaofeng Tao:
Transport Capacity of Distributed Wireless CSMA Networks. - Sunny Mitra, Ritwik Mitra, Martin Riedl, Chris Biemann, Animesh Mukherjee, Pawan Goyal:
That's sick dude!: Automatic identification of word sense change across different timescales. - Michiel Stock, Thomas Fober, Eyke Hüllermeier, Serghei Glinca, Gerhard Klebe, Tapio Pahikkala, Antti Airola, Bernard De Baets, Willem Waegeman:
Identification of functionally related enzymes by learning-to-rank methods. - Chang Li, Jun Zhang, Martin Haenggi, Khaled Ben Letaief:
User-Centric Intercell Interference Nulling for Downlink Small Cell Networks. - Mohamed A. El-Zawawy, Mohammad N. Alanazi:
An Efficient Binary Technique for Trace Simplifications of Concurrent Programs. - Mohamed A. El-Zawawy, Mohammad N. Alanazi:
Probabilistic Alias Analysis for Parallel Programming in SSA Forms. - Yi Wang, Xuemin Zhao, Zhenlong Sun, Hao Yan, Lifeng Wang, Zhihui Jin, Liubin Wang, Yang Gao, Jia Zeng, Qiang Yang, Ching Law:
Towards Topic Modeling for Big Data. - Jan Leike, Matthias Heizmann:
Geometric Series as Nontermination Arguments for Linear Lasso Programs. - Daniel Graziotin, Xiaofeng Wang, Pekka Abrahamsson:
Software developers, moods, emotions, and performance. - Tapio Pahikkala, Michiel Stock, Antti Airola, Tero Aittokallio, Bernard De Baets, Willem Waegeman:
A two-step learning approach for solving full and almost full cold start problems in dyadic prediction. - Jin Tan, Yanting Ma, Dror Baron:
Compressive Imaging via Approximate Message Passing with Image Denoising. - Domagoj Margan, Sanda Martincic-Ipsic, Ana Mestrovic:
Preliminary Report on the Structure of Croatian Linguistic Co-occurrence Networks. - Guido Carlo Ferrante, Jocelyn Fiorina, Maria-Gabriella Di Benedetto:
Robustness of Time Reversal vs. All-Rake Transceivers in Multiple Access Channels. - Mohammad Abu Alsheikh, Shaowei Lin, Dusit Niyato, Hwee-Pink Tan:
Machine Learning in Wireless Sensor Networks: Algorithms, Strategies, and Applications. - Olga Muñoz, Antonio Pascual-Iserte, Josep Vidal:
Optimization of Radio and Computational Resources for Energy Efficiency in Latency-Constrained Application Offloading. - Xiaojiang Peng, Limin Wang, Xingxing Wang, Yu Qiao:
Bag of Visual Words and Fusion Methods for Action Recognition: Comprehensive Study and Good Practice. - Tao Ye, Tao Wang, Zhipeng Lü, Jin-Kao Hao:
A Multi-parent Memetic Algorithm for the Linear Ordering Problem. - Tao Ye, Kan Zhou, Zhipeng Lü, Jin-Kao Hao:
A Memetic Algorithm for the Linear Ordering Problem with Cumulative Costs. - Siddhartha Sarma, Samar Agnihotri, Joy Kuri:
Secure Transmission in Amplify and Forward Networks for Multiple Degraded Eavesdroppers. - Lakshmi Prabha S, T. N. Janakiraman:
Polynomial-time Approximation Algorithm for finding Highly Comfortable Team in any given Social Network. - Dhruv Mahajan, S. Sathiya Keerthi, S. Sundararajan:
A Distributed Algorithm for Training Nonlinear Kernel Machines. - Dhruv Mahajan, S. Sathiya Keerthi, S. Sundararajan:
A distributed block coordinate descent method for training $l_1$ regularized linear classifiers. - Michael Benedikt, Rastislav Lenhardt, James Worrell:
Model Checking Markov Chains Against Unambiguous Buchi Automata. - Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Kerstin Eder:
Static energy consumption analysis of LLVM IR programs. - Tong Peng, Rodrigo C. de Lamare:
Adaptive Delay-Tolerant Distributed Space-Time Coding Based on Adjustable Code Matrices for Cooperative MIMO Relaying Systems. - Kristjan H. Greenewald, Alfred O. Hero III:
Kronecker PCA Based Spatio-Temporal Modeling of Video for Dismount Classification. - Wei Feng, Jiaya Jia, Zhi-Qiang Liu:
ESSP: An Efficient Approach to Minimizing Dense and Nonsubmodular Energy Functions. - Chao Zhang, Hong-cen Mei, Hao Yang:
A Parallel Way to Select the Parameters of SVM Based on the Ant Optimization Algorithm. - Hu Xie, Da-Zheng Feng, Ming-Dong Yuan:
Fast Adaptive Beamforming based on kernel method under Small Sample Support. - ZhenYu Huang, Yao Sun, Dongdai Lin:
On the Efficiency of Solving Boolean Polynomial Systems with the Characteristic Set Method. - Marjan Naderinejad, Mohammad Jafar Tarokh, Alireza Poorebrahimi:
Recognition and Ranking Critical Success Factors of Business Intelligence in Hospitals - Case Study: Hasheminejad Hospital. - Dalei Wu, Haiqing Wu:
Modelling Data Dispersion Degree in Automatic Robust Estimation for Multivariate Gaussian Mixture Models with an Application to Noisy Speech Processing. - Razvan Pascanu, Yann N. Dauphin, Surya Ganguli, Yoshua Bengio:
On the saddle point problem for non-convex optimization. - Junting Chen, Vincent K. N. Lau:
Two-Tier Precoding for FDD Multi-cell Massive MIMO Time-Varying Interference Networks (Full Version). - Wanneng Shu, Wei Wang, Yunji Wang:
A novel energy-efficient resource allocation algorithm based on immune clonal optimization for green cloud computing. - Junjie Yang, Shengli Xie, Xiangyun Zhou, Rong Yu, Yan Zhang:
A Semiblind Two-Way Training Method for Discriminatory Channel Estimation in MIMO Systems. - Evan Chou, C. Sinan Güntürk:
Distributed noise-shaping quantization: I. Beta duals of finite frames and near-optimal quantization of random measurements. - Hongbin Chen, Fangfang Zhou, Jun Cai, Zhao Feng, He Qian:
Geometric projection-based switching policy for multiple energy harvesting transmitters. - Pavel Klavík, A. Cristiano I. Malossi, Constantine Bekas, Alessandro Curioni:
Changing Computing Paradigms Towards Power Efficiency. - Rahul Vaze, Krishna P. Jagannathan:
Finite-Horizon Optimal Transmission Policies for Energy Harvesting Sensors. - Kobi Cohen, Qing Zhao:
Asymptotically Optimal Sequential Tests for Anomaly Detection: Switching with Memory. - Yuanshi Zheng, Tao Li, Long Wang:
Containment control of multi-agent systems with measurement noises. - Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris, Panagiotis Katsaros, Dimitrios Tsoumakos, Ioannis Konstantinou, Spyros Sioutas:
Cloud elasticity using probabilistic model checking. - Gerardo Gómez, Lorenzo Hortiguela, Quiliano Pérez, Javier Lorca, Raquel García, Mari Carmen Aguayo Torres:
YouTube QoE Evaluation Tool for Android Wireless Terminals. - Huiyue Yi:
Local signal search enhanced RMT estimator for estimating the number of signals based on random matrix theory. - Erik Cuevas, Daniel Zaldivar, Marco A. Pérez Cisneros, Diego Oliva:
Block matching algorithm based on Differential Evolution for motion estimation. - Justin Solomon, Keenan Crane, Adrian Butscher, Chris Wojtan:
A General Framework for Bilateral and Mean Shift Filtering. - Yacine Bouzidi, Sylvain Lazard, Guillaume Moroz, Marc Pouget, Fabrice Rouillier:
Improved algorithm for computing separating linear forms for bivariate systems. - Stefan Magureanu, Richard Combes, Alexandre Proutière:
Lipschitz Bandits: Regret Lower Bounds and Optimal Algorithms. - Juan Luis Valerdi, Fernando Raul Rodriguez:
Una metodología para realizar Diferenciación Automática Anidada. - T.-R. Lin:
The complexity of model-checking of stateless probabilistic pushdown processes against PCTL. - Qixing Huang, Yuxin Chen, Leonidas J. Guibas:
Scalable Semidefinite Relaxation for Maximum A Posterior Estimation. - Prateek Dewan, Ponnurangam Kumaraguru:
It Doesn't Break Just on Twitter. Characterizing Facebook content During Real World Events. - Parvez Mahmood Khan, M. M. Sufyan Beg:
Measuring Cost of Quality (CoQ) on SDLC Projects is Indispensible for Effective Software Quality Assurance. - Safa Hamdare, Varsha Nagpurkar, Jayashri Mittal:
Securing SMS Based One Time Password Technique from Man in the Middle Attack. - Meng Yue, Xiaoyu Wang:
A Revised Incremental Conductance MPPT Algorithm for Solar PV Generation Systems. - Sukhpal Singh Ghuman, Emanuele Giaquinta, Jorma Tarhio:
Alternative Algorithms for Lyndon Factorization. - Carlos A. Freitas, Fabrício Benevenuto, Saptarshi Ghosh, Adriano Veloso:
Reverse Engineering Socialbot Infiltration Strategies in Twitter. - Qiaoyang Ye, Mazin Al-Shalash, Constantine Caramanis, Jeffrey G. Andrews:
Distributed Resource Allocation in Device-to-Device Enhanced Cellular Networks. - Pili Hu, Sherman S. M. Chow, Wing Cheong Lau:
Secure Friend Discovery via Privacy-Preserving and Decentralized Community Detection. - Chenrong Xiong, Jun Lin, Zhiyuan Yan:
Symbol-Based Successive Cancellation List Decoder for Polar Codes. - Raja Giryes, Michael Elad, Alfred M. Bruckstein:
Sparsity Based Methods for Overparametrized Variational Problems. - Razen Al-Harbi, Yasser Ebrahim, Panos Kalnis:
PHD-Store: An Adaptive SPARQL Engine with Dynamic Partitioning for Distributed RDF Repositories. - Jiawei Xu, Shigang Yue, Ruisheng Wang, Chu Kiong Loo:
Perceiving Motion Cues Inspired by Microsoft Kinect Sensor on Game Experiencing. - Rongjie Yan, Chih-Hong Cheng, Guangquan Zhang, Yesheng Chai:
Formal Consistency Checking over Specifications in Natural Languages. - Francesco Romano, Daniele Pucci, Francesco Nori:
Collocated Adaptive Control of Underactuated Mechanical Systems. - Megha Arora, Raghav Gupta, Ponnurangam Kumaraguru:
Indian Premier League (IPL), Cricket, Online Social Media. - Anne-Marie Kermarrec, Christopher Thraves:
Signed graph embedding: when everybody can sit closer to friends than enemies. - Mark M. Christiansen, Ken R. Duffy, Flávio du Pin Calmon, Muriel Médard:
Quantifying the computational security of multi-user systems. - Michael Burke, Joan Lasenby:
Single camera pose estimation using Bayesian filtering and Kinect motion priors. - Hosein Azarbonyad, Reza Babazadeh:
A Genetic Algorithm for solving Quadratic Assignment Problem(QAP). - Erik Cuevas, Alonso Echavarría, Marte A. Ramírez-Ortegón:
An optimization algorithm inspired by the States of Matter that improves the balance between exploration and exploitation. - Lior Dikstein, Haim H. Permuter, Yossef Steinberg:
On State Dependent Broadcast Channels with Cooperation. - Junzhou Zhao, John C. S. Lui, Don Towsley, Pinghui Wang, Xiaohong Guan:
Design of Efficient Sampling Methods on Hybrid Social-Affiliation Networks. - Jean-Charles Faugère, Ayoub Otmani, Ludovic Perret, Frédéric de Portzamparc, Jean-Pierre Tillich:
Folding Alternant and Goppa Codes with Non-Trivial Automorphism Groups. - Volker Diekert, Artur Jez, Wojciech Plandowski:
Finding All Solutions of Equations in Free Groups and Monoids with Involution. - Everaldo Aguiar, Saurabh Nagrecha, Nitesh V. Chawla:
Predicting Online Video Engagement Using Clickstreams. - Ting Zhu, Yuxuan Zhu, Hong Yang, Hao Li:
Determination of Boiling Range of Xylene Mixed in PX Device Using Artificial Neural Networks. - Li-Ping Liu, Daniel Sheldon, Thomas G. Dietterich:
Gaussian Approximation of Collective Graphical Models. - Erik Cuevas, Mauricio Gonzalez, Daniel Zaldivar, Marco A. Pérez Cisneros:
Multi-ellipses detection on images inspired by collective animal behavior. - Martin Drohmann, Kevin Carlberg:
The ROMES method for statistical modeling of reduced-order-model error. - Erik Cuevas, Diego Oliva, Daniel Zaldivar, Marco A. Pérez Cisneros, Gonzalo Pajares:
Opposition Based ElectromagnetismLike for Global Optimization. - Bowei Chen, Shuai Yuan, Jun Wang:
A Dynamic Pricing Model for Unifying Programmatic Guarantee and Real-Time Bidding in Display Advertising. - Faruk Yavuz, Jun Zhao, Osman Yagan, Virgil D. Gligor:
Towards $k$-connectivity of the random graph induced by a pairwise key predistribution scheme with unreliable links. - Optimization of Vehicle Dynamics based on Multibody Models using Adjoint Sensitivity Analysis.
- Altaf Rahman, Vincent Ng:
Narrowing the Modeling Gap: A Cluster-Ranking Approach to Coreference Resolution. - Ta Minh Thanh, Munetoshi Iwakiri:
An Incomplete Cryptography based Digital Rights Management with DCFF. - Xiaohui Huang, Xing Hu, Weichang Jiang, Zhi Yang, Hao Li:
Application of Multilayer Feedforward Neural Networks in Predicting Tree Height and Forest Stock Volume of Chinese Fir. - Alexander M. Rush, Michael Collins:
A Tutorial on Dual Decomposition and Lagrangian Relaxation for Inference in Natural Language Processing. - Khaoula Jayech, Nesrine Trimech, Mohamed Ali Mahjoub, Najoua Essoukri Ben Amara:
Dynamic Hierarchical Bayesian Network for Arabic Handwritten Word Recognition. - Anis Elbahi, Mohamed Ali Mahjoub, Mohamed Nazih Omri:
Hidden Markov Model for Inferring Learner Task Using Mouse Movement. - Stephen Makonin, Maryam H. Kashani, Lyn Bartram:
The Affect of Lifestyle Factors on Eco-Visualization Design. - Dana Dachman-Soled, Vitaly Feldman, Li-Yang Tan, Andrew Wan, Karl Wimmer:
Approximate resilience, monotonicity, and the complexity of agnostic learning. - Zoltán Ésik, Zoltán Fülöp:
Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014. EPTCS 151, 2014 [contents] - Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira:
Intuitionistic PUC-Logic for Constructive Counterfactuals. - Rabiah Ahmad, Shahrin Sahib, Muhamad Pahri Nor'Azuwa:
Effective Measurement Requirements for Network Security Management. - Hai Wang, Zhe Chen, Qingyuan Gong, Weidong Xu, Xu Zhang, Xin Wang:
Prometheus: LT Codes Meet Cooperative Transmission in Cellular Networks. - Alon Kipnis, Andrea J. Goldsmith, Tsachy Weissman, Yonina C. Eldar:
Distortion-Rate Function of Sub-Nyquist Sampled Gaussian Sources. - Mingyue Ji, Giuseppe Caire, Andreas F. Molisch:
Fundamental Limits of Caching in Wireless D2D Networks. - Manish K. Thakur, Vikas Saxena, J. P. Gupta:
A hybrid video quality metric for analyzing quality degradation due to frame drop. - Alin Bostan, Xavier Caruso, Éric Schost:
A fast algorithm for computing the characteristic polynomial of the p-curvature. - Alin Bostan, Thierry Combot, Mohab Safey El Din:
Computing necessary integrability conditions for planar parametrized homogeneous potentials. - Miguel Rodríguez-Pérez, Sergio Herrería-Alonso, Manuel Fernández-Veiga, Cándido López-García:
Improving Energy Efficiency in Upstream EPON Channels by Packet Coalescing. - Anna Harutyunyan, Tim Brys, Peter Vrancx, Ann Nowé:
Off-Policy Shaping Ensembles in Reinforcement Learning. - Miguel Rodríguez-Pérez, Sergio Herrería-Alonso, Manuel Fernández-Veiga, Cándido López-García:
The persistent congestion problem of FAST-TCP: analysis and solutions. - Miguel Rodríguez-Pérez, Sergio Herrería-Alonso, Manuel Fernández-Veiga, Cándido López-García:
Common Problems in Delay-Based Congestion Control Algorithms: A Gallery of Solutions. - Adam Kasperski, Pawel Zielinski:
Single machine scheduling problems with uncertain parameters and the OWA criterion. - Adam Kasperski, Pawel Zielinski:
Complexity of the robust weighted independent set problems on interval graphs. - Adam Kasperski, Adam Kurpisz, Pawel Zielinski:
Approximability of the robust representatives selection problem. - Kenza Hamidouche, Walid Saad, Mérouane Debbah:
Many-to-Many Matching Games for Proactive Social-Caching in Wireless Small Cell Networks. - Erik Cuevas, Fernando Wario, Daniel Zaldivar, Marco A. Pérez Cisneros:
Circle detection on images using Learning Automata. - Erik Cuevas, Daniel Zaldivar, Marco A. Pérez Cisneros, Edgar N. Sánchez, Marte A. Ramírez-Ortegón:
Robust Fuzzy corner detector. - Marcello Balduccini, William C. Regli, Duc N. Nguyen:
Towards an ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (Extended Abstract). - Hosein Azarbonyad, Azadeh Shakery, Heshaam Faili:
Learning to Exploit Different Translation Resources for Cross Language Information Retrieval. - Alexey A. Melnikov, Adi Makmal, Hans-J. Briegel:
Projective simulation applied to the grid-world and the mountain-car problem. - Dan Alistarh, Justin Kopinsky, Alexander Matveev, Nir Shavit:
The LevelArray: A Fast, Practical Long-Lived Renaming Algorithm. - Yannis Haralambous:
New Perspectives in Sinographic Language Processing Through the Use of Character Structure. - Aditi Gupta, Ponnurangam Kumaraguru, Carlos Castillo, Patrick Meier:
TweetCred: A Real-time Web-based System for Assessing Credibility of Content on Twitter. - Yasir Q. Mohsin, Greg Ongie, Mathews Jacob:
Iterative Non-Local Shrinkage Algorithm for MR Image Reconstruction. - Dominik Kopczynski, Sven Rahmann:
Using the Expectation Maximization Algorithm with Heterogeneous Mixture Components for the Analysis of Spectrometry Data. - Tianqing Wu, Hong-Chuan Yang:
Improved Performance of RF Energy Powered Wireless Sensor Node with Cooperative Beam Selection. - Bob Blakley, G. R. Blakley, Sean M. Blakley:
How to Draw Graphs: Seeing and Redrafting Large Networks in Security and Biology. - Erik Cuevas, Fernando Wario, Valentín Osuna-Enciso, Daniel Zaldivar, Marco A. Pérez Cisneros:
Fast algorithm for Multiple-Circle detection on images using Learning Automata. - Nianxia Cao, Swastik Brahma, Pramod K. Varshney:
Target Tracking via Crowdsourcing: A Mechanism Design Approach. - Hao Li, Dazuo Yang, Fudi Chen, Yibing Zhou, Zhilong Xiu:
Application of Artificial Neural Networks in Predicting Abrasion Resistance of Solution Polymerized Styrene-Butadiene Rubber Based Composites. - Jalal Mahmud, Michelle X. Zhou, Nimrod Megiddo, Jeffrey Nichols, Clemens Drews:
Recommending Targeted Strangers from Whom to Solicit Information on Social Media. - Sarah Ferguson, Brandon Luders, Robert C. Grande, Jonathan P. How:
Real-Time Predictive Modeling and Robust Avoidance of Pedestrians with Uncertain, Changing Intentions. - Hermann Gruber, Markus Holzer:
From Finite Automata to Regular Expressions and Back-A Summary on Descriptional Complexity. 25-48 - Ondrej Klíma:
On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract). 49-54 - Martin Berglund, Frank Drewes, Brink van der Merwe:
Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching. 109-123 - Henning Bordihn, Martin Kutrib, Andreas Malcher:
Measuring Communication in Parallel Communicating Finite Automata. 124-138 - Vincent Carnino, Sylvain Lombardy:
On Determinism and Unambiguity of Weighted Two-way Automata. 188-200 - Kristína Cevorová, Galina Jirásková, Peter Mlynárcik, Matús Palmovský, Juraj Sebej:
Operations on Automata with All States Final. 201-215 - Stefano Crespi-Reghizzi, Pierluigi San Pietro:
Commutative Languages and their Composition by Consensual Methods. 216-230 - Chen Fei Du, Jeffrey Shallit:
Similarity density of the Thue-Morse word with overlap-free infinite binary words. 231-245 - Henning Fernau, Rudolf Freund, Markus Holzer:
Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes. 246-260 - Markus Holzer, Sebastian Jakobi:
More Structural Characterizations of Some Subregular Language Families by Biautomata. 271-285 - Milka Hutagalung, Martin Lange, Étienne Lozes:
Buffered Simulation Games for Büchi Automata. 286-300 - Andreas Maletti, Daniel Quernheim:
Hyper-Minimization for Deterministic Weighted Tree Automata. 314-326 - Yuya Higashikawa, Mordecai J. Golin, Naoki Katoh:
Improved Algorithms for Multiple Sink Location Problems in Dynamic Path Networks. - Philip Schniter, Sundeep Rangan:
Compressive Phase Retrieval via Generalized Approximate Message Passing. - Xiao Lu, Ping Wang, Dusit Niyato, Zhu Han:
Resource Allocation in Wireless Networks with RF Energy Harvesting and Transfer. - Lin Gao, George Iosifidis, Jianwei Huang, Leandros Tassiulas, Duozhe Li:
Bargaining-based Mobile Data Offloading. - Sandra Huber, Martin Josef Geiger, Marc Sevaux:
Interactive Reference Point-Based Guided Local Search for the Bi-objective Inventory Routing Problem. - Christian Blum, José Antonio Lozano, Pedro Pinacho Davidson:
Mathematical Programming Strategies for Solving the Minimum Common String Partition Problem. - Francesco Gadaleta, Nick Nikiforakis, Jan Tobias Mühlberg, Wouter Joosen:
HyperForce: Hypervisor-enForced Execution of Security-Critical Code. - Francesco Gadaleta, Nick Nikiforakis, Yves Younan, Wouter Joosen:
Hello rootKitty: A lightweight invariance-enforcing framework. - Lijiang Chen:
Machine Translation Model based on Non-parallel Corpus and Semi-supervised Transductive Learning. - Yan Kit Li, Min Xu, Chun-Ho Ng, Patrick P. C. Lee:
Efficient Hybrid Inline and Out-of-line Deduplication for Backup Storage. - Sagar V. Ramani, Yagnik N. Tank:
Indoor Navigation on Google Maps and Indoor Localization Using RSS Fingerprinting. - Mathieu Mangeot:
MotàMot project: conversion of a French-Khmer published dictionary for building a multilingual lexical system. - Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit:
Inherent Limitations of Hybrid Transactional Memory. - Rolando Trujillo-Rasua, Benjamin Martin, Gildas Avoine:
Distance-bounding facing both mafia and distance frauds: Technical report. - Xueqing Huang, Nirwan Ansari:
Joint Spectrum and Power Allocation for Multi-node Cooperative Wireless Systems. - Hossein Azizpour, Stefan Carlsson:
Self-tuned Visual Subclass Learning with Shared Samples An Incremental Approach. - Cristina Cano, David Malone:
Modeling, Analysis and Impact of a Long Transitory Phase in Random Access Protocols. - Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp:
Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten). - Xueqing Huang, Nirwan Ansari:
Optimal Cooperative Power Allocation for Energy Harvesting Enabled Relay Networks. - Philipp Fischer, Alexey Dosovitskiy, Thomas Brox:
Descriptor Matching with Convolutional Neural Networks: a Comparison to SIFT. - Ben Pringle, Mukkai Krishnamoorthy, Kenneth Simons:
Case study to approaches to finding patterns in citation networks. - Jonathan D. Gammell, Siddhartha S. Srinivasa, Timothy D. Barfoot:
BIT*: Batch Informed Trees for Optimal Sampling-based Planning via Dynamic Programming on Implicit Random Geometric Graphs. - Andreas F. Molisch, Giuseppe Caire, David Ott, Jeffrey R. Foerster, Dilip Bethanabhotla, Mingyue Ji:
Caching Eliminates the Wireless Bottleneck in Video-Aware Wireless Networks. - Prem Prakash Jayaraman, Charith Perera, Dimitrios Georgakopoulos, Arkady B. Zaslavsky:
MOSDEN: A Scalable Mobile Collaborative Platform for Opportunistic Sensing Applications. - Jinchun Zhan, Namrata Vaswani, Chenlu Qiu:
Performance Guarantees for ReProCS - Correlated Low-Rank Matrix Entries Case. - Daphney-Stavroula Zois, Urbashi Mitra:
Nonlinear POMDPs for Active State Tracking with Sensing Costs. - Pierre Courtieu, Lionel Rieg, Xavier Urbain, Sébastien Tixeuil:
Impossibility of Gathering, a Certification. - Bernardo Gonçalves, Fábio Porto:
Managing large-scale scientific hypotheses as uncertain data with support for predictive analytics. - Brian de Silva, Ryan Compton:
Prediction of Foreign Box Office Revenues Based on Wikipedia Page Activity. - Kunihisa Okano, Hideaki Ishii:
Minimum data rate for stabilization of linear systems with parametric uncertainties. - Erik Cuevas, Daniel Zaldivar, Marco A. Pérez Cisneros, Marte A. Ramírez-Ortegón:
Polynomial trajectory algorithm for a biped robot. - Constantinos Daskalakis, S. Matthew Weinberg:
Bayesian Truthful Mechanisms for Job Scheduling from Bi-criterion Approximation Algorithms. - Jing Liu, Fei Qiao, Zhijian Ou, Huazhong Yang:
Low-complexity video encoder for smart eyes based on underdetermined blind signal separation. - Jacques Carette, William M. Farmer, Michael Kohlhase:
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. - Grégory Berhuy, Nadya Markin, B. A. Sethuraman:
Bounds of fast decodability of space time block codes, skew-Hermitian matrices, and Azumaya algebras. - Ejder Bastug, Mehdi Bennis, Mérouane Debbah:
Living on the Edge: The Role of Proactive Caching in 5G Wireless Networks. - Xiaoming Sun, Jia Zhang, Jialin Zhang:
Deterministic Protocol for Shared $Q$-queue $J$-choice $K$-best Secretary Problem. - Pramod Kumar Kewat, Bappaditya Ghosh, Sukhamoy Pattanayak:
Cyclic codes over the ring $ \Z_p[u, v]/\langle u^2, v^2, uv-vu\rangle$. - Qi Xie, Deyu Meng, Shuhang Gu, Lei Zhang, Wangmeng Zuo, Xiangchu Feng, Zongben Xu:
On the Optimal Solution of Weighted Nuclear Norm Minimization. - Johann Brault-Baron, Florent Capelli, Stefan Mengel:
Understanding model counting for $β$-acyclic CNF-formulas. - Jawad Mirza, Peter J. Smith, Pawel A. Dmochowski, Mansoor Shafi:
Limited Feedback MU Massive MISO Systems with Differential TCQ in Temporally Correlated Channels. - Francesco Gadaleta, Raoul Strackx, Nick Nikiforakis, Frank Piessens, Wouter Joosen:
On the effectiveness of virtualization-based security. - Dmitry V. Lande:
Building of Networks of Natural Hierarchies of Terms Based on Analysis of Texts Corpora. - Anupam Chattopadhyay, Nilanjan Pal, Soumajit Majumder:
Ancilla-Quantum Cost Trade-off during Reversible Logic Synthesis using Exclusive Sum-of-Products. - Jacob D. Abernethy, Chansoo Lee, Abhinav Sinha, Ambuj Tewari:
Online Linear Optimization via Smoothing. - S. M. Ferdous, M. Sohel Rahman:
An Integer Programming Formulation of the Minimum Common String Partition problem. - Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson:
A comparison of three heuristics to choose the variable ordering for CAD. - Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport:
Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting. - Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson:
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. - Adrian Francalanza, Edsko de Vries, Matthew Hennessy:
Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency. - Kurt Winkler, Tobias Kuhn, Martin Volk:
Evaluating the fully automatic multi-language translation of the Swiss avalanche bulletin. - Drashti H. Bhatt, Kirit R. Rathod, Shardul J. Agravat:
A Study of Local Binary Pattern Method for Facial Expression Detection. - Sunil Kumar Katiyar, P. V. Arun:
Comparative analysis of common edge detection techniques in context of object extraction. - Sunil Kumar Katiyar, P. V. Arun:
A review over the applicability of image entropy in analyses of remote sensing datasets. - Sunil Kumar Katiyar, P. V. Arun:
Cellular Automata based adaptive resampling technique for the processing of remotely sensed imagery. - P. V. Arun, Sunil Kumar Katiyar:
An evolutionary computational based approach towards automatic image registration. - Sunil Kumar Katiyar, P. V. Arun:
An enhanced neural network based approach towards object extraction. - Vladimir Aristov, Andrey Stroganov:
Development of the method of computer analogy for studying and solving complex nonlinear systems. - Phil Maguire, Philippe Moser, Rebecca Maguire, Mark T. Keane:
A Computational Theory of Subjective Probability. - Moshe Babaioff, Nicole Immorlica, Brendan Lucier, S. Matthew Weinberg:
A Simple and Approximately Optimal Mechanism for an Additive Buyer. - A. M. Raid, W. M. Khedr, M. A. El-dosuky, Wesam Ahmed:
Jpeg Image Compression Using Discrete Cosine Transform - A Survey. - M. Majid Butt, Eduard A. Jorswieck, Amr Mohamed:
Energy Efficient Multiuser Scheduling: Statistical Guarantees on Bursty Packet Loss. - Ali Rakhshan, Evan Ray, Hossein Pishro-Nik:
Real-Time Estimation of the Distribution of Brake Response Times for an Individual Driver Using Vehicular Ad Hoc Network. - Alan Gray, Kevin Stratford:
targetDP: an Abstraction of Lattice Based Parallelism with Portable Performance. - Ion Androutsopoulos, Gerasimos Lampouras, Dimitrios Galanis:
Generating Natural Language Descriptions from OWL Ontologies: the NaturalOWL System. - D. Sachin Kumar, P. R. Seshadri, N. Vaishnav, Saraswathi Janaki:
Real Time Speckle Image De-Noising. - Takeshi Takahashi, Youki Kadobayashi, Hiroyuki Fujiwara:
Ontological Approach toward Cybersecurity in Cloud Computing. - Atul Singh Kushwah, Sachin Manglasheril:
Performance Estimation of 2*3 MIMO-MC-CDMA in Rayleigh Fading Channel. - Atul Singh Kushwah, Sachin Manglasheril:
Performance Estimation of 2*3 MIMO-MC-CDMA using Convolution Code. - M. H. Marghny, Rasha M. Abd El-Aziz, Ahmed I. Taloba:
An Effective Evolutionary Clustering Algorithm: Hepatitis C Case Study. - Adaptive Minimum-Maximum Exclusive Mean Filter for Impulse Noise Removal.
- Md. Tarek Habib, Rahat Hossain Faisal, M. Rokonuzzaman, Farruk Ahmed:
Automated Fabric Defect Inspection: A Survey of Classifiers. - Mehdi Bahrami, Peyman Arebi, Hosseyn Bakhshizadeh, Hamed Barangi:
A Novel Self-Recognition Method for Autonomic Grid Networks Case Study: Advisor Labor Law Software Application. - Alireza Khoshkbarforoushha, Pooyan Jamshidi, Mahdi Fahmideh Gholami, Lizhe Wang, Rajiv Ranjan:
Metrics for BPEL Process Reusability Analysis in a Workflow System. - Pavankumar Tallapragada, Jorge Cortés:
Event-Triggered Stabilization of Linear Systems Under Bounded Bit Rates. - Mianxiong Dong, He Li, Kaoru Ota, Haojin Zhu:
HVSTO: Efficient Privacy Preserving Hybrid Storage in Cloud Data Center. - Mohammed Bakri Bashir, Muhammad Shafie Abd Latiff, Shafii Muhammad Abdulhamid, Cheah Tek Loon:
Grid-based Search Technique for Massive Academic Publications. - Akshai Aggarwal, Savita Gandhi, Nirbhay Chaubey, Naren Tada, Srushti Trivedi:
NDTAODV: Neighbor Defense Technique for Ad Hoc On-Demand Distance Vector(AODV) to mitigate flood attack in MANETS. - Tanveer Ahmad, Yan tian feng:
An improved accelerated frame slotted aloha (afsa) algorithm for tag collision in rfid. - Nevin Vunka Jungum, Razvi Doomun, Soulakshmee D. Ghurbhurrun, Sameerchand Pudaruth:
Collaborative Driving Support System in Mobile Pervasive Environments. - Maguy Trefois, Jean-Charles Delvenne:
Zero forcing number, constraint matchings and strong structural controllability. - Edmundo de Souza e Silva, Rosa Maria Meri Leão, Daniel Sadoc Menasché, Don Towsley:
Scalability Issues in P2P Systems. - Ingo Wolf, Tobias Schröder, Jochen Neumann, Gerhard de Haan:
Changing minds about electric cars: An empirically grounded agent-based modeling approach. - Shahrouz Sharifi, Ahmet Korhan Tanc, Tolga M. Duman:
On LDPC Codes for Gaussian Interference Channels. - John C. Bowers:
Computing the Straight Skeleton of a Simple Polygon from its Motorcycle Graph in Deterministic O(n log n) Time. - Hemalata A. Gosavi, Manish R. Umale:
Public Auditing and Data Dynamics for Storage Security in Cloud Computing. - Dong Liang, Shun'ichi Kaneko:
Improvements and Experiments of a Compact Statistical Background Model. - Daoyuan Wu, Xiapu Luo, Rocky K. C. Chang:
A Sink-driven Approach to Detecting Exposed Component Vulnerabilities in Android Apps. - David M. S. Rodrigues, Vitorino Ramos:
Traversing News with Ant Colony Optimisation and Negative Pheromones. - Konstantinos Poularakis, Leandros Tassiulas:
Exploiting User Mobility for Wireless Content Delivery. - Djallel Bouneffouf:
Étude des dimensions spécifiques du contexte dans un système de filtrage d'informations. - Aditya Gopalan, Constantine Caramanis, Sanjay Shakkottai:
Wireless Scheduling with Partial Channel State Information: Large Deviations and Optimality. - Nikhil Krishnan, Dror Baron, Mehmet Kivanç Mihçak:
A Parallel Two-Pass MDL Context Tree Algorithm for Universal Source Coding. - Parvez Mahmood Khan, M. M. Sufyan Beg:
Application of Sizing Estimation Techniques for Business Critical Software Project Management. - Stefanos Nikolaidis, Keren Gu, Ramya Ramakrishnan, Julie A. Shah:
Efficient Model Learning for Human-Robot Collaborative Tasks. - Nima Noorshams, Aravind Iyengar:
A Novel Stochastic Decoding of LDPC Codes with Quantitative Guarantees. - Yi Liu, Chau Yuen, Xianghui Cao, Naveed Ul L. Hassan, Jiming Chen:
Design of A Scalable Hybrid MAC Protocol for Heterogeneous M2M Networks. - Huda Ibeid, Rio Yokota, David Keyes:
A Performance Model for the Communication in Fast Multipole Methods on HPC Platforms. - Ben Ruijl, Jos Vermaseren, Aske Plaat, H. Jaap van den Herik:
HEPGAME and the Simplification of Expressions. - Jeya Pradha J., Sanket S. Kalamkar, Adrish Banerjee:
Energy Harvesting Cognitive Radio with Channel-Aware Sensing Strategy. - Junjian Qi, Kai Sun:
Power System Dynamic State Estimation by Unscented Kalman Filter with Guaranteed Positive Semi-definite State Covariance. - Ali Mansouri, Mohamed Salim Bouhlel:
Results for grundy number of the complement of bipartite graphs. - Ahmed Abdel-Hadi, Awais Khawar, T. Charles Clancy:
Optimal Downlink Power Allocation in Cellular Networks. - Weiran Wang, Miguel Á. Carreira-Perpiñán:
The role of dimensionality reduction in linear classification. - Ahmed Abdel-Hadi, T. Charles Clancy:
An Optimal Resource Allocation with Joint Carrier Aggregation in 4G-LTE. - Jeong Ho Yeo, Joon Ho Cho, James S. Lehnert:
Joint Transmitter and Receiver Optimization for Improper-Complex Second-Order Stationary Data Sequence. - Yuansi Chen, Julien Mairal, Zaïd Harchaoui:
Fast and Robust Archetypal Analysis for Representation Learning. - Lei Gai, Wei Chen, Zhichao Xu, Changhe Qiu, Tengjiao Wang:
Towards Efficient Path Query on Social Network with Hybrid RDF Management. - Edmond Awad, Richard Booth, Fernando Tohmé, Iyad Rahwan:
Judgment Aggregation in Multi-Agent Argumentation. - Dan Stowell, Mark D. Plumbley:
Automatic large-scale classification of bird sounds is strongly improved by unsupervised feature learning. - Paridhi Jain, Ponnurangam Kumaraguru:
@I to @Me: An Anatomy of Username Changing Behavior on Twitter. - Fabio Cuzzolin, Diana Mateus, Radu Horaud:
Robust Temporally Coherent Laplacian Protrusion Segmentation of 3D Articulated Bodies. - Stephan Friedrichs, Michael Hemmer, Christiane Schmidt:
A PTAS for the continuous 1.5D Terrain Guarding Problem. - Wei Huang, Jian Lou, Zhonghua Wen:
Allocating Indivisible Resources under Price Rigidities in Polynomial Time. - Wei Huang, Jian Lou, Zhonghua Wen:
A Parallel Elicitation-Free Protocol for Allocating Indivisible Goods. - Christiane L. Kameni Ngassa, Valentin Savin, Elsa Dupraz, David Declercq:
Density Evolution and Functional Threshold for the Noisy Min-Sum Decoder. - Rajkumar N., Anand M. G., Barathiraja N.:
Portable Camera-Based Product Label Reading For Blind People. - Krzysztof Wojtas, Krzysztof Magiera, Tomasz Miasko, Piotr Faliszewski:
Possible Winners in Noisy Elections. - Binnan Zhuang, Dongning Guo, Michael L. Honig:
Traffic Driven Resource Allocation in Heterogenous Wireless Networks. - André Murbach Maidl, Sérgio Medeiros, Fabio Mascarenhas, Roberto Ierusalimschy:
Error Reporting in Parsing Expression Grammars. - Carlos Luis González-Valiente, Magda León Santos, Zoia Rivera:
El egresado de la carrera Ciencias de la Información y su inserción en la gestión de mercadotecnia. - Divyajyothi M. G., Rachappa, D. H. Rao:
A scenario based approach for dealing with challenges in a pervasive computing environment. - Suma Dawn, Vikas Saxena, Bhudev Sharma:
Cognitive-mapping and contextual pyramid based Digital Elevation Model Registration and its effective storage using fractal based compression. - Andreas M. Tillmann:
On the Computational Intractability of Exact and Approximate Dictionary Learning. - Richard Moot:
Hybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive Inadequacy of Lambda Grammars. - Glenn Lawyer:
Understanding the spreading power of all nodes in a network: a continuous-time perspective. - Karima Haddou ou Moussa, Ute Sondergeld, Philipp Mayr, Peter Mutschke, Marc Rittberger:
Assessing Educational Research - An Information Service for Monitoring a Heterogeneous Research Field. - Mahboobeh Houshmand, Morteza Saheb Zamani, Mehdi Sedighi, Mona Arabzadeh:
Decomposition of Diagonal Hermitian Quantum Gates Using Multiple-Controlled Pauli Z Gates. - Christoph Trabert, Andreas Ulbig, Göran Andersson:
Model Predictive Frequency Control Employing Stability Constraints. - Sridhar Mahadevan, Bo Liu, Philip S. Thomas, William Dabney, Stephen Giguere, Nicholas Jacek, Ian Gemp, Ji Liu:
Proximal Reinforcement Learning: A New Theory of Sequential Decision Making in Primal-Dual Spaces. - Dongmyoung Kim, Taejun Park, Hyoil Kim, Sunghyun Choi:
Load Balancing in Two-Tier Cellular Networks with Open and Hybrid Access Femtocells. - Panos P. Markopoulos, George N. Karystinos, Dimitrios A. Pados:
Optimal Algorithms for L1-subspace Signal Processing. - Kyatsandra G. Nagananda, Shalinee Kishore, Rick S. Blum:
A PMU Scheduling Scheme for Transmission of Synchrophasor Data in Electric Power Systems. - François Fouquet, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel:
Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use. - Haiko Lietz, Claudia Wagner, Arnim Bleier, Markus Strohmaier:
When Politicians Talk: Assessing Online Conversational Practices of Political Parties on Twitter. - Yushu Zhang, Kwok-Wo Wong, Leo Yu Zhang, Di Xiao:
Robust Coding of Encrypted Images via Structural Matrix. - Szymon Grabowski, Sebastian Deorowicz, Lukasz Roguski:
Disk-based genome sequencing data compression. - Fabian Schuh, Johannes B. Huber:
Low Complexity Decoding for Higher Order Punctured Trellis-Coded Modulation Over Intersymbol Interference Channels. - Renato P. dos Santos, Waldir L. Roque:
On the design of an expert help system for computer algebra systems. - Rasmus Troelsgård, Bjørn Sand Jensen, Lars Kai Hansen:
A Topic Model Approach to Multi-Modal Similarity. - Juho Lauri, Melissa S. Keranen:
Computing Minimum Rainbow and Strong Rainbow Colorings of Block Graphs. - Truls Pedersen, Sjur Dyrkolbotn, Piotr Kazmierczak:
Big, but not unruly: Tractable norms for anonymous game structures. - Michele Peroli, Luca Viganò, Matteo Zavatteri:
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version). - Ivan Ivek:
Supervised Dictionary Learning by a Variational Bayesian Group Sparse Nonnegative Matrix Factorization. - Omid Aghazadeh, Stefan Carlsson:
Large Scale, Large Margin Classification using Indefinite Similarity Measures. - Amelia Gully, Rodrigo C. de Lamare:
Sparsity-Aware Filtered-X Affine Projection Algorithms for Active Noise Control. - Qi Zhang, Shi Jin, Kai-Kit Wong, Hongbo Zhu, Michail Matthaiou:
Power Scaling of Uplink Massive MIMO Systems with Arbitrary-Rank Channel Means. - János Farkas, Stephen Haddock, Panagiotis Saltsidis:
Software Defined Networking Supported by IEEE 802.1Q. - Waqar Ahmad, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi:
Towards the Formal Reliability Analysis of Oil and Gas Pipelines. - Isabel Méndez-Díaz, Graciela L. Nasini, Daniel E. Severin:
An exact DSatur-based algorithm for the Equitable Coloring Problem. - Jeremy Avigad, Johannes Hölzl, Luke Serafin:
A formally verified proof of the Central Limit Theorem. - Robby G. McKilliam, Alex J. Grant, I. Vaughan L. Clarkson:
Finding a closest point in a lattice of Voronoi's first kind. - Isabel Méndez-Díaz, Graciela L. Nasini, Daniel E. Severin:
A tabu search heuristic for the Equitable Coloring Problem. - Thomas Steinke, Salil P. Vadhan, Andrew Wan:
Pseudorandomness and Fourier Growth Bounds for Width 3 Branching Programs. - Tao Luo, Zaifeng Shi:
An FPGA-based Parallel Architecture for Face Detection using Mixed Color Models. - Asiri Rathnayake, Hayo Thielecke:
Static Analysis for Regular Expression Exponential Runtime via Substructural Logics. - Ronedo Ferreira, Waldir A. Moreira, Paulo Mendes, Mario Gerla, Eduardo Cerqueira:
Improving the Delivery Rate of Digital Inclusion Applications for Amazon Riverside Communities by Using an Integrated Bluetooth DTN Architecture. - Konrad Dabrowski, Daniël Paulusma:
Clique-width of Graph Classes Defined by Two Forbidden Induced Subgraphs. - Alexander M. Powell, J. Tyler Whitehouse:
Error bounds for consistent reconstruction: random polytopes and coverage processes. - Srinivasan Venkatramanan, Anurag Kumar:
Influence Spread in Social Networks: A Study via a Fluid Limit of the Linear Threshold Model. - Tim Althoff, Hyun Oh Song, Trevor Darrell:
Detection Bank: An Object Detection Based Video Representation for Multimedia Event Recognition. - Vimalkumar Jeyakumar, Mohammad Alizadeh, Yilong Geng, Changhoon Kim, David Mazières:
Millions of Little Minions: Using Packets for Low Latency Network Programming and Visibility. - Margreta Kuijper, Anna-Lena Trautmann:
Iterative List-Decoding of Gabidulin Codes via Gröbner Based Interpolation. - Lin Gao, Jianwei Huang, Ying-Ju Chen, Biying Shou:
Combining Spot and Futures Markets: A Hybrid Market Approach to Dynamic Spectrum Access. - Katsutoshi Yoshida, Shigeki Matsumoto, Yoichi Matsue:
Artificial Wrestling: A Dynamical Formulation of Autonomous Agents Fighting in a Coupled Inverted Pendula Framework. - Young-Ho Eom, Pablo Aragón, David Laniado, Andreas Kaltenbrunner, Sebastiano Vigna, Dima Shepelyansky:
Interactions of cultures and top people of Wikipedia from ranking of 24 language editions. - Maria Prandini, Simone Garatti, Riccardo Vignali:
Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach. - Linh Anh Nguyen, Joanna Golinska-Pilarek:
ExpTime Tableaux with Global Caching for the Description Logic SHOQ. - Erik Cuevas, Felipe Sención-Echauri, Daniel Zaldivar, Marco A. Pérez Cisneros, Humberto Sossa:
A Multi-threshold Segmentation Approach Based on Artificial Bee Colony Optimization. - Hüseyin Yigitler, Riku Jäntti, Ossi Kaltiokallio:
Detecting Human-induced Reflections using RSS of Narrowband Wireless Transceivers. - Erik Cuevas, Noé Ortega-Sánchez, Daniel Zaldivar, Marco A. Pérez Cisneros:
Circle detection by Harmony Search Optimization. - Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler:
Conformant Planning as a Case Study of Incremental QBF Solving. - Meng-Lin Ku, Yan Chen, K. J. Ray Liu:
Data-Driven Stochastic Models and Policies for Energy Harvesting Sensor Communications. - A. A. Waskita, H. Suhartanto, P. D. Persadha, Laksana Tri Handoko:
A simple statistical analysis approach for Intrusion Detection System. - Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira:
PUC-Logic embedding of Lewis' Deontic Logics. - Christian T. Jacobs, Alexandros Avdis, Gerard J. Gorman, Matthew D. Piggott:
PyRDM: A Python-based library for automating the management and online publication of scientific software and data. - Guangmo Tong, Cong Liu:
Supporting Soft Real-Time Sporadic Task Systems on Heterogeneous Multiprocessors with No Utilization Loss. - Omer Nebil Yaveroglu, Sean M. Fitzhugh, Maciej Kurant, Athina Markopoulou, Carter T. Butts, Natasa Przulj:
ergm.graphlets: A Package for ERG Modeling Based on Graphlet Statistics. - Bing Wang, Yao-hua Meng, Xiao Hong Yu:
Radial basis function process neural network training based on generalized frechet distance and GA-SA hybrid strategy. - Carlos E. Laciana, G. Gual, D. Kalmus, Nicolas Oteiza Aguirre, Santiago L. Rovere:
Diffusion of two brands in competition: cross-brand effect. - Erik Cuevas, Daniel Zaldivar, Marco A. Pérez Cisneros:
Seeking multi-thresholds for image segmentation with Learning Automata. - Erik Cuevas, Daniel Zaldivar, Marco A. Pérez Cisneros, Marte A. Ramírez-Ortegón:
Circle detection using Discrete Differential Evolution Optimization. - Oktay Arslan, Evangelos A. Theodorou, Panagiotis Tsiotras:
Information-Theoretic Stochastic Optimal Control via Incremental Sampling-based Algorithms. - Kalpit V. Desai, Roopesh Ranjan:
Insights from the Wikipedia Contest (IEEE Contest for Data Mining 2011). - Vivekananda Gayen, Kamal Sarkar:
An HMM Based Named Entity Recognition System for Indian Languages: The JU System at ICON 2013. - Valentín Osuna-Enciso, Erik Cuevas, Humberto Sossa:
A Comparison of Nature Inspired Algorithms for Multi-threshold Image Segmentation. - Dengkui Zhu, Boyu Li, Ping Liang:
Power Allocation for Precoding in Large-Scale MU-MIMO Systems with Per-Antenna Constraint. - Alex Biryukov, Dmitry Khovratovich, Ivan Pustogarov:
Deanonymisation of clients in Bitcoin P2P network. - Edward Schmerling, Lucas Janson, Marco Pavone:
Optimal Sampling-Based Motion Planning under Differential Constraints: the Drift Case with Linear Affine Dynamics. - Ruben Martinez-Cantin:
BayesOpt: A Bayesian Optimization Library for Nonlinear Optimization, Experimental Design and Bandits. - Hieu Duy Nguyen, Rui Zhang, Sumei Sun:
Improper Signaling for Symbol Error Rate Minimization in K-User Interference Channel. - Jingbo Liu, Paul Cuff, Sergio Verdú:
Key Capacity with Limited One-Way Communication for Product Sources. - Tugba Erpek, Ahmed Abdel-Hadi, T. Charles Clancy:
An Optimal Application-Aware Resource Block Scheduling in LTE. - Tim Althoff, Damian Borth, Jörn Hees, Andreas Dengel:
Analysis and Forecasting of Trending Topics in Online Media Streams. - Bharat Adsul, Jinesh Machchhar, Milind A. Sohoni:
Incorporating Sharp Features in the General Solid Sweep Framework. - Jayadev Acharya, Ashkan Jafarpour, Alon Orlitsky, Ananda Theertha Suresh:
Universal Compression of Envelope Classes: Tight Characterization via Poisson Sampling. - Michael G. Gowanlock, Henri Casanova:
Technical Report: Parallel Distance Threshold Query Processing for Spatiotemporal Trajectory Databases on the GPU. - Dibya Jyoti Bora, Anil Kumar Gupta:
Effect of Different Distance Measures on the Performance of K-Means Algorithm: An Experimental Study in Matlab. - Nils Ole Tippenhauer, William G. Temple, An Hoa Vu, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk, William H. Sanders:
Automatic Generation of Security Argument Graphs. - Lin Wang, Fa Zhang, Kai Zheng, Athanasios V. Vasilakos, Shaolei Ren, Zhiyong Liu:
Energy-Efficient Flow Scheduling and Routing with Hard Deadlines in Data Center Networks. - Mustafa Abdul Jabbar, Rio Yokota, David Keyes:
Asynchronous Execution of the Fast Multipole Method Using Charm++. - Paola Bonizzoni, Anna Paola Carrieri, Gianluca Della Vedova, Gabriella Trucco:
Algorithms for the Constrained Perfect Phylogeny with Persistent Characters. - Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky:
An Introduction to the Clocked Lambda Calculus. - Deepali Virmani, Vikrant Malhotra, Ridhi Tyagi:
Aspect Based Sentiment Analysis to Extract Meticulous Opinion Value. - Paola Bonizzoni, Gianluca Della Vedova, Yuri Pirola, Marco Previtali, Raffaella Rizzi:
Constructing String Graphs in External Memory. - Tao Zhang, Jerod Michel, Tao Feng, Gennian Ge:
On the Existence of Certain Optimal Self-Dual Codes with Lengths Between $74$ and $116$. - Hai Thanh Nguyen, Jérémie Mary, Philippe Preux:
Cold-start Problems in Recommendation Systems via Contextual-bandit Algorithms. - Michael Sapienza, Fabio Cuzzolin, Philip H. S. Torr:
Feature sampling and partitioning for visual vocabulary generation on large action classification datasets. - Michael Gr. Voskoglou, Abdel-Badeeh M. Salem:
Analogy-Based and Case-Based Reasoning: Two sides of the same coin. - Bin Li, Tian-Tsong Ng, Xiaolong Li, Shunquan Tan, Jiwu Huang:
JPEG Noises beyond the First Compression Cycle. - Marco Baldi, Nicola Maturo, Eugenio Montali, Franco Chiaraluce:
AONT-LT: a Data Protection Scheme for Cloud and Cooperative Storage Systems. - Michal Jastrzebski:
On total communication complexity of collapsing protocols for pointer jumping problem. - Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards:
Formal Verification of Control Systems Properties with Theorem Proving. - Rubi Kambo, Amit Yerpude:
Classification of Basmati Rice Grain Variety using Image Processing and Principal Component Analysis. - Motahareh Eslami Mehdiabadi, Hamid R. Rabiee, Mostafa Salehi:
Diffusion-Aware Sampling and Estimation in Information Diffusion Networks. - Lorenzo Rosasco, Andrea Tacchetti, Silvia Villa:
Regularization by Early Stopping for Online Learning Algorithms. - Hajime Ishihara:
Classical propositional logic and decidability of variables in intuitionistic propositional logic. - Maben Rabi, Chithrupa Ramesh, Karl Henrik Johansson:
Separated design of encoder and controller for networked linear quadratic optimal control. - Farshad Merrikh-Bayat, Seyedeh-Nafiseh Mirebrahimi, Mohammad-Reza Khalili:
Discrete-Time Fractional-Order PID Controller: Definition, Tuning, Digital Realization and Experimental Results. - Reza Mosayebi, Hamidreza Arjmandi, Amin Gohari, Masoumeh Nasiri-Kenari, Urbashi Mitra:
Receivers for Diffusion-Based Molecular Communication: Exploiting Memory and Sampling Rate. - No Superluminal Signaling Implies Unconditionally Secure Bit Commitment.
- Siamak Yousefi, Xiao-Wen Chang, Benoît Champagne:
Mobile Localization in Non-Line-of-Sight Using Constrained Square-Root Unscented Kalman Filter. - Sivaram Ambikasaran, Michael O'Neil:
Fast symmetric factorization of hierarchical matrices with applications. - Hovhannes Tananyan, Rafayel R. Kamalian:
On Simultaneous 2-locally-balanced 2-partition for Two Forests with Same Vertices. - Ilya Dumer, Alexey A. Kovalev, Leonid P. Pryadko:
Numerical Techniques for Finding the Distances of Quantum Codes. - Manlio De Domenico, Vincenzo Nicosia, Alex Arenas, Vito Latora:
Layer aggregation and reducibility of multilayer interconnected networks. - Marc Manzano, Eusebi Calle, Jordi Ripoll, Anna Manolova Fagertun, Victor Torres-Padrosa, Sakshi Pahwa, Caterina M. Scoglio:
Epidemic and Cascading Survivability of Complex Networks. - A. Abdel-Rehim, C. Alexandrou, Nikos Anastopoulos, G. Koutsou, Ioannis Liabotis, N. Papadopoulou:
PLQCD library for Lattice QCD on multi-core machines. - Daniel E. Quevedo, Wann-Jiun Ma, Vijay Gupta:
Anytime Control using Input Sequences with Markovian Processor Availability. - Yichao Zhang, M. A. Aziz-Alaoui, Cyrille Bertelle, Shi Zhou, Wenting Wang:
Fence-sitters Protect Cooperation in Complex Networks. - Yichao Zhang, M. A. Aziz-Alaoui, Cyrille Bertelle, Shi Zhou, Wenting Wang:
Emergence of Cooperation in Non-scale-free Networks. - Manlio De Domenico, Mason A. Porter, Alex Arenas:
Multilayer Analysis and Visualization of Networks. - James Belk, Collin Bleak:
Some undecidability results for asynchronous transducers and the Brin-Thompson group 2V. - Mai Quyen Pham, Laurent Duval, Caroline Chaux, Jean-Christophe Pesquet:
A Primal-Dual Proximal Algorithm for Sparse Template-Based Adaptive Filtering: Application to Seismic Multiple Removal. - Hang-Hyun Jo, Young-Ho Eom:
Generalized friendship paradox in networks with tunable degree-attribute correlation. - Mustafa Khandwawala:
Belief propagation for minimum weight many-to-one matchings in the random complete graph. - Dong Huang, Jian-Huang Lai, Chang-Dong Wang:
Combining Multiple Clusterings via Crowd Agreement Estimation and Multi-Granularity Link Analysis. - Mustafa Khandwawala:
Solutions to recursive distributional equations for the mean-field TSP and related problems. - Isabel N. Figueiredo, Carlos F. Leal, Giuseppe Romanazzi, Björn Engquist:
An Homogenization Model for Aberrant Crypt Foci. - Pierre Gaillard, Paul Baudin:
A consistent deterministic regression tree for non-parametric prediction of time series. - Baokui Wang, Zhenhua Pei, Long Wang:
Evolutionary dynamics of cooperation on interdependent networks with Prisoner's Dilemma and Snowdrift Game. - Sen Pei, Lev Muchnik, José S. Andrade Jr., Zhiming Zheng, Hernán A. Makse:
Searching for superspreaders of information in real-world social media. - Mai H. Hassan, Md. Jahangir Hossain:
Cooperative Beamforming for Cognitive Radio-Based Broadcasting Systems with Asynchronous Interferences. - Wei Wang, Ming Tang, Hui Yang, Younghae Do, Ying-Cheng Lai, GyuWon Lee:
Asymmetrically interacting spreading dynamics on complex layered networks. - Ken Yamamoto, Yoshihiro Yamazaki:
Structure and modeling of the network of two-Chinese-character compound words in the Japanese language. - Li-Xin Wang:
Gaussian-Chain Filters for Heavy-Tailed Noise with Application to Detecting Big Buyers and Big Sellers in Stock Market. - Mikolaj Bojanczyk, Christoph Dittmann, Stephan Kreutzer:
Decomposition Theorems and Model-Checking for the Modal $μ$-Calculus. - Mohsen A. Bakouri:
Sensorless Physiological Control of Implantable Rotary Blood Pumps for Heart Failure Patients Using Modern Control Techniques. - Hiroki Suyari, Antonio Maria Scarfone:
$α$-divergence derived as the generalized rate function in a power-law system. - Elham Azizi, James E. Galagan, Edoardo M. Airoldi:
Learning modular structures from network data and node variables. - Joshua Mason Joseph, Javier Vélez, Nicholas Roy:
Structural Return Maximization for Reinforcement Learning. - Akira Matsuo, Keisuke Fujii, Nobuyuki Imoto:
A quantum algorithm for additive approximation of Ising partition functions. - Peilin Zhao, Tong Zhang:
Accelerating Minibatch Stochastic Gradient Descent using Stratified Sampling. - Taylor Arnold, Ryan J. Tibshirani:
Efficient Implementations of the Generalized Lasso Dual Path Algorithm. - Anastasios Kyrillidis, Rabeeh Karimi Mahabadi, Quoc Tran-Dinh, Volkan Cevher:
Scalable sparse covariance estimation via self-concordance. - Ronald Hochreiter, Christoph Waldhauser:
Effects of Sampling Methods on Prediction Quality. The Case of Classifying Land Cover Using Decision Trees. - Akihiro Munemasa, Yoshio Sano, Tetsuji Taniguchi:
On the smallest eigenvalues of the line graphs of some trees. - Sylvia Wenmackers, Danny E. P. Vanpoucke, Igor Douven:
Probability of Inconsistencies in Theory Revision: A multi-agent model for updating logically interconnected beliefs under bounded confidence. - Olivier Nicol, Jérémie Mary, Philippe Preux:
Improving offline evaluation of contextual bandit algorithms via bootstrapping techniques. - Giorgio Corani, Andrea Mignatti:
Credal Model Averaging for classification: representing prior ignorance and expert opinions. - Tilman J. Sumpf, Andreas Petrovic, Martin Uecker, Florian Knoll, Jens Frahm:
Fast T2 Mapping with Improved Accuracy Using Undersampled Spin-echo MRI and Model-based Reconstructions with a Generating Function. - Åsmund Ervik, Svend Tollak Munkejord, Bernhard Müller:
Extending a serial 3D two-phase CFD code to parallel execution over MPI by using the PETSc library for domain decomposition. - Theodore P. Pavlic, Alyssa M. Adams, Paul C. W. Davies, Sara Imari Walker:
Self-referencing cellular automata: A model of the evolution of information control in biological systems. - Didier Sornette, Thomas Maillart, Giacomo Ghezzi:
How Much is the Whole Really More than the Sum of its Parts? 1+1 = 2.5: Superlinear Productivity in Collective Group Actions. - Stanislav Sobolevsky, Izabela Sitko, Sebastian Grauwin, Remi Tachet des Combes, Bartosz Hawelka, Juan Murillo Arias, Carlo Ratti:
Mining Urban Performance: Scale-Independent Classification of Cities Based on Individual Economic Transactions. - Clara Granell, Sergio Gómez, Alex Arenas:
Competing spreading processes on multiplex networks: awareness and epidemics. - Achraf Mallat, Sinan Gezici, Davide Dardari, Luc Vandendorpe:
Statistics of the MLE and Approximate Upper and Lower Bounds - Part 2: Threshold Computation and Optimal Signal Design. - Gamaliel Percino, Peter Klimek, Stefan Thurner:
Instrumentational complexity of music genres and why simplicity sells. - Ante Custic, Bettina Klinz, Gerhard J. Woeginger:
Planar 3-dimensional assignment problems with Monge-like cost arrays. - Giovanni Tumolo, Luca Bonaventura:
An accurate and efficient numerical framework for adaptive numerical weather prediction. - Olivier Fercoq, Zheng Qu, Peter Richtárik, Martin Takác:
Fast Distributed Coordinate Descent for Non-Strongly Convex Losses. - Dimitris Bertsimas, J. Daniel Griffith, Vishal Gupta, Mykel J. Kochenderfer, Velibor V. Misic, Robert Moss:
A Comparison of Monte Carlo Tree Search and Mathematical Optimization for Large Scale Dynamic Resource Allocation. - Krikamol Muandet, Kenji Fukumizu, Bharath K. Sriperumbudur, Arthur Gretton, Bernhard Schölkopf:
Kernel Mean Shrinkage Estimators. - Marco Formentin, Alberto Lovison, Amos Maritan, Giovanni Zanzotto:
Universal activity pattern in human interactive dynamics. - Eduardo Ruiz Duarte, Octavio Páez Osuna:
Explicit endomorphism of the Jacobian of a hyperelliptic function field of genus 2 using base field operations. - Anshumali Shrivastava, Ping Li:
Asymmetric LSH (ALSH) for Sublinear Time Maximum Inner Product Search (MIPS). - Michail Vlachos, Nikolaos M. Freris, Anastasios Kyrillidis:
Compressive Mining: Fast and Optimal Data Mining in the Compressed Domain. - Vasyl Palchykov, Kimmo Kaski, János Kertész:
Transmission of cultural traits in layered ego-centric networks. - Rahul Jain, Zhaohui Wei, Penghui Yao, Shengyu Zhang:
Approximate and Multipartite Quantum Correlation (Communication) Complexity. - V. Kandiah, Bertrand Georgeot, Olivier Giraud:
Move ordering and communities in complex networks describing the game of go. - Jukka-Pekka Onnela, Benjamin N. Waber, Alex Pentland, Sebastian Schnorf, David Lazer:
Using sociometers to quantify social interaction patterns. - Jing Yang, Lingli Xia, Maosheng Xiong:
Weight Distributions of a Class of Cyclic Codes with Arbitrary Number of Zeros II. - Renato P. Dos Santos:
TATI - A Logo-like interface for microworlds and simulations for physics teaching in Second Life. - Gerhard Kurz, Igor Gilitschenski, Uwe D. Hanebeck:
Efficient Evaluation of the Probability Density Function of a Wrapped Normal Distribution. - David Morales-Jiménez, Raymond H. Y. Louie, Matthew R. McKay, Yang Chen:
Multiple-Antenna Signal Detection in Cognitive Radio Networks with Multiple Primary User Signals. - Enrique Mallada, Randy A. Freeman, Ao Tang:
Distributed Synchronization of Heterogeneous Oscillators on Networks with Arbitrary Topology. - Enrique Mallada, Xiaoqiao Meng, Michel Hack, Li Zhang, Ao Tang:
Skewless Network Clock Synchronization Without Discontinuity: Convergence and Performance. - Renato P. Dos Santos:
Second Life as a Platform for Physics Simulations and Microworlds: An Evaluation. - Zhuowen Tu, Piotr Dollár, Yingnian Wu:
Layered Logic Classifiers: Exploring the 'And' and 'Or' Relations. - Márton Karsai, Gerardo Iñiguez, Kimmo Kaski, János Kertész:
Complex contagion process in spreading of online innovation. - Laszlo Gyongyosi:
Multidimensional Manifold Extraction for Multicarrier Continuous-Variable Quantum Key Distribution. - Greg Reid, Fei Wang, Wenyuan Wu:
Geometric involutive bases for positive dimensional polynomial ideals and SDP methods. - Francesco Becattini, Arnab Chatterjee, Santo Fortunato, Marija Mitrovic, Raj Kumar Pan, Pietro Della Briotta Parolo:
The Nobel Prize delay. - Abidin Kaya, Bahattin Yildiz, Irfan Siap:
New extremal binary self-dual codes from F_4 + uF_4-lifts of quadratic double circulant codes over F_4. - Michael R. Smith, Andrew White, Christophe G. Giraud-Carrier, Tony R. Martinez:
An Easy to Use Repository for Comparing and Improving Machine Learning Algorithm Usage. - Marco Frailis, Stefano Sartor, Andrea Zacchei, Marcello Lodi, Roberto Cirami, Fabio Pasian, Massimo Trifoglio, Andrea Bulgarelli, Fulvio Gianotti, Enrico Franceschi, Luciano Nicastro, Vito Conforti, Andrea Zoli, Ricky Smart, Roberto Morbidelli, Mauro Dadina:
DAS: a data management system for instrument tests and operations. - Jürgen Sturm, Cyrill Stachniss, Wolfram Burgard:
A Probabilistic Framework for Learning Kinematic Models of Articulated Objects. - Yannai A. Gonczarowski, Noam Nisan, Rafail Ostrovsky, Will Rosenbaum:
A Stable Marriage Requires Communication. - David L. Chen, Joohyun Kim, Raymond J. Mooney:
Training a Multilingual Sportscaster: Using Perceptual Context to Learn Language. - Sophia Katrenko, Pieter W. Adriaans, Maarten van Someren:
Using Local Alignments for Relation Recognition. - Sukru Burc Eryilmaz, Duygu Kuzum, Rakesh Gnana David Jeyasingh, SangBum Kim, Matthew BrightSky, Chung Lam, H.-S. Philip Wong:
Experimental Demonstration of Array-level Learning with Phase Change Synaptic Devices. - Sajan Goud Lingala, Edward DiBella, Mathews Jacob:
Deformation corrected compressed sensing (DC-CS): a novel framework for accelerated dynamic MRI. - Elsayed Ahmed, Ahmed M. Eltawil, Zhouyuan Li, Bedri A. Cetiner:
Full-Duplex Systems Using Multi-Reconfigurable Antennas. - Branislav Kveton, Zheng Wen, Azin Ashkan, Michal Valko:
Learning to Act Greedily: Polymatroid Semi-Bandits. - Ovidiu Andrei Schipor:
Improving Computer Assisted Speech Therapy Through Speech Based Emotion Recognition. - Ovidiu Andrei Schipor, Felicia Florentina Giza-Belciug, Stefan Gheorghe Pentiuc, Cristian-Eduard Belciug, Titus-Marian Nestor:
Software Package with Exercises for Therapy of Children with Dyslalia. - Ziv Goldfeld, Haim H. Permuter, Gerhard Kramer:
Duality of a Source Coding Problem and the Semi-Deterministic Broadcast Channel with Rate-Limited Cooperation. - Ginés Dólera Tormo, Félix Gómez Mármol, Gregorio Martínez Pérez:
ROMEO: ReputatiOn Model Enhancing OpenID Simulator. - Farid M. Ablayev, Aida Gainutdinova, Kamil Khadiev, Abuzer Yakaryilmaz:
Very narrow quantum OBDDs and width hierarchies for classical OBDDs. - Kostas P. Peppas, Martin Zamkotsian, Fotis I. Lazarakis, Panayotis G. Cottis:
Asymptotic Error Performance Analysis of Spatial Modulation under Generalized Fading. - Peter Mutschke, Andrea Scharnhorst, Christophe Guéret, Philipp Mayr, Preben Hansen, Aida Slavic:
Knowledge Maps and Information Retrieval (KMIR). - Ovidiu Andrei Schipor, Felicia Florentina Giza:
Vocal signal digital processing. Instrument for analog to digital conversion study. - Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Towards Assertion-based Debugging of Higher-Order (C)LP Programs. - Carsten Gottschlich, Dominic Schuhmacher:
The Shortlist Method for Fast Computation of the Earth Mover's Distance and Finding Optimal Solutions to Transportation Problems. - Shruti Jadon, Anubhav Singhal, Suma Dawn:
Military Simulator - A Case Study of Behaviour Tree and Unity based architecture. - George Teodoro, Tony Pan, Tahsin M. Kurç, Jun Kong, Lee A. D. Cooper, Scott Klasky, Joel H. Saltz:
Region Templates: Data Representation and Management for Large-Scale Image Analysis. - Julien Henry, Mihail Asavoae, David Monniaux, Claire Maïza:
How to Compute Worst-Case Execution Time by Optimization Modulo Theory and a Clever Encoding of Program Semantics. - José Ricardo Furlan Ronqui, Gonzalo Travieso:
Analyzing complex networks through correlations in centrality measurements. - Theja Tulabandhula, Cynthia Rudin:
Generalization Bounds for Learning with Linear, Polygonal, Quadratic and Conic Side Knowledge. - Namgil Lee, Andrzej Cichocki:
Fundamental Tensor Operations for Large-Scale Data Analysis in Tensor Train Formats. - Enrique Burgos, Laura Hernández, Horacio Ceva, Roberto P. J. Perazzo:
Entropic determination of the phase transition in a coevolving opinion-formation model. - Ludvig Bohlin, Alcides Viamontes Esquivel, Andrea Lancichinetti, Martin Rosvall:
Robustness of journal rankings by network flows with different amounts of memory. - Nobuyuki Matsumoto, Yuta Michimura, Yoichi Aso, Kimio Tsubono:
An optically trapped mirror for reaching the standard quantum limit. - Richard W. Kenyon, Charles Radin, Kui Ren, Lorenzo Sadun:
Multipodal Structure and Phase Transitions in Large Constrained Graphs.
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-07-09 22:52 CEST by the dblp team