default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, July 2011
- Kundan Singh, Carol Davids:
Flash-based Audio and Video Communication in the Cloud. - Jitesh Dundas
:
Automaton based detection of affected cells in three dimensional biological system. - Ahmed Al-Ani, Mohamed A. Deriche:
A New Technique for Combining Multiple Classifiers using The Dempster-Shafer Theory of Evidence. - Silvia Acid, Luis M. de Campos:
Searching for Bayesian Network Structures in the Space of Restricted Acyclic Partially Directed Graphs. - Orna Grumberg, Shlomi Livne, Shaul Markovitch:
Learning to Order BDD Variables in Verification. - William E. Walsh, Michael P. Wellman:
Decentralized Supply Chain Formation: A Market Protocol and Competitive Equilibrium Analysis. - Dov Monderer, Moshe Tennenholtz:
K-Implementation. - Craig Boutilier, Ronen I. Brafman, Carmel Domshlak, Holger H. Hoos, David Poole:
CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements. - Adnan Darwiche, James D. Park:
Complexity Results and Approximation Strategies for MAP Explanations. - Stefan Edelkamp:
Taming Numbers and Durations in the Model Checking Integrated Planning System. - Mark-Jan Nederhof, Giorgio Satta:
IDL-Expressions: A Formalism for Representing and Parsing Finite Languages in Natural Language Processing. - Tomas Kocka, Nevin Lianwen Zhang:
Effective Dimensions of Hierarchical Latent Class Models. - Moshe Babaioff, Noam Nisan:
Concurrent Auctions Across The Supply Chain. - Mehmet H. Göker, Pat Langley, Cynthia A. Thompson:
A Personalized System for Conversational Recommendations. - Ofer Arieli, Maurice Bruynooghe, Marc Denecker, Bert Van Nuffelen:
Coherent Integration of Databases by Abductive Logic Programming. - Peter Gorniak, Deb Roy:
Grounded Semantic Composition for Visual Scenes. - Michael H. Bowling, Manuela M. Veloso:
Existence of Multiagent Equilibria with Limited Agents. - Kevin M. Lochner, Daniel M. Reeves, Yevgeniy Vorobeychik, Michael P. Wellman:
Price Prediction in a Trading Agent Competition. - Jeroen Keppens, Qiang Shen:
Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences. - Allan Borodin, Ran El-Yaniv, Vincent Gogan:
Can We Learn to Beat the Best Stock. - Risto Miikkulainen, Kenneth O. Stanley:
Competitive Coevolution through Evolutionary Complexification. - Brahim Hnich, Barbara M. Smith, Toby Walsh:
Dual Modelling of Permutation and Injection Problems. - Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes:
Generalizing Boolean Satisfiability I: Background and Survey of Existing Work. - Asaph Ben-Yair, Ariel Felner, Sarit Kraus, Nathan S. Netanyahu, Roni Stern:
PHA*: Finding the Shortest Path with A* in An Unknown Physical Environment. - Nevin Lianwen Zhang, Weihong Zhang:
Restricted Value Iteration: Theory and Algorithms. - David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin:
A Maximal Tractable Class of Soft Constraints. - Paul Beame, Henry A. Kautz, Ashish Sabharwal:
Towards Understanding and Harnessing the Potential of Clause Learning. - Claudette Cayrol, Marie-Christine Lagasquie-Schiex:
Graduality in Argumentation. - Philip Derbeko, Ran El-Yaniv, Ron Meir:
Explicit Learning Curves for Transduction and Application to Clustering and Compression Algorithms. - Claudia V. Goldman, Shlomo Zilberstein:
Decentralized Control of Cooperative Systems: Categorization and Complexity Analysis. - Enric Celaya, Josep M. Porta:
Reinforcement Learning for Agents with Many Sensors and Actuators Acting in Categorizable Environments. - Ariel Felner, Sarit Hanan, Richard E. Korf:
Additive Pattern Database Heuristics. - Ron Begleiter, Ran El-Yaniv, Golan Yona:
On Prediction Using Variable Order Markov Models. - Jörg Hoffmann, Julie Porteous, Laura Sebastia:
Ordered Landmarks in Planning. - Geoffrey J. Gordon, Nicholas Roy, Sebastian Thrun:
Finding Approximate POMDP solutions Through Belief Compression. - William P. Birmingham, Colin Meek:
A Comprehensive Trainable Error Model for Sung Music Queries. - Weixiong Zhang:
Phase Transitions and Backbones of the Asymmetric Traveling Salesman Problem. - Victor A. Campos, Cláudia Linhares Sales, Ana Karolinna Maia, Nicolas Almeida Martins, Rudini Menezes Sampaio:
Fixed parameter algorithms for restricted coloring problems: acyclic, star, nonrepetitive, harmonious and clique colorings. - Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus:
Optimal Multi-Robot Path Planning with Temporal Logic Constraints. - Peter Csaba Ölveczky:
Formal Model Engineering for Embedded Systems Using Real-Time Maude. 3-13 - Jeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju:
Rascal: From Algebraic Specification to Meta-Programming. 15-32 - Bertrand Boisvert, Louis Féraud, Sergei Soloviev:
Typed lambda-terms in categorical attributed graph transformation. 33-47 - Francisco Durán, Peter Csaba Ölveczky, José Eduardo Rivera:
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies. 49-63 - Suzana Andova, Mark van den Brand, Luc Engelen:
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models. 65-79 - Francisco Durán, Martin Gogolla, Manuel Roldán:
Tracing Properties of UML and OCL Models with Maude. 81-97 - Feng Jiang, A. Lee Swindlehurst:
Optimization of UAV Heading for the Ground-to-Air Uplink. - Marcel Kenji de Carli Silva, Nicholas J. A. Harvey, Cristiane M. Sato:
Sparse Sums of Positive Semidefinite Matrices. - Junyi Chai, James N. K. Liu:
Towards a Reliable Framework of Uncertainty-Based Group Decision Support System. - Alexander Y. Davydov:
A Probabilistic Attack on NP-complete Problems. - Wolfgang Mulzer, Daniel Werner:
Approximating Tverberg Points in Linear Time for Any Fixed Dimension. - Swadesh Choudhary, Hrishikesh Sharma, Sachin Patkar:
Optimal Folding of Data Flow Graphs based on Finite Projective Geometry using Lattice Embedding. - Vladimir Kurbalija, Milos Radovanovic, Zoltan Geler, Mirjana Ivanovic:
The Influence of Global Constraints on Similarity Measures for Time-Series Databases. - Jaeyong Sung, Colin Ponce, Bart Selman, Ashutosh Saxena:
Human Activity Detection from RGBD Images. - Markus Chimani, Martin Derka, Petr Hlinený, Matej Klusácek:
How Not to Characterize Planar-emulable Graphs. - Max Cerf:
Multiple Space Debris Collecting Mission - Debris selection and Trajectory optimization. - Jordi Fortuny Andreu, Bernat Corominas-Murtra:
On ambiguity. Its locus in the architecture of Language and its origin in efficient communication. - Jitesh Dundas:
Law of Connectivity in Machine Learning. - Antonio Fernández Anta, Miguel A. Mosteiro, Jorge Ramón Muñoz:
Unbounded Contention Resolution in Multiple-Access Channels. - Mladen Nikolic, Filip Maric, Predrag Janicic:
Simple Algorithm Portfolio for SAT. - Thomas Ågotnes, Natasha Alechina:
Completeness of Epistemic Coalition Logic with Group Knowledge. - Ali Osmane, Jean-Claude Belfiore:
The Compute-and-Forward Protocol: Implementation and Practical Aspects. - Hugues Randriambololona:
Bilinear complexity of algebras and the Chudnovsky-Chudnovsky interpolation method. - Alexei Lisitsa:
First-order finite satisfiability vs tree automata in safety verification. - David Insa, Josep Silva:
Optimal Divide and Query (extended version). - Samuel Fiorini, Thomas Rothvoß, Hans Raj Tiwary:
Extended formulations for polygons. - Ishay Haviv, Michael Langberg:
On Linear Index Coding for Random Graphs. - Oleg Kupervasser:
A navigation filter for fusing DTM/correspondence updates. - Zuleita Ka Ming Ho, David Gesbert, Eduard A. Jorswieck, Rami Mochaourab:
Beamforming on the MISO interference channel with multi-user decoding capability. - Christoph Studer, Richard G. Baraniuk:
Stable Restoration and Separation of Approximately Sparse Signals. - Masahiro Kumabe, H. Reiju Mihara:
Preference aggregation theory without acyclicity: The core without majority dissatisfaction. - H. Reiju Mihara:
The second-price auction solves King Solomon's dilemma. - Adrian Silvescu, Vasant G. Honavar:
Abstraction Super-structuring Normal Forms: Towards a Theory of Structural Induction. - Masahiro Kumabe, H. Reiju Mihara:
The Nakamura numbers for computable simple games. - Noam Presman, Ofer Shapira, Simon Litsyn:
Polar Codes with Mixed Kernels. - Andrew Tausz, Gunnar E. Carlsson:
Homological Coordinatization. - Antonio Wendell De Oliveira Rodrigues, Frédéric Guyomarc'h, Jean-Luc Dekeyser, Yvonnick Le Menach:
Automatic Multi-GPU Code Generation applied to Simulation of Electrical Machines. - Nicolas Brodu, Dimitri Lague:
3D Terrestrial LiDAR data classification of complex natural scenes using a multi-scale dimensionality criterion: applications in geomorphology. - Pablo Barceló, Leonid Libkin, Juan L. Reutter:
Parameterized Regular Expressions and their Languages. - José Antonio Álvarez-Bermejo, Juan Antonio López Ramos, Joachim Rosenthal, Davide Schipani:
Managing key multicasting through orthogonal systems. - Achaleshwar Sahai, Gaurav Patel, Ashutosh Sabharwal:
Pushing the limits of Full-duplex: Design and Real-time Implementation. - Christian Glaßer, Christian Reitwießner, Maximilian Witek:
Applications of Discrepancy Theory in Multiobjective Approximation. - Itsik Bergel, Sergio Benedetto:
Bounds on the capacity of OFDM underspread frequency selective fading channels. - Patrick Bahr:
Infinitary Term Graph Rewriting. - Xin Shuai, Ying Ding, Jerome R. Busemeyer, Yuyin Sun, Shanshan Chen, Jie Tang:
Does Quantum Interference exist in Twitter? - Salvatore Catanese, Emilio Ferrara, Giacomo Fiumara, Francesco Pagano:
A Framework for Designing 3D Virtual Environments. - Mieke Massink, Gethin Norman:
Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011. EPTCS 57, 2011 [contents] - Lester W. Mackey, Ameet Talwalkar, Michael I. Jordan:
Divide-and-Conquer Matrix Factorization. - Petr Hlinený, Ondrej Moris:
Generalized Maneuvers in Route Planning. - Oren Salzman, Michael Hemmer, Barak Raveh, Dan Halperin:
Motion Planning via Manifold Samples. - Suprijadi, Thomas Muliawan, Sparisoma Viridi:
Automatic Road Lighting System (ARLS) Model Based on Image Processing of Moving Object. - Charilaos Efthymiou:
A simple algorithm for random colouring G(n, d/n) using (2+ε)d colours. - Aparna Das, Emden R. Gansner, Michael Kaufmann, Stephen G. Kobourov, Joachim Spoerhase, Alexander Wolff:
Approximating Minimum Manhattan Networks in Higher Dimensions. - Stefan Göller, Markus Lohrey:
The First-Order Theory of Ground Tree Rewrite Graphs. - Yucheng Low, Joseph Gonzalez, Aapo Kyrola, Danny Bickson, Carlos Guestrin:
GraphLab: A Distributed Framework for Machine Learning in the Cloud. - Joey Paquet, Serguei A. Mokhov:
Furthering Baseline Core Lucid Standard Specification in the Context of the History of Lucid, Intensional Programming, and Context-Aware Computing. - Gyan Ranjan, Zhi-Li Zhang:
Geometry of Complex Networks and Topological Centrality. - Samuel Epstein, Margrit Betke:
An Information Theoretic Representation of Agent Dynamics as Set Intersections. - Danny Z. Chen, Xuehou Tan, Haitao Wang, Gangshan Wu:
Optimal Point Movement for Covering Circular Regions. - Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens:
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution. - Junyi Chai, James N. K. Liu:
A Novel Multicriteria Group Decision Making Approach With Intuitionistic Fuzzy SIR Method. - Sarif Sk. Hassan, Ananya Roy, Pabitra Pal Choudhury, Birendra Kumar Nayak:
Integral Value Transformations: A Class of Discrete Dynamical Systems. - Arijit Ukil, Jaydip Sen, Debasish Bera:
Dynamic OFDMA Resource Allocation for QoS Guarantee and System Optimization of Best Effort and Non Real-time Traffic. - Sylvia C. Boyd, René Sitters, Suzanne van der Ster, Leen Stougie:
The traveling salesman problem on cubic and subcubic graphs. - Ranch Y. Q. Lai:
Online Vehicle Detection For Estimating Traffic Status. - Michael Backes, Ian Goldberg, Aniket Kate, Tomas Toft:
Adding Query Privacy to Robust DHTs. - Antoine Thomas, Aïda Ouangraoua, Jean-Stéphane Varré:
Genome Halving by Block Interchange. - Basanna V. Dhandra, Mallikarjun Hangarge, Gururaj Mukarambi:
Spatial Features for Multi-Font/Multi-Size Kannada Numerals and Vowels Recognition. - Steven Meyer:
Breaking GSM with rainbow Tables. - Antonio Fernández Anta, Andrés Sevilla, Alberto Mozo:
Distance-based Node Sampling using Drifting Random Walks. - Steven Meyer:
Selling train tickets by SMS. - Steven Meyer:
Misbehavior in Mobile Application Markets. - Samur Araújo, Jan Hidders, Daniel Schwabe, Arjen P. de Vries:
SERIMI - Resource Description Similarity, RDF Instance Matching and Interlinking. - Christoph Hertzberg, René Wagner, Udo Frese, Lutz Schröder:
Integrating Generic Sensor Fusion Algorithms with Sound State Representations through Encapsulation of Manifolds. - Shreeniwas Sapre, Hrishikesh Sharma, Abhishek Patil, B. S. Adiga, Sachin Patkar:
Finite Projective Geometry based Fast, Conflict-free Parallel Matrix Computations. - K. R. Seeja:
AISMOTIF-An Artificial Immune System for DNA Motif Discovery. - X. Chen, M. Chen, B. Li, Y. Zhao, Y. Wu, J. Li:
Celerity: A Low-Delay Multi-Party Conferencing Solution. - Mathieu Hoyrup:
The dimension of ergodic random sequences. - Anastasios Giovanidis, Qi Liao, Slawomir Stanczak:
Measurement Based Self-Optimization in Random Access Communications. - Miguel Couceiro, Jean-Luc Marichal, Tamás Waldhauser:
Locally monotone Boolean and pseudo-Boolean functions. - Carlo Bellettini, Lorenzo Capra:
Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach. - Stefan Szeider:
Not So Easy Problems for Tree Decomposable Graphs. - Florian Leitner-Fischer, Stefan Leue:
QuantUM: Quantitative Safety Analysis of UML Models. 16-30 - Michal Rutkowski:
Two-Player Reachability-Price Games on Single-Clock Timed Automata. 31-46 - Bogdan Aman, Gabriel Ciobanu:
Time Delays in Membrane Systems and Petri Nets. 47-60 - Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan:
Real-Reward Testing for Probabilistic Processes (Extended Abstract). 61-73 - Lei Song, Flemming Nielson, Bo Friis Nielsen:
A Stochastic Broadcast Pi-Calculus. 74-88 - Daniel Seidel, Janis Voigtländer:
Improvements for Free. 89-103 - Joseph Assouramou, Josée Desharnais:
Analysis of Non-Linear Probabilistic Hybrid Systems. 104-119 - Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen:
Distances for Weighted Transition Systems: Games and Properties. 134-147 - Mathieu Tracol, Josée Desharnais, Abir Zhioua:
Computing Distances between Probabilistic Automata. 148-162 - David Balduzzi:
On the information-theoretic structure of distributed measurements. 28-42 - Luca Bortolussi, Vashti Galpin, Jane Hillston:
HYPE with stochastic events. 120-133 - Thomas Watson:
Lift-and-Project Integrality Gaps for the Traveling Salesperson Problem. - Animashree Anandkumar, Vincent Y. F. Tan, Alan S. Willsky:
High-Dimensional Gaussian Graphical Model Selection: Tractable Graph Families. - Melissa Duarte, Chris Dick, Ashutosh Sabharwal:
Experiment-driven Characterization of Full-Duplex Wireless Systems. - Animashree Anandkumar, Kamalika Chaudhuri, Daniel J. Hsu, Sham M. Kakade, Le Song, Tong Zhang:
Spectral Methods for Learning Multivariate Latent Tree Structure. - Christian Wulff-Nilsen:
Separator Theorems for Minor-Free and Shallow Minor-Free Graphs with Applications. - Gabriel Dulac-Arnold, Ludovic Denoyer, Patrick Gallinari:
Text Classification: A Sequential Reading Approach. - Pierre Lescanne:
On counting untyped lambda terms. - Yann Barbotin, Ali Hormati, Sundeep Rangan, Martin Vetterli:
Estimation of Sparse MIMO Channels with Common Support. - Furio Honsell, Marina Lenisa:
Conway games, algebraically and coalgebraically. - Edo Liberty, Shachar Lovett, Omri Weinstein:
On the Furthest Hyperplane Problem and Maximal Margin Clustering. - Nicolas Catusse, Victor Chepoi, Karim Nouioua, Yann Vaxès:
Bidirected minimum Manhattan network problem. - Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll:
Algorithms for Synthesizing Priorities in Component-based Systems. - Jan Obdrzálek, Marek Trtík:
Efficient Loop Navigation for Symbolic Execution. - Romain Couillet, Walid Hachem:
Local failure detection and diagnosis in large sensor networks. - Bruno Grenet, Pascal Koiran, Natacha Portier, Yann Strozecki:
The Limited Power of Powering: Polynomial Identity Testing and a Depth-four Lower Bound for the Permanent. - Richard A. Formato:
A novel methodology for antenna design and optimization: Variable Zo. - André Hernich:
Answering Non-Monotonic Queries in Relational Data Exchange. - (Withdrawn) On Sets of High Complexity Strings.
- Oleg Kupervasser, Ronen Lerner, Ehud Rivlin:
Error Analysis for a Navigation Algorithm based on Optical-Flow and a Digital Terrain Map. - Oleg Kupervasser:
Future of artificial intelligence -- Art, not Science. - Robert Louis Cloud, Matthew L. Curry, H. Lee Ward, Anthony Skjellum, Purushotham V. Bangalore:
Accelerating Lossless Data Compression with GPUs. - Fernando Hernando, Diego Ruano:
Decoding of Matrix-Product Codes. - Aria Ghasemian Sahebi, S. Sandeep Pradhan:
Multilevel Polarization of Polar Codes Over Arbitrary Discrete Memoryless Channels. - Jing Huang, A. Lee Swindlehurst:
Cooperative Jamming for Secure Communications in MIMO Relay Networks. - Siming Wei, Zhouchen Lin:
Analysis and Improvement of Low Rank Representation for Subspace segmentation. - Jiadong Wang, Thomas A. Courtade, Tsung-Yi Chen, Bike Xie, Richard D. Wesel:
Designing Nonlinear Turbo Codes with a Target Ones Density. - Naresh Manwani, P. S. Sastry:
Polyceptron: A Polyhedral Learning Algorithm. - Marek Cygan, Marcin Pilipczuk, Michal Pilipczuk, Jakub Onufry Wojtaszczyk:
On Multiway Cut parameterized above lower bounds. - Jichang Zhao, Xu Feng, Li Dong, Xiao Liang, Ke Xu:
Performance of Local Information Based Link Prediction: A Sampling Perspective. - Marco Baldi, Marco Bianchi, Franco Chiaraluce, Joachim Rosenthal, Davide Schipani:
On fuzzy syndrome hashing with LDPC coding. - Jesús Emeterio Navarro-Barrientos:
Formation of Common Investment Networks by Project Establishment between Agents. - Kazushi Mimura:
Linear Complexity Lossy Compressor for Binary Redundant Memoryless Sources. - Ioannis Chatzigiannakis, Apostolos Pyrgelis, Paul G. Spirakis, Yannis C. Stamatiou:
Elliptic Curve Based Zero Knowledge Proofs and Their Applicability on Resource Constrained Devices. - Zhiying Wang, Itzhak Tamo, Jehoshua Bruck:
On Codes for Optimal Rebuilding Access. - Frans Schalekamp, David P. Williamson, Anke van Zuylen:
A Proof of the Boyd-Carr Conjecture. - Jiawei Qian, Frans Schalekamp, David P. Williamson, Anke van Zuylen:
On the Integrality Gap of the Subtour LP for the 1,2-TSP. - Caihong Kai, Soung Chang Liew:
Throughput Computation in CSMA Wireless Networks with Collision Effects. - Stéphane Gaïffas, Guillaume Lecué:
Weighted algorithms for compressed sensing and matrix completion. - A. Taufiq Asyhari, Tobias Koch, Albert Guillen i Fabregas:
Nearest Neighbour Decoding with Pilot-Assisted Channel Estimation for Fading Multiple-Access Channels. - Yipeng Liu, Qun Wan:
Indirect Channel Sensing for Cognitive Amplify-and-Forward Relay Networks. - Michael Baumann, Pierre Mozer, Vincent Daanen, Jocelyne Troccaz:
Prostate biopsy tracking with deformation estimation. - Raju Balakrishnan, Subbarao Kambhampati:
Click Efficiency: A Unified Optimal Ranking for Online Ads and Documents. - Shahid Latif, Rahat Ullah, Hamid Jan:
A Step towards an Easy Interconversion of Various Number Systems. - Monica De Martino, Riccardo Albertoni:
A multilingual/multicultural semantic-based approach to improve Data Sharing in an SDI for Nature Conservation. - Carlos Viegas Damásio, Alun D. Preece, Umberto Straccia:
Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI). - Philip Feinsilver, René Schott:
On Krawtchouk Transforms. - Jakob Hoydis, Stephan ten Brink, Mérouane Debbah:
Massive MIMO: How many antennas do we need? - Anne Driemel, Sariel Har-Peled:
Jaywalking your Dog - Computing the Fréchet Distance with Shortcuts. - Chun-Hung Liu, Jeffrey G. Andrews:
Distributed SIR-Aware Scheduling in Large-Scale Wireless Networks. - Vladimir S. Lerner:
The entropy functional, the information path functional's essentials and their connections to Kolmogorov's entropy, complexity and physics. - Yavor Angelov Parvanov:
Notes on Electronic Lexicography. - Eya Ben Ahmed, Ahlem Nabli, Faïez Gargouri:
A Survey of User-Centric Data Warehouses: From Personalization to Recommendation. - Fatemeh Keshavarz-Kohjerdi, Alireza Bagheri:
Hamiltonian Paths in Two Classes of Grid Graphs. - Ioannis Caragiannis:
Efficient coordination mechanisms for unrelated machine scheduling. - Ragib Hasan, Randal C. Burns:
Where Have You Been? Secure Location Provenance for Mobile Devices. - Ramin Zahedi, Ali Pezeshki, Edwin K. P. Chong:
Measurement Design for Detecting Sparse Signals. - Ka-Hung Hui, Dongning Guo, Randall A. Berry:
Medium Access Control for Wireless Networks with Peer-to-Peer State Exchange. - Bao-Gang Hu, Ran He, Xiaotong Yuan:
Information-Theoretic Measures for Objective Evaluation of Classifications. - Reza Khosravi-Farsani, Farokh Marvasti:
Interference Networks with General Message Sets: A Random Coding Scheme. - Prashant Kushwah, Sunder Lal:
Efficient Identity Based Public Verifiable Signcryption Scheme. - Dohan Kim:
Task swapping networks in distributed systems. - Dohan Kim:
Priority-based task reassignments in hierarchical 2D mesh-connected systems using tableaux. - Jean-Guillaume Dumas, Hicham Hossayni:
Matrix Powers algorithm for trust evaluation in PKI architectures. - Premkumar Karumbu, Xiaomin Chen, Douglas J. Leith:
Utility Optimal Coding for Packet Transmission over Wireless Networks - Part I: Networks of Binary Symmetric Channels. - Premkumar Karumbu, Xiaomin Chen, Douglas J. Leith:
Utility Optimal Coding for Packet Transmission over Wireless Networks - Part II: Networks of Packet Erasure Channels. - Alexander Sviridenko, Oleg Shcherbina:
Benchmarking ordering techniques for nonserial dynamic programming. - Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira:
Propositional equality, identity types, and direct computational paths. - Sleiman Rabah, Dan Ni, Payam Jahanshahi, Luis Felipe Guzman:
Current State and Challenges of Automatic Planning in Web Service Composition. - Stefano Ferretti, Vittorio Ghini:
Scale-Free Opportunistic Networks: is it Possible? - Hong-Ning Dai, Soung Chang Liew, Liqun Fu:
Link Scheduling in Multi-Transmit-Receive Wireless Networks. - T. R. Gopalakrishnan Nair, Kavitha Sooda, M. B. Yashoda:
Enhanced Genetic Algorithm approach for Solving Dynamic Shortest Path Routing Problems using Immigrants and Memory Schemes. - Yen-Huan Li, Ping-Cheng Yeh:
An Interpretation of the Moore-Penrose Generalized Inverse of a Singular Fisher Information Matrix. - (Withdrawn) Region-based Approach for Determining the Optimal Path Using PSO.
- T. R. Gopalakrishnan Nair, Meenakshi Malhotra:
Knowledge Embedding and Retrieval Strategies in an Informledge System. - T. R. Gopalakrishnan Nair, Kavitha Sooda:
Particle Swarm Optimization for Realizing Intelligent Routing in Networks with Quality Grading. - T. R. Gopalakrishnan Nair, B. R. Shubhamangala, M. Vaidehi:
A Novel Agent Based Approach for Controlling Network Storms. - T. R. Gopalakrishnan Nair, Meenakshi Malhotra:
Informledge System: A Modified Knowledge Network with Autonomous Nodes using Multi-lateral Links. - Eden Chlamtac, Ishay Haviv:
Linear Index Coding via Semidefinite Programming. - Martin Mundhenk, Felix Weiss:
Intuitionistic implication makes model checking hard. - T. R. Gopalakrishnan Nair, Kavitha Sooda:
A Novel Adaptive Routing through Fitness Function Estimation Technique with Multiple QoS Parameters Compliance. - Mary Cherian, T. R. Gopalakrishnan Nair:
A Packet Scheduling Strategy in Sensor Networks with SGMH Protocol. - Bernhard C. Geiger, Christian Vogel:
Influence of Doppler Bin Width on GNSS Detection Probabilities. - Ali Dinler, Cengis Hasan, Kamil Orucoglu, Robert W. Barber:
On an Efficient Marie Curie Initial Training Network. - Bertrand Meyer:
Towards a Calculus of Object Programs. - Marek Karpinski, Richard Schmied, Claus Viehmann:
Tight Approximation Bounds for Vertex Cover on Dense k-Partite Hypergraphs. - Marc Thurley:
An Approximation Algorithm for #k-SAT. - Qi Guo, Yunji Chen, Tianshi Chen, Ling Li:
Efficient Deterministic Replay Using Complete Race Detection. - Krishnendu Chatterjee:
Robustness of Structurally Equivalent Concurrent Parity Games. - Chao Shen, Tsung-Hui Chang, Kun-Yu Wang, Zhengding Qiu, Chong-Yung Chi:
Distributed Robust Multi-Cell Coordinated Beamforming with Imperfect CSI: An ADMM Approach. - Sivan Sabato, Naftali Tishby:
Multi-Instance Learning with Any Hypothesis Class. - Shishir Nagaraja, Amir Houmansadr, Pratch Piyawongwisal, Vijit Singh, Pragya Agarwal, Nikita Borisov:
Stegobot: construction of an unobservable communication network leveraging social behavior. - Martin Skutella, David P. Williamson:
A note on the generalized min-sum set cover problem. - J. A. Domínguez Pérez, José Maria Muñoz Porras, G. Serrano Sotelo:
One dimensional Convolutional Goppa Codes over the projective line. - Oleg Chertov, Taras Slipets:
Kunchenko's Polynomials for Template Matching. - Elisa Marengo, Matteo Baldoni, Cristina Baroglio:
Extend Commitment Protocols with Temporal Regulations: Why and How. - Przemyslaw Woznowski, Alun D. Preece:
Rule-Based Semantic Sensing. - Antonius Weinzierl:
Advancing Multi-Context Systems by Inconsistency Management. - Jaroslaw Bak:
Rule-based query answering method for a knowledge base of economic crimes. - Alexander Sellner, Christopher Schwarz, Erwin Zinser:
Semantic-ontological combination of Business Rules and Business Processes in IT Service Management. - Krishnendu Chatterjee, Mathieu Tracol:
Decidable Problems for Probabilistic Automata on Infinite Words. - Hassan Ghozlan, Gerhard Kramer:
Interference Focusing for Simplified Optical Fiber Models with Dispersion. - Gerhard Wunder, Jan Schreck, Peter Jung:
Nearly Doubling the Throughput of Multiuser MIMO Systems Using Codebook Tailored Limited Feedback Protocol. - (Withdrawn) An estimation of distribution algorithm with adaptive Gibbs sampling for unconstrained global optimization.
- Eric Angel, Evripidis Bampis, Fadi Kacem, Dimitrios Letsios:
Speed Scaling on Parallel Processors with Migration. - Sahin Emrah Amrahov, Iman N. Askerzade:
Strong Solutions of the Fuzzy Linear Systems. - Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy:
Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives. - Krishnendu Chatterjee, Laurent Doyen:
Partial-Observation Stochastic Games: How to Win when Belief Fails. - Krishnendu Chatterjee:
Bounded Rationality in Concurrent Parity Games. - Matthew J. Sottile, Craig Edward Rasmussen, Wayne N. Weseloh, Robert W. Robey, Daniel J. Quinlan, Jeffrey Overbey:
ForOpenCL: Transformations Exploiting Array Syntax in Fortran for Accelerator Programming. - Anindya De:
Lower bounds in differential privacy. - Bo Tang, Yajun Wang:
Algorithms for Submodular Matroid Secretary Problems Under Transversal Matroids and Partition Matroids. - Fedor V. Fomin, Daniel Lokshtanov, Saket Saurabh:
Bidimensionality and Geometric Graphs. - Radu Arsinte:
Study of a Hybrid - Analog TV and Ethernet- Home Data Link using a Coaxial Cable. - Pablo M. Olmos, Rüdiger L. Urbanke:
Scaling Behavior of Convolutional LDPC Ensembles over the BEC. - Ioannis Caragiannis, Angelo Fanelli, Nick Gravin, Alexander Skopalik:
Computing approximate pure Nash equilibria in weighted congestion games with polynomial latency functions. - Josep Díaz, Olli Pottonen, Erik Jan van Leeuwen:
Planar Metric Dimension is NP-complete. - Wenyan Xu, Sanyang Liu:
The parallel versus branching recurrences in computability logic. - Michael Dinitz, Gordon T. Wilfong:
iBGP and Constrained Connectivity. - Guillaume Moroz, Boris Aronov:
Computing the Distance between Piecewise-Linear Bivariate Functions. - Nikolaos S. Nikolaidis, Ioannis N. Nikolaidis, Constantin C. Tsouros:
A Variation of the Box-Counting Algorithm Applied to Colour Images. - Alistair Sinclair, Piyush Srivastava, Marc Thurley:
Approximation algorithms for two-state anti-ferromagnetic spin systems on bounded degree graphs. - Lev Reyzin:
Data Stability in Clustering: A Closer Look. - Tomasz Kociumaka, Marcin Kubica, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen:
A Linear Time Algorithm for Seeds Computation. - Amotz Bar-Noy, Yi Gai, Matthew P. Johnson, Bhaskar Krishnamachari, George Rabanca:
Knapsack Games and the Truth but not the Whole Truth. - Harold V. McIntosh:
A CONVERT compiler of REC for PDP-8. - Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Hirotaka Ono, Monika Steinová, Koichi Wada:
On the Approximability and Hardness of Minimum Topic Connected Overlay and Its Special Instances. - Moritz Hardt, Guy N. Rothblum, Rocco A. Servedio:
Private Data Release via Learning Thresholds. - Shigeki Matsutani, Kota Nakano, Katsuhiko Shinjo:
Surface tension of multi-phase flow with multiple junctions governed by the variational principle. - Anant Jindal, Gazal Kochar, Manjish Pal:
Maximum Matchings via Glauber Dynamics. - Wei Xu:
Towards Optimal One Pass Large Scale Learning with Averaged Stochastic Gradient Descent. - Jie Xu, Ling Qiu, Chengwen Yu:
Improving Energy Efficiency Through Multimode Transmission in the Downlink MIMO Systems. - Manuel Moussallam, Laurent Daudet, Gaël Richard:
Matching Pursuits with Random Sequential Subdictionaries. - Apostolos Syropoulos, Valeria de Paiva:
Fuzzy Topological Systems. - Giuseppe Durisi, Veniamin I. Morgenshtern, Helmut Bölcskei:
Sensitivity of Noncoherent WSSUS Fading Channel Capacity. - Toufiq Parag, Vladimir Pavlovic, Ahmed M. Elgammal:
Learning Hypergraph Labeling for Feature Matching. - Julia Chuzhoy:
Routing in Undirected Graphs with Constant Congestion. - Jeff M. Phillips, Elad Verbin, Qin Zhang:
Lower Bounds for Number-in-Hand Multiparty Communication Complexity, Made Easy. - Radu Arsinte:
Aspects of Entertainment Distribution in an Intelligent Home Environment. - Guy Even, Nissim Halabi:
On Decoding Irregular Tanner Codes. - Carlos Alberto Fernández y Fernández, José Angel Quintanar Morales, Hermenegildo Fernandez Santos:
An IDE to Build and Check Task Flow Models. - (Withdrawn) A Higher-Order Cheeger's Inequality.
- Nicolaie Popescu-Bodorin:
A Fuzzy View on k-Means Based Signal Quantization with Application in Iris Segmentation. - Nicolaie Popescu-Bodorin:
Exploring New Directions in Iris Recognition. - Constantinos Daskalakis, Ilias Diakonikolas, Rocco A. Servedio:
Learning $k$-Modal Distributions via Testing. - Constantinos Daskalakis, Ilias Diakonikolas, Rocco A. Servedio:
Learning Poisson Binomial Distributions. - Arnaud Casteigts, Bernard Mans, Luke Mathieson:
On the Feasibility of Maintenance Algorithms in Dynamic Graphs. - Soumen Bag, Gaurav Harit:
Topographic Feature Extraction for Bengali and Hindi Character Images. - Umm-e-Mariya Shah, Maqbool Uddin Shaikh, Azra Shamim, Yasir Mehmood:
Proposed Quality Evaluation Framework to Incorporate Quality Aspects in Web Warehouse Creation. - Keisuke Goto, Shirou Maruyama, Shunsuke Inenaga, Hideo Bannai, Hiroshi Sakamoto, Masayuki Takeda:
Restructuring Compressed Texts without Explicit Decompression. - Yacine Boufkhad, Olivier Dubois:
Second moment method for a family of boolean CSP. - Neri Merhav:
Subset sum phase transitions and data compression. - Rami Cohen:
Face Recognition using Curvelet Transform. - Rami Cohen:
The Chan-Vese Algorithm. - Eray Özkural:
Diverse Applications of Algorithmic Probability Theory. - Boris Flach, Dmitrij Schlesinger:
Modelling Distributed Shape Priors by Gibbs Random Fields of Second Order. - Baris Sertkaya:
A Survey on how Description Logic Ontologies Benefit from Formal Concept Analysis. - Jinhui Tang, Shuicheng Yan, Tat-Seng Chua, Ramesh C. Jain:
Label-Specific Training Set Construction from Web Resource for Image Annotation. - A. Dinesh Kumar, Ambedkar Dukkipati:
A Two Stage Selective Averaging LDPC Decoding. - Ashwinkumar Badanidiyuru, Shahar Dobzinski, Sigal Oren:
Optimization with Demand Oracles. - Roberto Cominetti, Cristóbal Guzmán:
Network Congestion Control with Markovian Multipath Routing. - Alina Ene, Sariel Har-Peled, Benjamin Raichel:
Geometric Packing under Non-uniform Constraints. - Lisa Fleischer, Zhenghui Wang:
Lower Bound for Envy-Free and Truthful Makespan Approximation on Related Machines. - Dror Baron, Tsachy Weissman:
An MCMC Approach to Universal Lossy Compression of Analog Sources. - Shigeki Matsutani, Yoshiyuki Shimosako, Yunhong Wang:
Fractal Structure of Equipotential Curves on a Continuum Percolation Model. - Mark D. McDonnell, Shiro Ikeda, Jonathan H. Manton:
An Introductory Review of Information Theory in the Context of Computational Neuroscience. - Sotiris Kentros, Aggelos Kiayias:
Solving the At-Most-Once Problem with Nearly Optimal Effectiveness. - Xiaohui Bei, Ning Chen, Nick Gravin, Pinyan Lu:
Budget Feasible Mechanism Design via Random Sampling. - Junyi Chai, James N. K. Liu:
An Ontology-driven Framework for Supporting Complex Decision Process. - Thouis R. Jones, David R. Karger:
Linear-Time Poisson-Disk Patterns. - Keisuke Goto, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda:
Computing q-gram Frequencies on Collage Systems. - Keisuke Goto, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda:
Computing q-gram Non-overlapping Frequencies on SLP Compressed Texts. - Marcelo P. Fiore, Chung-Kil Hur:
On the mathematical synthesis of equational logics. - (Withdrawn) Security Analysis of two Distance-Bounding Protocols.
- Amin Karbasi, Stratis Ioannidis, Laurent Massoulié:
Adaptive Content Search Through Comparisons. - Stefan Kratsch, Magnus Wahlström:
Compression via Matroids: A Randomized Polynomial Kernel for Odd Cycle Transversal. - Ralf Lübben, Markus Fidler:
Non-equilibrium Information Envelopes and the Capacity-Delay-Error-Tradeoff of Source Coding. - Nikos Vlassis, Michael L. Littman, David Barber:
On the computational complexity of stochastic controller optimization in POMDPs. - Yorai Wardi, Magnus Egerstedt:
Algorithm for Optimal Mode Scheduling in Switched Systems. - Edward Grefenstette, Mehrnoosh Sadrzadeh:
Experimenting with Transitive Verbs in a DisCoCat. - Russell Impagliazzo, William Matthews, Ramamohan Paturi:
A Satisfiability Algorithm for AC$^0$. - Frédérique E. Oggier, Anwitaman Datta:
Homomorphic Self-repairing Codes for Agile Maintenance of Distributed Storage Systems. - Barlas Oguz, Venkat Anantharam, Ilkka Norros:
Stable, scalable, decentralized P2P file sharing with non-altruistic peers. - (Withdrawn) Use of Hamiltonian Cycles in Cryptograph.
- Hendra I. Nurdin, Ian R. Petersen, Matthew R. James:
On the infeasibility of entanglement generation in Gaussian quantum systems via classical control. - Yung-Yih Jian, Henry D. Pfister:
Convergence of Weighted Min-Sum Decoding Via Dynamic Programming on Trees. - Chengpu Wang:
Type Expressiveness and Its Application in Separation of Behavior Programming and Data Management Programming. - Le Hoang Thai, Ha Nhat Tam:
Fingerprint recognition using standardized fingerprint model. - Thai Le, Phat Tat, Hai Tran:
Facial Expression Classification Based on Multi Artificial Neural Network and Two Dimensional Principal Component Analysis. - Paraskevas V. Lekeas, Giorgos Stamatopoulos:
Cooperative oligopoly games: a probabilistic approach. - Paraskevas V. Lekeas, Giorgos Stamatopoulos:
Strategic delegation in a sequential model with multiple stages. - Bo Li, Cem Boyaci, Ye Xia:
Performance Guarantee under Longest-Queue-First Schedule in Wireless Networks. - T. R. Gopalakrishnan Nair, V. Suma:
Estimation of Characteristics of a. - Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban:
Large Formal Wikis: Issues and Solutions. - Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Lionel Mamane:
Licensing the Mizar Mathematical Library. - Harjit Singh Lamba, Gurdev Singh:
Cloud Computing Future Framework for e-management of NGO's. - Luis Antonio de Santa-Eulalia, Sophie D'Amours, Jean-Marc Frayret:
An Agent-based Strategy for Deploying Analysis Models into Specification and Design for Distributed APS Systems. - David Prévost, Sylvain Lavernhe, Claire Lartigue, Didier Dumur:
Feed drive modelling for the simulation of tool path tracking in multi-axis High Speed Machining. - Adrien Friggeri, Guillaume Chelius, Eric Fleury:
Triangles to Capture Social Cohesion. - Piotr Frackiewicz:
Quantum information approach to normal representation of extensive games. - Phong S. Nguyen, Arvind Yedla, Henry D. Pfister, Krishna R. Narayanan:
Spatially-Coupled Codes and Threshold Saturation on Intersymbol-Interference Channels. - Ali Jalali, Christopher C. Johnson, Pradeep Ravikumar:
On Learning Discrete Graphical Models Using Greedy Methods. - Yuan Li, Haibin Kan:
Complex Orthogonal Designs with Forbidden 2 × 2 Submatrices. - Vikram Dhillon:
On the Simulation of Adaptive Measurements via Postselection. - Jesse Gilbert:
Probabilistic Methods on Erdos Problems. - Tamma V. Prabhakar, S. N. Akshay Uttama Nambi, H. S. Jamadagni:
E-DTN : A Multi-Interface Energy DTN Gateway. - Soumaya Amdouni, Wahiba Ben Abdessalem Karaa, Sondes Bouabid:
Semantic annotation of requirements for automatic UML class diagram generation. - Pierre De Loor, Pierre-Alexandre Favier:
From decision to action : intentionality, a guide for the specification of intelligent agents' behaviour. - Mehdaoui Rafik, Leila Hayet Mouss, Mohamed Djamel Mouss, Ouahiba Chouhal:
A Temporal Neuro-Fuzzy Monitoring System to Manufacturing Systems. - F. Richard Yu, Peng Zhang, Weidong Xiao, Paul Choudhury:
Communication Systems for Grid Integration of Renewable Energy Resources. - Pierre De Loor, Romain Benard, Pierre Chevaillier:
Real-time retrieval for case-based reasoning in interactive multiagent-based simulations. - Sam Ganzfried:
Oracular Form and Computing Strong Game-Theoretic Jotto Strategies. - Firouz Abdullah Al-Wassai, N. V. Kalyankar, Ali A. Al-Zuky:
Arithmetic and Frequency Filtering Methods of Pixel-Based Image Fusion Techniques. - Yang D. Li, Zhenjie Zhang, Marianne Winslett, Yin Yang:
Compressive Mechanism: Utilizing Sparse Representation in Differential Privacy. - Pushpa R. Suri, Harmunish Taneja:
Object Oriented Information Computing over WWW. - Rajender Nath, Pankaj Kumar Sehgal:
SD-AODV: A Protocol for Secure and Dynamic Data Dissemination in Mobile Ad Hoc Network. - Yonatan Yehezkeally, Moshe Schwartz:
Snake-in-the-Box Codes for Rank Modulation. - Frédéric Meunier, Antoine Deza:
A further generalization of the colourful Carathéodory theorem. - Patrice Boizumault, Bruno Crémilleux, Mehdi Khiari, Samir Loudni, Jean-Philippe Métivier:
Discovering Knowledge using a Constraint-based Language. - Boris Bukh, Gabriel Nivasch:
Upper bounds for centerlines. - Kord Eickmeyer, Martin Grohe:
Randomisation and Derandomisation in Descriptive Complexity Theory. - Peter Beelen, Sudhir R. Ghorpade, Tom Høholdt:
Duals of Affine Grassmann Codes and their Relatives. - Thijs Laarhoven, Benne de Weger:
Optimal symmetric Tardos traitor tracing schemes. - Po-Ning Chen, Fady Alajaji:
A Generalized Poor-Verdu Error Bound for Multihypothesis Testing and the Channel Reliability Function. - Susan Khor:
What can we learn from slow self-avoiding adaptive walks by an infinite radius search algorithm? - Louis Lei Yu, Sitaram Asur, Bernardo A. Huberman:
What Trends in Chinese Social Media. - Yanpei Liu, Stark C. Draper, Akbar M. Sayeed:
A Secret Key Generation System Based on Multipath Channel Randomness: RSSI vs CSSI. - David Van Horn, Matthew Might:
Systematic Abstraction of Abstract Machines. - Loïc Andolfatto, Sylvain Lavernhe, René Mayer:
Evaluation of servo, geometric and dynamic error sources on five axis high-speed machine tool. - Joel George Manathara, Ambedkar Dukkipati, Debasish Ghose:
On Consensus under Polynomial Protocols. - David Eppstein, Michael T. Goodrich, Pierre Baldi:
Privacy-Enhanced Methods for Comparing Compressed DNA Sequences. - Han-Shin Jo, Young Jin Sang, Ping Xia, Jeffrey G. Andrews:
Heterogeneous Cellular Networks with Flexible Cell Association: A Comprehensive Downlink SINR Analysis. - Hideaki Kimura, Carleton Coffrin, Alexander Rasin, Stanley B. Zdonik:
Optimizing Index Deployment Order for Evolving OLAP (Extended Version). - Zahid Mounir:
New construction of APN quaratic. - Kiran Kumar Sundararajan, Mita Pal, Soubhik Chakraborty, N. C. Mahanti:
K-sort: A new sorting algorithm that beats Heap sort for n <= 70 lakhs! - Venetis Kanakaris, David Ndzi, Kyriakos Ovaliadis:
Improving AODV Performance using Dynamic Density Driven Route Request Forwarding. - Rahat Afreen, Suresh C. Mehrotra:
A Review on Elliptic Curve Cryptography for Embedded Systems. - Xiao Li, Andrea Rueetschi, Yonina C. Eldar, Anna Scaglione:
GPS Signal Acquisition via Compressive Multichannel Sampling. - Mohamed Amnai, Youssef Fakhri, Jaafar Abouchabaka:
QoS Routing and Performance Evaluation for Mobile Ad Hoc Networks using OLSR Protocol. - Bart M. P. Jansen, Stefan Kratsch:
On Polynomial Kernels for Structural Parameterizations of Odd Cycle Transversal. - Antoine Bordes, Xavier Glorot, Jason Weston, Yoshua Bengio:
Towards Open-Text Semantic Parsing via Multi-Task Learning of Structured Embeddings. - Nicolas Goze, Michel Goze, Abdel Kenoufi, Elisabeth Remm:
A new algebraic and arithmetic framework for interval computations. - Kranti Bala, Kiran Ahuja:
Impact of Mobility On QoS of Mobile WiMax Network With CBR Application. - (Withdrawn) Autonomous Traffic Control System Using Agent Based Technology.
- Raj Kishen Moloo, Muhammad Ajmal Sheik Dawood, Abu Salmaan Auleear:
3-Phase Recognition Approach to Pseudo 3D Building Generation from 2D Floor Plan. - Jun Wu, Shigeru Shimamoto:
Context-Capture Multi-Valued Decision Fusion With Fault Tolerant Capability For Wireless Sensor Networks. - Abderrahim Bourouis, Mohammed Feham, Abdelhamid Bouchachia:
Ubiquitous Mobile Health Monitoring System for Elderly (UMHMSE). - Stefan Kratsch:
Co-nondeterminism in compositions: A kernelization lower bound for a Ramsey-type problem. - Wenyan Xu, Sanyang Liu:
The countable versus uncountable branching recurrences in computability logic. - Michael Helmling, Stefan Ruzika, Akin Tanatmis:
Mathematical Programming Decoding of Binary Linear Codes: Theory and Algorithm. - Yuri Pirola, Gianluca Della Vedova, Stefano Biffani, Alessandra Stella, Paola Bonizzoni:
Haplotype Inference on Pedigrees with Recombinations, Errors, and Missing Genotypes via SAT solvers. - Stéphane P. A. Bordas, Sundararajan Natarajan:
On the approximation in the smoothed finite element method (SFEM). - Anupam Gupta, Aaron Roth, Jonathan R. Ullman:
Iterative Constructions and Private Data Release. - Marc Tchiboukdjian, Nicolas Gast, Denis Trystram:
Decentralized List Scheduling. - Dejan Munjin, Jean-Henry Morin:
User Empowerment in the Internet of Things. - Ke Zhai, Jordan L. Boyd-Graber, Sebastian Bruch:
Using Variational Inference and MapReduce to Scale Topic Modeling. - Andrea Jiménez, Marcos A. Kiwi:
Computational Hardness of Enumerating Satisfying Spin-Assignments in Triangulations. - Kato Mivule, Claude Turner:
Applying Data Privacy Techniques on Tabular Data in Uganda. - Vladimir Vasilich Tregub:
Teaching Introductory Electrical Engineering Course to CS Students in a Russian University. - Oleksiy Busaryev, Sergio Cabello, Chao Chen, Tamal K. Dey, Yusu Wang:
Annotating Simplices with a Homology Basis and Its Applications. - Tao Zhu, Christopher Bronk, Dan S. Wallach:
An Analysis of Chinese Search Engine Filtering. - John Hartigan, David Pollard, Sekhar Tatikonda:
Conditioned Poisson distributions and the concentration of chromatic numbers. - Nicolas Heess, Nicolas Le Roux, John M. Winn:
Weakly Supervised Learning of Foreground-Background Segmentation using Masked RBMs. - Jason Cloud, Linda Zeger, Muriel Médard:
MAC Centered Cooperation - Synergistic Design of Network Coding, Multi-Packet Reception, and Improved Fairness to Increase Network Throughput. - Hoon Huh, Giuseppe Caire, Haralabos C. Papadopoulos, Sean A. Ramprashad:
Achieving "Massive MIMO" Spectral Efficiency with a Not-so-Large Number of Antennas. - Anupam Das, Nikita Borisov:
Securing Tor Tunnels under the Selective-DoS Attack. - Navin Goyal, Luis Rademacher:
Lower Bounds for the Average and Smoothed Number of Pareto Optima. - Weiping Zhu:
Fitting a Model to Data in Loss Tomography. - Umer Farooq, M. Aqeel Iqbal, Sohail Nazir:
A Glance into the Future of Human Computer Interaction. - Nguyen Lu Dang Khoa, Sanjay Chawla:
Online Anomaly Detection Systems Using Incremental Commute Time. - Rigui Zhou, Yang Shi, Manqun Zhang:
Reversible arithmetic logic unit. - Pierre Charbit, Michel Habib, Nicolas Trotignon, Kristina Vuskovic:
Detecting 2-joins faster. - Amitav Mukherjee, A. Lee Swindlehurst:
Prescient Beamforming by Primary Transmitters in Interweave Cognitive Radio Networks with a Single Primary Receiver. - Andriy V. Miranskyy, Matthew Davison, Mark Reesor:
Metrics of Risk Associated with Defects Rediscovery. - Arun Kumar Singh, Petros Elia, Joakim Jaldén:
Achieving a vanishing SNR-gap to exact lattice decoding at a subexponential complexity. - David Poole, Fahiem Bacchus, Jacek Kisynski:
Towards Completely Lifted Search-based Probabilistic Inference. - Sumalatha Ramachandran, Uttara Sridhar, Vidhya Srinivasan, J. Jaya Jothi:
Data Aggregation and Privacy for Police Patrols. - Nick Mehrdad Loghmani:
The Harmonic Theory; A mathematical framework to build intelligent contextual and adaptive computing, cognition and sensory system. - Piotr Bialczak, Wojciech Mazurczyk, Krzysztof Szczypiorski:
Sending Hidden Data via Google Suggest. - Wojciech Fraczek, Wojciech Mazurczyk, Krzysztof Szczypiorski:
How Hidden Can Be Even More Hidden? - Wojciech Mazurczyk:
Lost Audio Packets Steganography: The First Practical Evaluation. - Wojciech Mazurczyk, Krzysztof Szczypiorski:
Is Cloud Computing Steganography-proof? - Nathan Srebro, Karthik Sridharan, Ambuj Tewari:
On the Universality of Online Mirror Descent. - Carlos A. Astudillo, Oscar J. Calderón, Jesús H. Ortiz:
PM2PLS: An Integration of Proxy Mobile IPv6 and MPLS. - Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder:
Event-Clock Automata: From Theory to Practice. - Tzu-Han Chou, Vincent Y. F. Tan, Stark C. Draper:
The Sender-Excited Secret Key Agreement Model: Capacity and Error Exponents. - Wenqi Huang, Kun He:
Analysis on the computability over the efficient utilization problem of the four-dimensional space-time. - Cem Tekin, Mingyan Liu:
Performance and Convergence of Multi-user Online Learning. - Nizami Gasilov, Sahin Emrah Amrahov, Afet Golayoglu Fatullayev:
Linear Differential Equations with Fuzzy Boundary Values. - Emmanuel Beffara:
Functions as proofs as processes. - Fabio Daolio, Sébastien Vérel, Gabriela Ochoa, Marco Tomassini:
Local Optima Networks of the Quadratic Assignment Problem. - Sébastien Vérel, Gabriela Ochoa, Marco Tomassini:
Local Optima Networks of NK Landscapes with Neutrality. - David Simoncini, Sébastien Vérel, Philippe Collard, Manuel Clergue:
Centric selection: a way to tune the exploration/exploitation trade-off. - Leonardo Vanneschi, Sébastien Vérel, Philippe Collard, Marco Tomassini:
NK landscapes difficulty and Negative Slope Coefficient: How Sampling Influences the Results. - Umer Farooq, M. Aqeel Iqbal:
Next Generation High Speed Computing Using Photonic Based Technolog. - Anandthirtha B. Gudi, H. K. Shreedhar, H. C. Nagaraj:
Estimation of Severity of Speech Disability through Speech Envelope. - Annapurna Sharma, Hakimjon Zaynidinov, Hoon-Jae Lee:
Development and Modelling of High-Efficiency Computing Structure for Digital Signal Processing. - Pascal O. Vontobel:
The Bethe Permanent of a Non-Negative Matrix. - Benoit Pijcke, Marie Zwingelstein-Colin, Marc Gazalet, Mohamed Gharbi, Patrick Corlay:
An Analytical Model for the Intercell Interference Power in the Downlink of Wireless Cellular Networks. - Marco Cerami, Umberto Straccia:
On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm. - Umer Farooq, M. Aqeel Iqbal, Sohail Nazir:
A Glance into the Future of Human Computer Interactions. - Maurizio Serva:
The settlement of Madagascar: what dialects and languages can tell. - Hakob Aslanyan:
Interference minimization in physical model of wireless networks. - Hakob Aslanyan:
Sorting Algorithms with Restrictions. - Hakob Aslanyan:
Greedy Set Cover Estimations. - Elzbieta Zielinska, Krzysztof Szczypiorski:
Direct Sequence Spread Spectrum Steganographic Scheme for IEEE 802.15.4. - Yuri I. Manin:
A computability challenge: asymptotic bounds and isolated error-correcting codes. - François Mériaux, Yezekael Hayel, Samson Lasaulce, Andrey Garnaev:
Long-Term Energy Constraints and Power Control in Cognitive Radio Networks. - François Mériaux, Maël Le Treust, Samson Lasaulce, Michel Kieffer:
A Stochastic Game Formulation of Energy-Efficient Power Control: Equilibrium Utilities and Practical Strategies. - Kostyantyn M. Shchekotykhin, Gerhard Friedrich, Philipp Fleiss, Patrick Rodler:
Query strategy for sequential ontology debugging. - Deli Qiao, Mustafa Cenk Gursoy, Senem Velipasalar:
Effective Capacity of Two-Hop Wireless Communication Systems. - Maria Teresa Noguera:
Enhancing Knowledge Sharing Between Educational Portals. - Michael T. Goodrich, Daniel S. Hirschberg, Michael Mitzenmacher, Justin Thaler:
Fully De-Amortized Cuckoo Hashing for Cache-Oblivious Dictionaries and Multimaps. - François Mériaux, Maël Le Treust, Samson Lasaulce, Michel Kieffer:
Jeux stochastiques et contrôle de puissance distribué. - Ozan Candogan, Asuman E. Ozdaglar, Pablo A. Parrilo:
Dynamics in Near-Potential Games. - Firouz Abdullah Al-Wassai, N. V. Kalyankar, Ali A. Al-Zuky:
The IHS Transformations Based Image Fusion. - Annapurna Sharma, Amit Purwar, Young-Dong Lee, Young-Sook Lee, Wan-Young Chung:
Frequency based Classification of Activities using Accelerometer Data. - Wan-Young Chung, Amit Purwar, Annapurna Sharma:
Frequency Domain Approach for Activity Classification using Accelerometer. - Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani:
Logical Concurrency Control from Sequential Proofs. - Annapurna Sharma, Young-Dong Lee, Wan-Young Chung:
High Accuracy Human Activity Monitoring using Neural network. - Albert Banchs, Andres Garcia-Saavedra, Pablo Serrano, Joerg Widmer:
A Game Theoretic Approach to Distributed Opportunistic Scheduling. - Wenqi Huang, Tao Ye, Duanbing Chen:
Bottom-Left Placement Theorem for Rectangle Packing. - Andreas Björklund:
Counting Perfect Matchings as Fast as Ryser. - Onay Urfalioglu, Orhan Arikan:
Symmetry Breaking in Neuroevolution: A Technical Report. - Ugo Dal Lago, Paolo Di Giamberardino:
Soft Session Types (Long Version). - Anatoly Pashkevich, Alexandr Klimchik, Stéphane Caro, Damien Chablat:
Cartesian stiffness matrix of manipulators with passive joints: analytical approach. - Michel Coste, Philippe Wenger, Damien Chablat:
Singular surfaces and cusps in symmetric planar 3-RPR manipulators. - Fabian Altenbach, Georg Böcherer, Rudolf Mathar:
Short Huffman Codes Producing 1s Half of the Time. - François Scharffe, Jérôme Euzenat:
MeLinDa: an interlinking framework for the web of data. - Sabrina Gaito, Dario Maggiorini, Gian Paolo Rossi:
Leveraging Bus Mobility to Enable Communications in Urban Areas. - John B. Little:
Remarks on generalized toric codes. - Vincenzo Auletta, Diodato Ferraioli, Francesco Pasquale, Giuseppe Persiano:
Metastability of Logit Dynamics for Coordination Games. - Chun Lam Chan, Pak Hou Che, Sidharth Jaggi, Venkatesh Saligrama:
Non-adaptive probabilistic group testing with noisy measurements: Near-optimal bounds with efficient algorithms. - Thierry Boy de la Tour, Mnacho Echenim:
Solving Linear Constraints in Elementary Abelian p-Groups of Symmetries. - Myle Ott, Yejin Choi, Claire Cardie, Jeffrey T. Hancock:
Finding Deceptive Opinion Spam by Any Stretch of the Imagination. - Shyam S. Chandramouli, Jay Sethuraman:
Groupstrategyproofness of the Egalitarian Mechanism for Constrained Rationing Problems. - Marco Manna, Francesco Ricca, Giorgio Terracina:
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice. - Peter D. Turney:
Analogy perception applied to seven tests of word comprehension. - Vitaly Skachek, Olgica Milenkovic, Angelia Nedic:
Hybrid Noncoherent Network Coding. - Mao Ye, Chunyan Wang, Christina Aperjis, Bernardo A. Huberman, Thomas Sandholm:
Collective Attention and the Dynamics of Group Deals. - Stefano Rini, Daniela Tuninetti, Natasha Devroye, Andrea Goldsmith:
On the Capacity of the Interference Channel with a Cognitive Relay. - Michael Fairbank, Eduardo Alonso:
The Divergence of Reinforcement Learning Algorithms with Value-Iteration and Function Approximation. - Kunal Narayan Chaudhury:
Filtering algorithms using shiftable kernels. - Matthew P. Johnson, Deniz Sariöz:
Computing the obstacle number of a plane graph. - Suhailan Safei, Mat Atar Mat Amin, Ahmad Nazari Mohd Rose, Mohd Nordin Abdul Rahman:
Instant e-Teaching Framework Model for Live Online Teaching. - George Papandreou, Alan L. Yuille:
Efficient variational inference in large-scale Bayesian compressed sensing. - Nittaya Kerdprasop, Kittisak Kerdprasop:
Higher Order Programming to Mine Knowledge for a Modern Medical Expert System. - Yanjun Ma, Jiandong Li, Rui Chen, Qin Liu:
On the Achievability of Interference Alignment for Three-Cell Multi-User MIMO Cellular Networks. - (Withdrawn) Reducing Search Lengths with Locally Precomputed Partial Random Walks.
- Vadim Zaytsev:
MediaWiki Grammar Recovery. - Vijayaraghavan Thirumalai, Pascal Frossard:
Correlation Estimation from Compressed Images. - Jan A. Bergstra, Guus P. A. J. Delen, S. F. M. van Vlijmen:
Introducing Sourcements. - Luis Quesada, Fernando Berzal, Francisco J. Cortijo:
Fence - An Efficient Parser with Ambiguity Support for Model-Driven Language Specification. - Stefano Rini:
An Achievable Region for a General Multi-terminal Network and its Chain Graph Representation. - Mahdi Cheraghchi:
Applications of Derandomization Theory in Coding. - Tamir Tassa:
Finding All Allowed Edges in a Bipartite Graph. - Jesse Alama:
mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library. - Anand Bhalgat, Tanmoy Chakraborty, Sanjeev Khanna:
Mechanism Design with Risk Aversion. - Yannis Haralambous, Vitaly Klyuev:
A Semantic Relatedness Measure Based on Combined Encyclopedic, Ontological and Collocational Knowledge. - Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo:
Parallel Backtracking with Answer Memoing for Independent And-Parallelism. - Mohamed Hssini, Azzeddine Lazrek:
Design of Arabic Diacritical Marks. - Fabrizio Riguzzi, Terrance Swift:
The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty. - Benedikt Ahrens:
Extended Initiality for Typed Abstract Syntax. - Jia Du, Alvina Goh, Anqi Qiu:
Diffeomorphic Metric Mapping of High Angular Resolution Diffusion Imaging based on Riemannian Structure of Orientation Distribution Functions. - Ranjan Pal, Leana Golubchik, Konstantinos Psounis:
A Novel Cyber-Insurance for Internet Security. - Roya Golchay, Frédéric Le Mouël, Stéphane Frénot, Julien Ponge:
Towards Bridging IoT and Cloud Services: Proposing Smartphones as Mobile and Autonomic Service Gateways. - Ali Jowharpour, Masha allah abbasi dezfuli, Mohammad hosein Yektaee:
Use Pronunciation by Analogy for text to speech system in Persian language. - Christian Schlegel, Dmitri V. Truhachev:
Multiple Access Demodulation in the Lifted Signal Graph with Spatial Coupling. - Ronald M. Caplan, Ricardo Carretero-González:
Numerical Stability of Explicit Runge-Kutta Finite Difference Schemes for the Nonlinear Schrödinger Equation. - Tharaka Samarasinghe, Hazer Inaltekin, Jamie S. Evans:
Optimal Selective Feedback Policies for Opportunistic Beamforming. - Shiva Kintali, Nishad Kothari, Akash Kumar:
Approximation Algorithms for Directed Width Parameters. - Tatsuhiko Goto, Takeshi Hatanaka, Masayuki Fujita:
Payoff-based Inhomogeneous Partially Irrational Play for Potential Game Theoretic Cooperative Control of Multi-agent Systems. - Debabala Swain, S. P. Panigrahi, S. K. Routray, P. K. Dash, R. R. Mohanty, S. K. Dash:
WLAN location system: Background theories and future directions. - Debabala Swain, Bijay Paikaray, Debabrata Swain:
AWRP: Adaptive Weight Ranking Policy for Improving Cache Performance. - Joost Vennekens:
Actual Causation in CP-logic. - Liu Xiang, Jun Luo, Chenwei Deng, Athanasios V. Vasilakos, Weisi Lin:
Dual-Level Compressed Aggregation: Recovering Fields of Physical Quantities from Incomplete Sensory Data. - Vahan V. Mkrtchyan, Gagik N. Vardanyan:
On spanning maximum k-edge-colorable subgraphs. - Nachshon Cohen, Zeev Nutov:
Approximating minimum-power edge-multicovers. - Hironori Uchikawa, Brian M. Kurkoski, Kenta Kasai, Kohichi Sakaniwa:
Threshold Improvement of Low-Density Lattice Codes via Spatial Coupling. - Hamed O. Ghaffari:
Fracture Networks: Analysis with Graph Theory, LBM and FEM. - Marco Di Renzo, Dario De Leonardis, Fabio Graziosi, Harald Haas:
On the Performance of Space Shift Keying (SSK) Modulation with Imperfect Channel Knowledge. - Anastasios Arvanitis, Antonios Deligiannakis:
Discovering Attractive Products based on Influence Sets. - Can Baskent:
Some Non-Classical Approaches to the Branderburger-Keisler Paradox. - Can Baskent:
A Logic for Strategy Updates. - Can Baskent:
Public Announcement Logic in Geometric Frameworks. - Mnacho Echenim, Nicolas Peltier:
Instantiation Schemes for Nested Theories. - Can Baskent:
Paraconsistency and Topological Semantics. - Dejan Kovachev, Yiwei Cao, Ralf Klamma:
Mobile Cloud Computing: A Comparison of Application Models. - Mubashir Husain Rehmani:
Data Dissemination in Cognitive Radio Networks. - Elhanan Elboher, Michael Werman:
Efficient and Accurate Gaussian Image Filtering Using Running Sums. - Woomyoung Park, Alexander Barg:
Multilevel polarization for nonbinary codes and parallel channels. - Lilyana Mihalkova, Lise Getoor:
Lifted Graphical Models: A Survey. - Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh:
Normative design using inductive learning. - Yizhao Ni, Matt McVicar, Raúl Santos-Rodriguez, Tijl De Bie:
An end-to-end machine learning system for harmonic analysis of music. - Martin Fink, Jan-Henrik Haunert, Tamara Mchedlidze, Joachim Spoerhase, Alexander Wolff:
Drawing Graphs with Vertices at Specified Positions and Crossings at Large Angles. - Tigran Tonoyan:
On the Problem of Wireless Scheduling with Linear Power Levels. - Fabrício Martins Lopes, David Correa Martins Jr., Junior Barrera, Roberto Marcondes Cesar Jr.:
An iterative feature selection method for GRNs inference by exploring topological properties. - Miguel Areias, Ricardo Rocha:
On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs. - (Withdrawn) Image representation by blob and its application in CT reconstruction from few projections.
- Michael T. Goodrich, Michael Mitzenmacher, Olga Ohrimenko, Roberto Tamassia:
Oblivious RAM Simulation with Efficient Worst-Case Access Overhead. - Takeshi Hatanaka, Masayuki Fujita:
Cooperative Estimation of 3D Target Motion via Networked Visual Motion Observer. - Xiaohan Zhao, Alessandra Sala, Haitao Zheng, Ben Y. Zhao:
Fast and Scalable Analysis of Massive Social Graphs. - Shahid Mehraj Shah, Vireshwar Kumar, Vinod Sharma:
Achievable Secrecy Sum-Rate in a Fading MAC-WT with Power Control and without CSI of Eavesdropper. - Alexei Lisitsa:
Finite countermodels for safety verification of parameterized tree systems. - Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt:
The Magic of Logical Inference in Probabilistic Programming. - Aubin Jarry, Florian Huc, Pierre Leone, José D. P. Rolim:
Distributed Planarization and Local Routing Strategies in Sensor Networks. - Preben Gråberg Nes:
Fast multi-scale edge-detection in medical ultrasound signals. - Qiyu Sun:
Sparse approximation property and stable recovery of sparse signals from noisy measurements. - Manos N. Kamarianakis, Menelaos I. Karavelas:
Analysis of the Incircle predicate for the Euclidean Voronoi diagram of axes-aligned line segments. - Nick Gravin, Pinyan Lu:
Competitive Auctions for Markets with Positive Externalities. - Alberto Dennunzio, Enrico Formenti, Julien Provillard:
Non-Uniform Cellular Automata: classes, dynamics, and decidability. - Wael Emara, Mehmed M. Kantardzic:
Submodular Optimization for Efficient Semi-supervised Support Vector Machines. - Luca Becchetti, Andrea Clementi, Francesco Pasquale, Giovanni Resta, Paolo Santi, Riccardo Silvestri:
Information Spreading in Opportunistic Networks is Fast. - Conrad Drescher, Michael Thielscher:
ALPprolog --- A New Logic Programming Method for Dynamic Domains. - Benedikt Ahrens:
Modules over relative monads for syntax and semantics. - Nihar B. Shah, K. V. Rashmi, P. Vijay Kumar:
Information-theoretically Secure Regenerating Codes for Distributed Storage. - Rico Zenklusen:
Matroidal Degree-Bounded Minimum Spanning Trees. - Dimitar Baronov, John Baillieul:
Decision Making for Rapid Information Acquisition in the Reconnaissance of Random Fields. - Luca Pinello:
Multi Layer Analysis. - Aram Galstyan, Ardeshir Kianercy, Armen E. Allahverdyan:
Replicator Dynamics of Co-Evolving Networks. - Ali Eslami, Hossein Pishro-Nik:
A Practical Approach to Polar Codes. - Cristina G. Fernandes, Robin Thomas:
Edge-coloring series-parallel multigraphs. - Weirong Jiang, Hoang Le, Viktor K. Prasanna:
Bidirectional Pipelining for Scalable IP Lookup and Packet Classification. - Morteza Ibrahimi, Yashodhan Kanoria, Matt Kraning, Andrea Montanari:
The Set of Solutions of Random XORSAT Formulae. - Tauseef Gulrez, Alessandro Tognetti, Alon Fishbach, Santiago Acosta, Christopher Scharver, Danilo De Rossi, Ferdinando A. Mussa-Ivaldi:
Controlling wheelchairs by body motions: A learning framework for the adaptive remapping of space. - Md. Headayetullah, G. K. Pradhan, Sanjay Biswas, Bhagabat Puthal:
Proposed Information Sharing Security Approach for Security Personnels, Vertical Integration, Semantic Interoperability Architecture and Framework for Digital Government. - Suzhi Bi, Ying Jun Zhang:
TDMA Achieves the Optimal Diversity Gain in Relay-Assisted Cellular Networks. - António Porto:
A structured alternative to Prolog with simple compositional semantics. - Sébastien Gambs, Rachid Guerraoui, Hamza Harkous, Florian Huc, Anne-Marie Kermarrec:
Scalable and Secure Aggregation in Distributed Networks. - Edmund K. Burke, Timothy Curtois, Matthew R. Hyde, Gabriela Ochoa, José Antonio Vázquez Rodríguez:
HyFlex: A Benchmark Framework for Cross-domain Heuristic Search. - Brad W. Zarikoff, Douglas J. Leith:
Measuring Pulsed Interference in 802.11 Links. - Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez:
Selecting Attributes for Sport Forecasting using Formal Concept Analysis. - Daniel Dadush, Santosh S. Vempala:
Deterministic Construction of an Approximate M-Ellipsoid and its Application to Derandomizing Lattice Algorithms. - Petr N. Vabishchevich, Maria V. Vasileva:
Iterative methods for solving the pressure problem at multiphase filtration. - Lotfi Salhi, Kaïs Ouni:
Application of Gammachirp Auditory Filter as a Continuous Wavelet Analysis. - Peter Sunehag, Marcus Hutter:
Axioms for Rational Reinforcement Learning. - Elisa Gorla, Felice Manganiello, Joachim Rosenthal:
An Algebraic Approach for Decoding Spread Codes. - Tor Lattimore, Marcus Hutter:
Time Consistent Discounting. - Tor Lattimore, Marcus Hutter, Vaibhav Gavane:
Universal Prediction of Selected Bits. - Tor Lattimore, Marcus Hutter:
Asymptotically Optimal Agents. - Jaydip Sen:
An Anonymous Authentication and Communication Protocol for Wireless Mesh Networks. - Jiangyuan Li, Athina P. Petropulu:
Closed Form Secrecy Capacity of MIMO Wiretap Channels with Two Transmit Antennas. - Liuling Gong, ChunYuen Teng, Avishay Livne, Celso Brunetti, Lada A. Adamic:
Coevolution of Network Structure and Content. - Dimitris Achlioptas, Michael Molloy:
The solution space geometry of random linear equations. - Flávio Cruz, Ricardo Rocha:
Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs. - Mahyar Salek, Shahin Shayandeh, David Kempe:
You Share, I Share: Network Effects and Economic Incentives in P2P File-Sharing Systems. - Aslan Askarov, Andrew C. Myers:
Attacker Control and Impact for Confidentiality and Integrity. - Ian R. Petersen:
Singular Perturbation Approximations for a Class of Linear Quantum Systems. - Ian R. Petersen:
Low Frequency Approximation for a class of Linear Quantum Systems using Cascade Cavity Realization. - Hua Ouyang, Ian R. Petersen, Valery A. Ugrinovskii:
Lagrange Stabilization of Pendulum-like Systems: A Pseudo H-infinity Control Approach. - Brian M. Kurkoski, Hideki Yagi:
Quantization of Binary-Input Discrete Memoryless Channels, with Applications to LDPC Decoding. - Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
Quantized Feedback Control Software Synthesis from System Level Formal Specifications. - Quan Yu, Kenneth W. Shum, Chi Wan Sung:
Minimization of Storage Cost in Distributed Storage Systems with Repair Consideration. - Georg Groh, Michele Brocco, Andreas Kleemann:
Interest-Based vs. Social Person-Recommenders in Social Networking Platforms. - Moran Feldman, Ronny Lempel, Oren Somekh, Kolman Vornovitsky:
On the Impact of Random Index-Partitioning on Index Compression. - Max Ostrowski, Torsten Schaub, Markus Durzinsky, Wolfgang Marwan, Annegret K. Wagler:
Automatic Network Reconstruction using ASP. - Tuvi Etzion:
Perfect Codes for Uniform Chains Poset Metrics. - Ioana Cristescu, Daniel Hirschkoff:
Termination in a Pi-calculus with Subtyping. 44 - Galen Reeves, Michael Gastpar:
On the Role of Diversity in Sparsity Estimation. - Martin Gebser, Roland Kaminski, Torsten Schaub:
Complex Optimization in Answer Set Programming. - Siddhartha Jonnalagadda, Philip Topham:
NEMO: Extraction and normalization of organization names from PubMed affiliation strings. - Siddhartha Jonnalagadda, Graciela Gonzalez:
BioSimplify: an open source sentence simplification engine to improve recall in automatic biomedical information extraction. - (Withdrawn) An Effective Approach to Biomedical Information Extraction with Limited Training Data.
- Pedro A. Ortega, Daniel A. Braun:
Information, Utility & Bounded Rationality. - Kolar Purushothama Naveen, Anurag Kumar:
Optimal Relay Selection with Channel Probing in Wireless Sensor Networks. - Matilde Marcolli, Christopher Perez:
Codes as fractals and noncommutative spaces. - Mohammad Rostami, Oleg V. Michailovich, Zhou Wang:
Image Deblurring Using Derivative Compressed Sensing for Optical Imaging Application. - Milad Sefidgaran, Aslan Tchamkerten:
Computing a Function of Correlated Sources. - Mohammad Reza Mousavi, António Ravara:
Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011, Aachen, Germany, 10th September, 2011. EPTCS 58, 2011 [contents] - (Withdrawn) Confidence-Based Dynamic Classifier Combination For Mean-Shift Tracking.
- Srinivasan Venkatramanan, Anurag Kumar:
Co-evolution of Content Popularity and Delivery in Mobile P2P Networks. - Alireza Abbasi, Liaquat Hossain, Shahadat Uddin, Kim J. R. Rasmussen:
Evolutionary Dynamics of Scientific Collaboration Networks: Multi-Levels and Cross-time Analysis. - Olivier Finkel:
Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular omega-Language. - Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos:
An Algebraic Specification of the Semantic Web. - Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek:
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation. - José Hernández-Orallo, Peter A. Flach, Cèsar Ferri Ramirez:
Technical Note: Towards ROC Curves in Cost Space. - Dave A. May, Matthew G. Knepley:
Optimal, scalable forward models for computing gravity anomalies. - Indraneel Dabhade:
Multivalued Subsets under Information Theory. - Gianmaria De Tommasi, Roberto Ambrosino, Giuseppe Carannante, Carlo Cosentino, Alfredo Pironti, Francesco Amato:
Input-Output Finite-Time Stability. - Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amram, Carsten Fuhs, Jürgen Giesl:
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers. - Kostas N. Oikonomou:
Explicit Bounds for Entropy Concentration under Linear Constraints. - Alain Cournier, Swan Dubois, Anissa Lamani, Franck Petit, Vincent Villain:
Snap-Stabilizing Message Forwarding Algorithm on Tree Topologies. - Jiantao Jiao, Lin Zhang, Robert D. Nowak:
Minimax-Optimal Bounds for Detectors Based on Estimated Prior Probabilities. - Daryush D. Mehta, Daniel Rudoy, Patrick J. Wolfe:
KARMA: Kalman-based autoregressive moving average modeling and inference for formant and antiformant tracking. - Andrzej K. Brodzik, Robert H. Enders:
A case of combination of evidence in the Dempster-Shafer theory inconsistent with evaluation of probabilities. - Xiongping Dai:
A Gel'fand-type spectral radius formula and stability of linear constrained switching systems. - Gábor Ivanyos, François Le Gall, Yuichi Yoshida:
On the distance between non-isomorphic groups. - Maria Soledad Aronna, J. Frédéric Bonnans, Andrei V. Dmitruk, Pablo A. Lotito:
Conditions quadratiques pour des extrémales bang-singulières. - Florent Foucaud, Sylvain Gravier, Reza Naserasr, Aline Parreau, Petru Valicov:
Identifying codes in line graphs. - Adam Brandenburger, Pierfrancesco La Mura:
Quantum Decision Theory. - Alexander V. Gnedin:
The Monty Hall Problem in the Game Theory Class. - József Solymosi, Milos Stojakovic:
Many collinear k-tuples with no k+1 collinear points. - Steven Pollack, Daniel Badali, Jonathan Pollack:
An algorithm for autonomously plotting solution sets in the presence of turning points. - Kye M. Taylor, François G. Meyer:
A random walk on image patches. - Linyuan Lu, Duanbing Chen, Tao Zhou:
Small world yields the most effective information spreading. - Dan Braha, Blake C. Stacey, Yaneer Bar-Yam:
Corporate competition: A self-organized network. - (Withdrawn) Modelling and Control of Blowing-Venting Operations in Manned Submarines.
- Josh Cadney, Noah Linden, Andreas J. Winter:
Infinitely many constrained inequalities for the von Neumann entropy. - Natalia B. Janson, Christopher J. Marsden:
"Memory foam" approach to unsupervised learning. - Raoul Blankertz:
Decomposition of Polynomials. - Alexander V. Gnedin:
The Unlucky Door. - Alex J. Bladon, Tobias Galla:
Learning to play public good games. - Gabriel Terejanu, Todd Oliver, Chris Simmons:
Application of Predictive Model Selection to Coupled Models. - Hong Qiu, Jiongmin Yong:
Hamilton-Jacobi Equations and Two-Person Zero-Sum Differential Games with Unbounded Controls. - Luca Giuzzi, Valentina Pepe:
Families of twisted tensor product codes. - Andrea Lancichinetti, Santo Fortunato:
Limits of modularity maximization in community detection. - Ronny Luss, Marc Teboulle:
Conditional Gradient Algorithms for Rank-One Matrix Approximations with a Sparsity Constraint. - Sean Brocklebank, Scott D. Pauls, Daniel N. Rockmore, Timothy C. Bates:
Characteristic Characteristics. - M. Asim Mubeen, Kevin H. Knuth:
Evidence-Based Filters for Signal Detection: Application to Evoked Brain Responses. - Xianhua Jiang, Lipeng Ning, Tryphon T. Georgiou:
Distances and Riemannian metrics for multivariate spectral densities. - Shen Chen Xu, Mark M. Wilde:
Sequential, successive, and simultaneous decoders for entanglement-assisted classical communication. - Krishnamurthy Dvijotham, Scott Backhaus, Misha Chertkov:
Operations-Based Planning for Placement and Sizing of Energy Storage in a Grid With a High Penetration of Renewables. - Marcel Wild:
Coupons collecting with or without replacement, and with multipurpose coupons. - Gabriel Terejanu, Rochan R. Upadhyay, Kenji Miki:
Bayesian experimental design for the active nitridation of graphite by atomic nitrogen. - Baosen Zhang, David Tse:
Geometry of Feasible Injection Region of Power Networks. - Yaron Azrieli, Eran Shmaya:
Lipschitz Games. - Patrick Eschenfeldt, Ben Gross, Nicholas Pippenger:
The M/M/Infinity Service System with Ranked Servers in Heavy Traffic. - Gabriel Terejanu, Yang Cheng, Tarunraj Singh, Peter D. Scott:
Comparison of SCIPUFF Plume Prediction with Particle Filter Assimilated Prediction for Dipole Pride 26 Data. - Mohamed Amin Ben Sassi, Antoine Girard:
Controller Synthesis for Robust Invariance of Polynomial Dynamical Systems using Linear Programming. - Dionisis Stefanatos, Shin Li Jr.:
Minimum-Time Quantum Transport with Bounded Trap Velocity. - Aiyou Chen, Jin Cao, Larry Shepp, Tuan Nguyen:
Distinct counting with a self-learning bitmap. - Animashree Anandkumar, Vincent Y. F. Tan, Furong Huang, Alan S. Willsky:
High-Dimensional Structure Estimation in Ising Models: Tractable Graph Families. - Alekh Agarwal, Dean P. Foster, Daniel J. Hsu, Sham M. Kakade, Alexander Rakhlin:
Stochastic convex optimization with bandit feedback. - Javier Borge-Holthoefer, Alejandro Rivero, Íñigo García, Elisa Cauhé, Alfredo Ferrer, Darío Ferrer, David Francos, David Iñiguez, María Pilar Pérez, Gonzalo Ruiz, Francisco Sanz, Fermín Serrano, Cristina Viñas, Alfonso Tarancón, Yamir Moreno:
Structural and Dynamical Patterns on Online Social Networks: the Spanish May 15th Movement as a case study. - Yilin Mo, Emanuele Garone, Alessandro Casavola, Bruno Sinopoli:
Stochastic Sensor Scheduling for Energy Constrained Estimation in Multi-Hop Wireless Sensor Networks. - Maksims Volkovs, Hugo Larochelle, Richard S. Zemel:
Loss-sensitive Training of Probabilistic Conditional Random Fields. - Ian Norris, Nándor Sieben:
Biased Weak Polyform Achievement Games. - Traian A. Pirvu, Huayue Zhang:
On Investment-Consumption with Regime-Switching. - Cheng-Jun Zhang, An Zeng:
Behavior patterns of online users and the effect on information filtering. - Guimei Zhu, Huijie Yang, Rui Yang, Jie Ren, Baowen Li, Ying-Cheng Lai:
Uncovering Evolutionary Ages of Nodes in Complex Networks. - David A. Meyer, James Pommersheim:
Multi-query quantum sums. - Atanas Marinov Atanassov:
Median Algorithm for Sector Spectra Calculation from Images Registered by the Spectral Airglow Temperature Imager. - Tobias Kretz, Andree Große, Stefan Hengst, Lukas Kautzsch, Andrej Pohlmann, Peter Vortisch:
Quickest Paths in Simulations of Pedestrians. - A. J. van der Schaft, Bernhard Maschke:
Discrete conservation laws and port-Hamiltonian systems on graphs and complexes. - Tengyu Ma, Xiaoming Sun, Huacheng Yu:
On a Conjecture of Butler and Graham. - Christopher J. Ellison, John R. Mahoney, Ryan G. James, James P. Crutchfield, Joerg Reichardt:
Information Symmetries in Irreversible Processes. - Nicolas Broutin, Ralph Neininger, Henning Sulzbach:
Partial match queries in random quadtrees. - Jean-François Biasse, Guillaume Quintin:
An algorithm for list decoding number field codes. - Gautam V. Pendse:
BSVM: A Banded Suport Vector Machine. - David R. Bickel:
Blending Bayesian and frequentist. - Smarajit Das, Naresh Sharma, Siddharth Muthukrishnan:
On some special cases of the Entropy Photon-Number Inequality. - Benjamin A. Burton, Melih Ozlen:
Computing the crosscap number of a knot using integer programming and normal surfaces. - Brian L. Mark, Yariv Ephraim:
An EM Algorithm for Continuous-time Bivariate Markov Chains. - Timothy N. Rubin, America Chambers, Padhraic Smyth, Mark Steyvers:
Statistical Topic Models for Multi-Label Document Classification. - Faryad Darabi Sahneh, Caterina M. Scoglio:
Epidemic Spread in Human Networks. - Francesca P. Carli, Augusto Ferrante, Michele Pavon, Giorgio Picci:
An Efficient Algorithm for Maximum-Entropy Extension of Block-Circulant Covariance Matrices. - Ning Ning Chung, Lock Yue Chew, Choy Heng Lai:
Network Extreme Eigenvalue - from Multimodal to Scale-free Network. - Anil Aswani, Humberto González, S. Shankar Sastry, Claire J. Tomlin:
Provably Safe and Robust Learning-Based Model Predictive Control. - Pascal Bianchi, Jérémie Jakubowicz:
On the Convergence of a Multi-Agent Projected Stochastic Gradient Algorithm. - Anna Chmiel, Julian Sienkiewicz, Mike Thelwall, Georgios Paltoglou, Kevan Buckley, Arvid Kappas, Janusz A. Holyst:
Collective emotions online and their influence on community life. - Majid Zamani, Rupak Majumdar:
Coordinate-invariant incremental Lyapunov functions. - Paolo D'Alberto, Ali Dasdan:
On the Weakenesses of Correlation. - Mauricio A. Álvarez, David Luengo, Neil D. Lawrence:
Linear Latent Force Models using Gaussian Processes. - Frédéric Vogt, Alexander Y. Wagner:
Stereo pairs in Astrophysics. - Y. Wang, An Zeng, Zengru Di, Ying Fan:
Enhancing synchronization in growing networks. - Chris Aholt, Bernd Sturmfels, Rekha R. Thomas:
A Hilbert Scheme in Computer Vision. - Mariano Beguerisse-Díaz, Baojun Wang, Radhika Desikan, Mauricio Barahona:
A global Monte-Carlo method for fitting parameters of differential equation models. - Francisco Gutiérrez, Camilo Argoty, Stefany Moreno:
A generalization of a classical model in contract theory: The agent behavior. - John Edward Gough, Matthew R. James, Hendra I. Nurdin:
Quantum Master Equation and Filter for Systems Driven by Fields in a Single Photon State. - John Edward Gough, Matthew R. James, Hendra I. Nurdin:
Quantum Filtering for Systems Driven by Fields in Single Photon States and Superposition of Coherent States using Non-Markovian Embeddings. - John Edward Gough, Matthew R. James, Hendra I. Nurdin, Joshua Combes:
Quantum Filtering (Quantum Trajectories) for Systems Driven by Fields in Single Photon States and Superposition of Coherent States. - Emma Yu Jin, Markus E. Nebel:
The Expected Order of Saturated RNA Secondary Structures. - Luca Piancastelli, Leonardo Frizziero, Simone Marcoppido, Eugenio Pezzuti:
Applying whole system design in a sportscar factory. - JooSeuk Kim, Clayton D. Scott:
Robust Kernel Density Estimation. - Wei Li, Xiao-Shan Gao:
Differential Chow Form for Projective Differential Variety. - Huimin Zheng, HaiXing Hu, Nan Wu, Fangmin Song:
On Measurement and Computation. - Piermarco Cannarsa, Jacques Tort, Masahiro Yamamoto:
Unique continuation and approximate controllability for a degenerate parabolic equation. - Pawel Sobkowicz, Antoni Sobkowicz:
Hate networks revisited: time and user interface dependence study of user emotions in political forum. - Maarti nLukac, Marek A. Perkowski, Michitaka Kameyama:
Evolutionary Quantum Logic Synthesis of Boolean Reversible Logic Circuits Embedded in Ternary Quantum Space using Heuristics. - Nicolas Gast:
Computing hitting times via fluid approximation: application to the coupon collector problem. - Ana Romero, Julio Rubio:
Computing the homology of groups: the geometric way. - Robert Corrie, Yoshiki Ninomiya, Jonathan Aitchison:
Applying Advanced Spaceborne Thermal Emission and Reflection Radiometer (ASTER) spectral indices for geological mapping and mineral identification on the Tibetan Plateau. - Oliver Kramer:
Unsupervised K-Nearest Neighbor Regression. - Olga Kharlampovich, Bakhadyr Khoussainov, Alexei Miasnikov:
From automatic structures to automatic groups. - Róbert Sumi, Taha Yasseri, András Rung, András Kornai, János Kertész:
Edit wars in Wikipedia. - Alexander M. Petersen, Joel N. Tenenbaum, Shlomo Havlin, Harry Eugene Stanley:
Statistical Laws Governing Fluctuations in Word Use from Word Birth to Word Death. - Kohtaro Tadaki:
A Computational Complexity-Theoretic Elaboration of Weak Truth-Table Reducibility. - C. Seshadhri, Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong, Joseph R. Ruthruff:
Influence and Dynamic Behavior in Random Boolean Networks. - Michele Tumminello, Fabrizio Lillo, Jyrki Piilo, Rosario N. Mantegna:
Identification of clusters of investors from their real trading activity in a financial market. - Eveline Rosseel, Garth N. Wells:
Optimal control with stochastic PDE constraints and uncertain controls. - Paolo Frasca:
Convergence results in continuous-time quantized consensus. - Przemyslaw A. Grabowicz, José J. Ramasco, Esteban Moro, Josep M. Pujol, Víctor M. Eguíluz:
Social features of online networks: the strength of weak ties in online social media. - Cem Tekin, Mingyan Liu:
Adaptive Learning of Uncontrolled Restless Bandits with Logarithmic Regret. - Divyanshu Vats, José M. F. Moura:
Finding Non-overlapping Clusters for Generalized Inference Over Graphical Models. - Jiapu Zhang, David Yang Gao, John Yearwood:
A novel canonical dual computational approach for prion AGAAAAGA amyloid fibril molecular modeling. - Patrick Eschenfeldt, Ben Gross, Nicholas Pippenger:
Stochastic Service Systems, Random Interval Graphs and Search Algorithms. - Kody J. H. Law, Andrew M. Stuart:
Evaluating Data Assimilation Algorithms. - F. L. Metz, I. Neri, Désiré Bollé:
Spectra of sparse regular graphs with loops. - Jone Apraiz, Luis Escauriaza:
Null-Control and Measurable Sets. - Vivek S. Borkar, Rajesh Sundaresan:
Asymptotics of the Invariant Measure in Mean Field Models with Jumps.