default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, June 2011
- Mohit Thakur, Nadia Fawaz, Muriel Médard:
On the geometry of wireless network multicast in 2-D. - Thomas A. Courtade, Richard D. Wesel:
Multiterminal Source Coding with an Entropy-Based Distortion Measure. - Matthew Steen, Satoru Hayasaka, Karen E. Joyce, Paul J. Laurienti:
Assessing the consistency of community structure in complex networks. - Jiadong Wang, Lara Dolecek, Zhengya Zhang, Richard D. Wesel:
Absorbing Set Spectrum Approach for Practical Code Design. - Zhenliang Zhang, Ali Pezeshki, William Moran, Stephen D. Howard, Edwin K. P. Chong:
Error Probability Bounds for Binary Relay Trees with Crummy Sensors. - Aravind R. Iyengar, Paul H. Siegel, Jack K. Wolf:
Modeling and Information Rates for Synchronization Error Channels. - Aravind R. Iyengar, Paul H. Siegel, Rüdiger L. Urbanke, Jack K. Wolf:
Windowed Decoding of Spatially Coupled Codes. - Kazushi Mimura:
Generating Functional Analysis of Iterative Algorithms for Compressed Sensing. - John Jomy, K. V. Pramod, Kannan Balakrishnan:
Handwritten Character Recognition of South Indian Scripts: A Review. - Shenghui Su, Shuwang Lü, Xinbin Fan:
Asymptotic Granularity Reduction and Its Application. - Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil, Koichi Wada:
The BG-simulation for Byzantine Mobile Robots. - Peyman Razaghi, Giuseppe Caire:
A Nonlinear Approach to Interference Alignment. - Juan Julián Merelo Guervós, Maribel García Arenas, Juan Luis Jiménez Laredo, Francisco Fernández de Vega:
1st International Workshop on Distributed Evolutionary Computation in Informal Environments. - Marcel Wild:
Counting or producing all fixed cardinality transversals. - Mofreh R. Zaghloul, Ahmed N. Ali:
Algorithm xxx: computing the Faddeyeva and Voigt functions. - Mikolaj Szydlarski
, Pierre Estérie, Joel Falcou, Laura Grigori, Radek Stompor:
Spherical harmonic transform on heterogeneous architectures using hybrid programming. - Gilberto de Paiva:
Proposal of Pattern Recognition as a necessary and sufficient Principle to Cognitive Science. - Xiaojun Yuan, Li Ping, Aleksandar Kavcic:
Achievable Rates of MIMO Systems with Linear Precoding and Iterative LMMSE Detection. - A. E. Eiben, N. Ferreira, Martijn C. Schut, Serge Kernbach:
Evolution of Things. - Alexander Gamkrelidze:
Algorithms for Low-Dimensional Topology. - Philipp Schaer:
Using Lotkaian Informetrics for Ranking in Digital Libraries. - Elazar Birnbaum, Eliezer L. Lozinskii:
The Good Old Davis-Putnam Procedure Helps Counting Models. - Carla E. Brodley, Mark A. Friedl:
Identifying Mislabeled Training Data. - Shlomo Argamon-Engelson, Ido Dagan:
Committee-Based Sample Selection for Probabilistic Classifiers. - John J. Grefenstette, David E. Moriarty, Alan C. Schultz:
Evolutionary Algorithms for Reinforcement Learning. - Wolfram Burgard, Dieter Fox, Sebastian Thrun:
Markov Localization for Mobile Robots in Dynamic Environments. - Hans Akkermans, Fredrik Ygge:
Decentralized Markets versus Central Control: A Comparative Study. - Riccardo Rosati:
Reasoning about Minimal Belief and Negation as Failure. - Reuven Bar-Yehuda, Ann Becker, Dan Geiger:
Randomized Algorithms for the Loop Cutset Problem. - Rune Møller Jensen, Manuela M. Veloso:
OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains. - Subbarao Kambhampati:
Planning Graph as a (Dynamic) CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan. - Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf:
Space Efficiency of Propositional Knowledge Representation Formalisms. - Milos Hauskrecht:
Value-Function Approximations for Partially Observable Markov Decision Processes. - Gal A. Kaminka, Milind Tambe:
Robust Agent Teams via Socially-Attentive Monitoring. - Radford M. Neal:
On Deducing Conditional Independence from d-Separation in Causal Graphs with Feedback (Research Note). - Alexander Borgida, Ralf Küsters:
What's in an Attribute? Consequences for the Least Common Subsumer. - Stephan Tobies:
The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics. - Ian P. Gent, Josh Singer, Alan Smaill:
Backbone Fragility and the Local Search Cost Peak. - Marilyn A. Walker:
An Application of Reinforcement Learning to Dialogue Strategy Selection in a Spoken Dialogue System for Email. - Judy Goldsmith, Christopher Lusena, Martin Mundhenk:
Nonapproximability Results for Partially Observable Markov Decision Processes. - Jana Koehler, Jörg Hoffmann:
On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm. - Diana F. Gordon:
Asimovian Adaptive Agents. - Jonathan Baxter:
A Model of Inductive Bias Learning. - Chiru Bhattacharyya, S. Sathiya Keerthi:
Mean Field Methods for a Special Class of Belief Networks. - Bernhard Nebel:
On the Compilability and Expressive Power of Propositional Planning Formalisms. - Chumki Basu, William W. Cohen, Haym Hirsh, Craig G. Nevill-Manning:
Technical Paper Recommendation: A Study in Combining Multiple Information Sources. - Craig Boutilier, Ronen I. Brafman:
Partial-Order Planning with Concurrent Interacting Actions. - José Luis Ambite, Craig A. Knoblock:
Planning by Rewriting. - Nevin Lianwen Zhang, Weihong Zhang:
Speeding Up the Convergence of Value Iteration in Partially Observable Markov Decision Processes. - Alessandro Cimatti, Marco Roveri:
Conformant Planning via Symbolic Model Checking. - Jian Cheng, Marek J. Druzdzel:
AIS-BN: An Adaptive Importance Sampling Algorithm for Evidential Reasoning in Large Bayesian Networks. - Xinguang Chen, Peter van Beek:
Conflict-Directed Backjumping Revisited. - Jeffrey Mark Siskind:
Grounding the Lexical Semantics of Verbs in Visual Perception using Force Dynamics and Event Logic. - Richard Maclin, David W. Opitz:
Popular Ensemble Methods: An Empirical Study. - Ahmed A. Naguib, Khaled M. F. Elsayed, Mohammed Nafie:
Achievable Degrees of Freedom of the K-user Interference Channel with Partial Cooperation. - Eik Fun Khor, Tong Heng Lee, Ramasubramanian Sathikannan, Kay Chen Tan:
An Evolutionary Algorithm with Advanced Goal and Priority Specification for Multi-objective Optimization. - Ioannis Refanidis, Ioannis P. Vlahavas:
The GRT Planning System: Backward Heuristic Construction in Forward State-Space Planning. - Jesús Pardillo, Jose-Norberto Mazón:
Using Ontologies for the Design of Data Warehouses. - Andrew Adamatzy:
Slime mould computes planar shapes. - Giordano Pola, Maria Domenica Di Benedetto, Elena De Santis:
Arenas of Finite State Machines. - Rumi Ghosh, Tawan Surachawala, Kristina Lerman:
Entropy-based Classification of 'Retweeting' Activity on Twitter. - Mohamad Tarifi, Meera Sitharam, Jeffery Ho:
Learning Hierarchical Sparse Representations using Iterative Dictionary Learning and Dimension Reduction. - Wei Pan, Nadav Aharony, Alex Pentland:
Composite Social Network for Predicting Mobile Apps Installation. - Khanh Do Ba, Piotr Indyk, Eric Price, David P. Woodruff:
Lower Bounds for Sparse Recovery. - Ashraf A. Aly, Safaai Bin Deris, Nazar Zaki:
A Novel Image Segmentation Enhancement Technique based on Active Contour and Topological Alignments. - Amos Lapidoth, Yossef Steinberg:
A Note on Multiple-Access Channels with Strictly-Causal State Information. - Arno Bastenhof:
Focalization and phase models for classical extensions of non-associative Lambek calculus. - Alvaro Francisco Huertas-Rosero, C. J. van Rijsbergen:
Quantum-Like Uncertain Conditionals for Text Analysis. - Vincenzo Bonifaci, Kurt Mehlhorn, Girish Varma:
Physarum Can Compute Shortest Paths. - Venkatesan Guruswami:
Linear-algebraic list decoding of folded Reed-Solomon codes. - Wenji Wu, Phil DeMar, Matt Crawford:
Why Does Flow Director Cause Packet Reordering? - Wenji Wu, Matt Crawford, Phil DeMar:
A Transport-Friendly NIC for Multicore/Multiprocessor Systems. - Umut A. Acar, Guy E. Blelloch, Robert Harper:
Selective Memoization. - Luc Devroye, James King:
Random hyperplane search trees in high dimensions. - Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
From Boolean Functional Equations to Control Software. - Umut A. Acar, Matthias Blume, Jacob Donham:
A Consistent Semantics of Self-Adjusting Computation. - Xaq Pitkow, Yashar Ahmadian, Kenneth D. Miller:
Learning unbelievable marginal probabilities. - Ahmad Abu Al Haija, Mai Vu:
A Half-Duplex Cooperative Scheme with Partial Decode-Forward Relaying. - Serhat Nazim Avci, Xiaodan Hu, Ender Ayanoglu:
Recovery from Link Failures in Networks with Arbitrary Topology via Diversity Coding. - Mahdi Cheraghchi, Adam R. Klivans, Pravesh Kothari, Homin K. Lee:
Submodular Functions Are Noise Stable. - Yang Cai, Constantinos Daskalakis:
Extreme-Value Theorems for Optimal Multidimensional Pricing. - Seong-Ho (Paul) Hur, Bhaskar D. Rao:
Sum rate analysis of a reduced feedback OFDMA system employing joint scheduling and diversity. - Tianshi Chen, Yunji Chen, Ke Tang, Guoliang Chen, Xin Yao:
The Impact of Mutation Rate on the Computation Time of Evolutionary Dynamic Optimization. - Matteo Cristani:
The Complexity of Reasoning about Spatial Congruence. - Peter L. Bartlett, Jonathan Baxter:
Infinite-Horizon Policy-Gradient Estimation. - Peter L. Bartlett, Jonathan Baxter, Lex Weaver:
Experiments with Infinite-Horizon, Policy-Gradient Estimation. - Umberto Straccia:
Reasoning within Fuzzy Description Logics. - Tapio Elomaa, Matti Kääriäinen:
An Analysis of Reduced Error Pruning. - Matthew L. Ginsberg:
GIB: Imperfect Information in a Computationally Challenging Game. - Christian Bessiere, Romuald Debruyne:
Domain Filtering Consistencies. - Hung Hai Bui, Svetha Venkatesh, Geoff A. W. West:
Policy Recognition in the Abstract Hidden Markov Model. - Patricio Martínez-Barco, Manuel Palomar:
Computational Approach to Anaphora Resolution in Spanish Dialogues. - Jörg Hoffmann, Bernhard Nebel:
The FF Planning System: Fast Plan Generation Through Heuristic Search. - Michael J. Kearns, Diane J. Litman, Satinder Singh, Marilyn A. Walker:
Optimizing Dialogue Management with Reinforcement Learning: Experiments with the NJFun System. - Michael J. Kearns, Michael L. Littman, Satinder Singh, Peter Stone:
ATTac-2000: An Adaptive Autonomous Bidding Agent. - Bernhard Nebel, Jochen Renz:
Efficient Methods for Qualitative Spatial Reasoning. - Leslie Pack Kaelbling, Hagit Shatkay:
Learning Geometrically-Constrained Hidden Markov Models for Robot Navigation: Bridging the Topological-Geometrical Gap. - Craig Boutilier, Bob Price:
Accelerating Reinforcement Learning through Implicit Imitation. - Matt Groff:
Towards P = NP via k-SAT: A k-SAT Algorithm Using Linear Algebra on Finite Fields. - Dusko Pavlovic, Catherine Meadows:
Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions. - Hangen He, Dewen Hu, Xin Xu:
Efficient Reinforcement Learning Using Recursive Least-Squares Methods. - Arun Kumar, Christopher Ré:
Probabilistic Management of OCR Data using an RDBMS. - Liangbin Li, Hamid Jafarkhani:
Short-term Performance Limits of MIMO Systems with Side Information at the Transmitter. - Dongyue Xue, Eylem Ekici:
Cross-Layer Scheduling for Cooperative Multi-Hop Cognitive Radio Networks. - Lei Yang, Yalin Evren Sagduyu, Junshan Zhang, Jason Hongjun Li:
Distributed Stochastic Power Control in Ad-hoc Networks: A Nonconvex Case. - R. Michael Winters, Andrew Blaikie, Deva O'Neil:
Simulating the Electroweak Phase Transition: Sonification of Bubble Nucleation. - Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés:
Semantics for Possibilistic Disjunctive Programs. - Oliver Friedmann:
An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms. - Quan-Lin Li:
Super-Exponential Solution in Markovian Supermarket Models: Framework and Challenge. - Giovanna D'Agostino, Salvatore La Torre:
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011. EPTCS 54, 2011 [contents] - Oleg Kupervasser:
Recovering Epipolar Geometry from Images of Smooth Surfaces. - Yin Sun, Xiaofeng Zhong, Tsung-Hui Chang, Shidong Zhou, Jing Wang, Chong-Yung Chi:
Spectrum Sharing between Cooperative Relay and Ad-hoc Networks: Dynamic Spectrum Access, Resource Allocation and Real-time Implementation. - Taesoo Kwon, John M. Cioffi:
Random Deployment of Data Collectors for Serving Randomly-Located Sensors. - Sayed A. Hadei, Paeiz Azmi:
A Novel Adaptive Channel Equalization Method Using Variable Step-Size Partial Rank Algorithm. - Sayed A. Hadei, N. Sonbolestan:
A Fast Affine Projection Algorithm Based on Matching Pursuit in Adaptive Noise Cancellation for Speech Enhancement. - Sayed A. Hadei, Mojtaba Lotfizad:
A Family of Adaptive Filter Algorithms in Noise Cancellation for Speech Enhancement. - Wajeb Gharibi, Yong Xia:
A Dual Approach for Solving Nonlinear Infinite-Norm Minimization Problems with Applications in Separable Cases. - Wajeb Gharibi:
Studying and Classification of the Most Significant Malicious Software. - Eyal Ackerman, Tsachik Gelander, Rom Pinchasi:
Ice-Creams and Wedge Graphs. - Amani Tahat, Mofleh Tahat:
Python GUI Scripting Interface for Running Atomic Physics Applications. - Vineeth S. Varma, Mérouane Debbah, Samson Lasaulce, Salah-Eddine Elayoubi:
Impact of Mobility on MIMO Green Wireless Systems. - Brad Shutters, David Fernández-Baca:
A Simple Characterization of the Minimal Obstruction Sets for Three-State Perfect Phylogenies. - (Withdrawn) Performance Analysis of Sequential Method for HandOver in Cognitive Radio Networks.
- Iddo Naiss, Haim H. Permuter:
Computable Bounds for Rate Distortion with Feed-Forward for Stationary and Ergodic Sources. - Joel Reardon, Claudio Marforio, Srdjan Capkun, David A. Basin:
Secure Deletion on Log-structured File Systems. - Herodotos Herodotou:
Hadoop Performance Models. - Mohammad Hamed Firooz, Sumit Roy:
Link Delay Estimation via Expander Graphs. - Feng Yang, Yue M. Lu, Luciano Sbaiz, Martin Vetterli:
Gigapixel Binary Sensing: Image Acquisition Using Oversampled One-Bit Poisson Statistics. - Saeed Alaei:
Bayesian Combinatorial Auctions: Expanding Single Buyer Mechanisms to Many Buyers. - Kaushik Chattopadhyay, Joydeep Basu, Amit Konar:
An efficient circle detection scheme in digital images using ant system algorithm. - Arijit Ukil, Jaydip Sen, Debasish Bera:
Long-Term Proportional Fair QoS Profile Follower Sub-carrier Allocation Algorithm in Dynamic OFDMA Systems. - Junping Zhang, Ziyu Xie, Stan Z. Li:
Nearest Prime Simplicial Complex for Object Recognition. - Abdel Kader Zaiter, Philippe Wenger, Damien Chablat:
A study of the singularity locus in the joint space of planar parallel manipulators: special focus on cusps and nodes. - Ronit Bustin, Shlomo Shamai:
MMSE of "Bad" Codes. - Gregory Z. Gutin, Anders Yeo:
Hypercontractive Inequality for Pseudo-Boolean Functions of Bounded Fourier Width. - Bradly Alicea:
Naturally Supervised Learning in Manipulable Technologies. - Alejandro Chinea, Elka Korutcheva:
Complexity Analysis of Vario-eta through Structure. - Lane A. Hemaspaandra, Kyle Murray, Xiaoqing Tang:
Barbosa, Uniform Polynomial Time Bounds, and Promises. - Shakir Mohamed, Katherine A. Heller, Zoubin Ghahramani:
Bayesian and L1 Approaches to Sparse Unsupervised Learning. - Angelos A. Anastassi:
Constructing Runge-Kutta Methods with the Use of Artificial Neural Networks. - Bowon Lee, Camille Goudeseune, Mark Hasegawa-Johnson:
Open-loop multi-channel inversion of room impulse response. - (Withdrawn) Stability Analysis of Linear Time-Invariant Distributed-Order Systems.
- (Withdrawn) Stability of fractional-order linear time-invariant system with noncommensurate orders.
- Shai Shalev-Shwartz, Ohad Shamir, Eran Tromer:
Using More Data to Speed-up Training Time. - (Withdrawn) Impulse response of a generalized fractional second order filter.
- (Withdrawn) Robust stability for fractional-order systems with structured and unstructured uncertainties.
- (Withdrawn) Sufficient and Necessary Condition of Admissibility for Fractional-order Singular System.
- Yoad Lustig, Moshe Y. Vardi:
Synthesis from Recursive-Components Libraries. 1-16 - Christian Appold:
Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations. 17-30 - Stefan Haar, Christian Kern, Stefan Schwoon:
Computing the Reveals Relation in Occurrence Nets. 31-44 - Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Automated Analysis of MUTEX Algorithms with FASE. 45-59 - Krishnendu Chatterjee, Nathanaël Fijalkow:
A reduction from parity games to simple stochastic games. 74-86 - Bastien Maubert, Sophie Pinchinat, Laura Bozzelli:
Opacity Issues in Games with Imperfect Information. 87-101 - Makoto Tatsuta, Ferruccio Damiani:
Type Inference for Bimorphic Recursion. 102-115 - Zhilin Wu:
A Decidable Extension of Data Automata. 116-130 - Sten Grüner, Frank G. Radmacher, Wolfgang Thomas:
Connectivity Games over Dynamic Networks. 131-145 - Martin Zimmermann:
Optimal Bounds in Parametric LTL Games. 146-161 - Laura Bozzelli:
New results on pushdown module checking with imperfect information. 162-177 - Rüdiger Ehlers, Bernd Finkbeiner:
Reactive Safety. 178-191 - Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco:
An Optimal Decision Procedure for MPNL over the Integers. 192-206 - Markus Latte:
Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages. 207-221 - Giacomo Lenzi:
On P-transitive graphs and applications. 222-236 - Davide Bresolin, Marta Capiluppi:
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems. 237-249 - Olga Tveretina, Daniel Funke:
Deciding Reachability for 3-Dimensional Multi-Linear Systems. 250-262 - Massimo Benerecetti, Marco Faella, Stefano Minopoli:
Towards Efficient Exact Synthesis for Linear Hybrid Systems. 263-277 - Viveck R. Cadambe, Cheng Huang, Syed Ali Jafar, Jin Li:
Optimal Repair of MDS Codes in Distributed Storage via Subspace Interference Alignment. - Dah Ming Chiu, Wai Yin Ng:
Exploring Network Economics. - S. Rajeswari, Y. Venkataramani:
Traffic Performance Analysis of Manet Routing Protocol. - S. A. Arunmozhi, Y. Venkataramani:
DDoS Attack and Defense Scheme in Wireless Ad hoc Networks. - Phuong-Lan Nguyen, Bart Demoen:
Representation Sharing for Prolog. - Ivo Hedtke:
Methods of Matrix Multiplication: An Overview of Several Methods and their Implementation. - Chao Shen, Kun-Yu Wang, Tsung-Hui Chang, Zhengding Qiu, Chong-Yung Chi:
Worst-Case SINR Constrained Robust Coordinated Beamforming for Multicell Wireless Systems. - Javier Esparza, Andreas Gaiser:
Probabilistic Abstractions with Arbitrary Domains. - Jingchao Chen:
Exploiting Dynamically Propositional Logic Structures in SAT. - Jingchao Chen:
Phase Selection Heuristics for Satisfiability Solvers. - Dan Feldman, Michael Langberg:
A Unified Framework for Approximating and Clustering Data. - Mardavij Roozbehani, Munther A. Dahleh, Sanjoy K. Mitter:
Volatility of Power Grids under Real-Time Pricing. - David G. M. Mitchell, Ali Emre Pusane, Michael Lentmaier, Daniel J. Costello Jr.:
Exact Free Distance and Trapping Set Growth Rates for LDPC Convolutional Codes. - Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák:
Fixed-delay Events in Generalized Semi-Markov Processes Revisited. - Emmanuel J. Candès, Benjamin Recht:
Simple Bounds for Low-complexity Model Reconstruction. - M. Andrea Rodríguez, Leopoldo E. Bertossi, Mónica Caniupán Marileo:
Consistent Query Answering under Spatial Semantic Constraints. - Mathieu Loiseau, Anthippi Potolia, Katerina Zourou:
Communautés Web 2.0 d'apprenants de langue avec parcours d'apprentissage : rôles, pédagogie et rapports au contenu. - Alex Shkotin, Vladimir Ryakhovsky, Dmitry Kudryavtsev:
Towards OWL-based Knowledge Representation in Petrology. - Francesco De Pellegrini, Karina Mabell Gomez, Daniele Miorandi, Imrich Chlamtac:
Distributed Wake-Up Scheduling for Energy Saving in Wireless Networks. - (Withdrawn) A Linear-Time Approximation of the Earth Mover's Distance.
- Daniel Hienert, Philipp Schaer, Johann Schaible, Philipp Mayr:
A Novel Combined Term Suggestion Service for Domain-Specific Digital Libraries. - Johan Nyström-Persson, Shinichi Honiden:
Poplar: A Java Extension for Evolvable Component Integration. - Ismaail ElSawy, Hossam Hosny, Mohammed Abdel Razek:
A Neural Network Model for Construction Projects Site Overhead Cost Estimating in Egypt. - Walayat Hussain, Osama Sohaib, Arif Ali:
Improving Web Page Readability by Plain Language. - Fabio R. J. Vieira, José Ferreira de Rezende, Valmir Carneiro Barbosa, Serge Fdida:
Scheduling links for heavy traffic on interfering routes in wireless mesh networks. - Omur Ozel, Kaya Tutuncuoglu, Jing Yang, Sennur Ulukus, Aylin Yener:
Transmission with Energy Harvesting Nodes in Fading Wireless Channels: Optimal Policies. - Shai Shalev-Shwartz, Alon Gonen, Ohad Shamir:
Large-Scale Convex Minimization with a Low-Rank Constraint. - Dimitris S. Papailiopoulos, Alexandros G. Dimakis, Viveck R. Cadambe:
Repair Optimal Erasure Codes through Hadamard Designs. - Greg Ver Steeg, Aram Galstyan:
A Sequence of Relaxations Constraining Hidden Variable Models. - Megasthenis Asteris, Dimitris S. Papailiopoulos, George N. Karystinos:
Sparse Principal Component of a Rank-deficient Matrix. - Dimitris S. Papailiopoulos, Alexandros G. Dimakis:
Distributed Storage Codes through Hadamard Designs. - Mehmet Umut Sen, Hakan Erdogan:
Max-Margin Stacking and Sparse Regularization for Linear Classifier Combination and Selection. - Xiaomeng Liu, Hai Lin, Ben M. Chen:
Structural Controllability of Switched Linear Systems. - Yoshiharu Maeno:
Predicting growth fluctuation in network economy. - Mitsugu Iwamoto, Kazuo Ohta:
Security Notions for Information Theoretically Secure Encryptions. - Jan Oksanen, Jarmo Lundén, Visa Koivunen:
Reinforcement learning based sensing policy optimization for energy efficient cognitive radio networks. - John C. Baez, Tobias Fritz, Tom Leinster:
A Characterization of Entropy in Terms of Information Loss. - Chris Drummond:
Accelerating Reinforcement Learning by Composing Solutions of Automatically Identified Subtasks. - Yoshitaka Kameya, Taisuke Sato:
Parameter Learning of Logic Programs for Symbolic-Statistical Modeling. - Christopher Meek:
Finding a Path is Harder than Finding a Tree. - Jean-François Baget, Marie-Laure Mugnier:
Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints. - Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter:
Fusions of Description Logics and Abstract Description Systems. - Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele:
Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs. - Eric Dahlman, Adele E. Howe:
A Critical Assessment of Benchmark Comparison in Planning. - Hosam Abdo, Darko Dimitrov, Ivan Gutman:
On the Zagreb Indices Equality. - Arnab Bhattacharya, B. Palvali Teja, Sourav Dutta:
Caching Stars in the Sky: A Semantic Caching Approach to Accelerate Skyline Queries. - Kevin W. Bowyer, Nitesh V. Chawla, Lawrence O. Hall, W. Philip Kegelmeyer:
SMOTE: Synthetic Minority Over-sampling Technique. - Hei Chan, Adnan Darwiche:
When do Numbers Really Matter? - Gal A. Kaminka, David V. Pynadath, Milind Tambe:
Monitoring Teams by Overhearing: A Multi-Agent Plan-Recognition Approach. - Allen L. Gorin, Irene Langkilde-Geary, Marilyn A. Walker, Jeremy H. Wright, Helen Wright Hastie:
Automatically Training a Problematic Dialogue Predictor for a Spoken Dialogue System. - Richard Nock:
Inducing Interpretable Voting Classifiers without Trading Accuracy for Simplicity: Theoretical Results, Approximation Algorithms. - Adnan Darwiche, Pierre Marquis:
A Knowledge Compilation Map. - Regina Barzilay, Noemie Elhadad:
Inferring Strategies for Sentence Ordering in Multidocument News Summarization. - Kagan Tumer, David H. Wolpert:
Collective Intelligence, Data Routing and Braess' Paradox. - Carlos Guestrin, Daphne Koller, Ronald Parr, Shobha Venkataraman:
Efficient Solution Algorithms for Factored MDPs. - James D. Currie, Narad Rampersad:
Fixed points avoiding Abelian $k$-powers. - Guanfeng Liang, Nitin H. Vaidya:
Multiparty Equality and Byzantine Broadcast using Random Linear Codes in Point-to-Point Networks. - Guanfeng Liang, Nitin H. Vaidya:
New Efficient Error-Free Multi-Valued Consensus with Byzantine Failures. - Frédéric Herbreteau, B. Srivathsan:
Coarse abstractions make Zeno behaviours difficult to detect. - Kristen Lovejoy, Richard Waters, Gregory D. Saxton:
Engaging Stakeholders through Twitter: How Nonprofit Organizations are Getting More Out of 140 Characters or Less. - Ching-an Hsiao, Xinchun Tian:
Pe Algorithm: its past present, future present and comments. - Jacques Carette, William M. Farmer, Filip Jeremic, Vincent Maccio, Russell O'Connor, Quang M. Tran:
The MathScheme Library: Some Preliminary Experiments. - Vincent Padovani:
Ticket Entailment is decidable. - Ryo Nomura, Te Sun Han:
Second-Order Resolvability, Intrinsic Randomness, and Fixed-Length Source Coding for Mixed Sources. - Ali Jalali, Sujay Sanghavi:
Learning with Latent Factors in Time Series. - Joydeep Basu, Anirban Bhattacharya, Subha Chakraborty, T. K. Bhattacharyya:
A Comparative Study Between a Micromechanical Cantilever Resonator and MEMS-based Passives for Band-pass Filtering Application. - Vahid Majid Nezhad, Habib Motee Gader, Evgueni Efimov:
A Novel Hybrid Algorithm for Task Graph Scheduling. - Amar Prakash Azad:
Sleep Mode Analysis via Workload Decomposition. - Dario Bauso, Puduru Viswanadha Reddy:
Lyapunov stochastic stability and control of robust dynamic coalitional games with transferable utilities. - Charalampos E. Tsourakakis:
The Degree Sequence of Random Apollonian Networks. - Georg Böcherer, Rudolf Mathar:
Operating LDPC Codes with Zero Shaping Gap. - Lucian Trifina, Daniela G. Tarniceriu:
Analysis of cubic permutation polynomials for turbo codes. - Frederick Maier:
Interdefinability of defeasible logic and logic programming under the well-founded semantics. - Lawrence Ong, Sarah J. Johnson, Christopher M. Kellett:
The Capacity Region of Multiway Relay Channels Over Finite Fields with Full Data Exchange. - Khaled Masmoudi, Marc Antonini, Pierre Kornprobst:
Exact Reconstruction of the Rank Order Coding using Frames Theory. - Chenyi Zhang, Jun Pang:
An Algorithm for Probabilistic Alternating Simulation. - Yi Sun, Faustino J. Gomez, Tom Schaul, Jürgen Schmidhuber:
A Linear Time Natural Evolution Strategy for Non-Separable Functions. - Igor Bjelakovic, Holger Boche, Jochen Sommerfeld:
Secrecy results for compound wiretap channels. - Sina Maleki, Geert Leus:
Censored Truncated Sequential Spectrum Sensing for Cognitive Radio Networks. - Ravi Tandon, Lalitha Sankar, H. Vincent Poor:
Multi-User Privacy: The Gray-Wyner System and Generalized Common Information. - Lav R. Varshney, Sanjoy K. Mitter, Vivek K. Goyal:
Channels That Die. - Ravi Tandon, Lalitha Sankar, H. Vincent Poor:
Discriminatory Lossy Source Coding: Side Information Privacy. - Yehuda Afek, Yakov Babichenko, Uriel Feige, Eli Gafni, Nati Linial, Benny Sudakov:
Oblivious Collaboration. - Yann Quinsat, Sylvain Lavernhe, Claire Lartigue:
Characterization of 3D surface topography in 5-axis milling. - Robin Houston, Joseph White, Martyn Amos:
Zen Puzzle Garden is NP-complete. - Takayuki Nozaki, Kenta Kasai, Kohichi Sakaniwa:
Analysis of Error Floors of Non-Binary LDPC Codes over MBIOS Channel. - Caixing Liu, Jierui Xie, Yueming Hu:
Using Hopfield to Solve Resource-Leveling Problem. - M. Praveen, Kamal Lodaya:
Parameterized complexity results for 1-safe Petri nets. - Yehuda Afek, Noga Alon, Ziv Bar-Joseph:
MIS on the fly. - Axel Wismüller:
A Computational Framework for Nonlinear Dimensionality Reduction of Large Data Sets: The Exploratory Inspection Machine (XIM). - Rio Yokota, Lorena A. Barba:
A Tuned and Scalable Fast Multipole Method as a Preeminent Algorithm for Exascale Systems. - Lei Song, Lijun Zhang, Jens Chr. Godskesen:
Bisimulations Meet PCTL Equivalences for Probabilistic Automata. - Barbara Lyonnet, Maurice Pillet, Magali Pralus:
Optimisation de la taille de la série: illustration par un cas industriel de sous-traitance mécanique. - Maurice Margenstern:
An application of Grossone to the study of a family of tilings of the hyperbolic plane. - Xiaowen Dong, Pascal Frossard, Pierre Vandergheynst, Nikolai Nefedov:
Clustering with Multi-Layer Graphs: A Spectral Perspective. - David Miguel Antunes, David Martins de Matos, José António Gaspar:
A Library for Implementing the Multiple Hypothesis Tracking Algorithm. - Wenyan Xu, Sanyang Liu:
Soundness and completeness of the cirquent calculus system CL6 for computability logic. - Frédérique E. Oggier, Anwitaman Datta:
Byzantine Fault Tolerance of Regenerating Codes. - Abdelkrim Bouramoul, Mohamed-Khireddine Kholladi, Bich-Liên Doan:
PRESY: A Context Based Query Reformulation Tool for Information Retrieval on the Web. - Maurice Margenstern:
Using Grossone to count the number of elements of infinite sets and the connection with bijections. - Kewen Liao, Hong Shen:
Unconstrained and Constrained Fault-Tolerant Resource Allocation. - Sergey V. Yakhontov:
A simple algorithm for the evaluation of the hypergeometric series using quasi-linear time and linear space. - Linh Anh Nguyen:
Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI. - R. Rathipriya, K. Thangavel, J. Bagyamani:
Evolutionary Biclustering of Clickstream Data. - Raimundo S. Barreto, Lucas C. Cordeiro, Bernd Fischer:
Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker. - Shujie Hou, Robert C. Qiu, Zhe Chen, Zhen Hu:
SVM and Dimensionality Reduction in Cognitive Radio with Experimental Validation. - Maruti Kumar Mudunuru, K. B. Nakshatrala:
A framework for coupled deformation-diffusion analysis with application to degradation/healing. - Aleksandar Ilic, Andreja Ilic:
On vertex covers and matching number of trapezoid graphs. - Nicolaie Popescu-Bodorin, Luminita State:
Cognitive Binary Logic - The Natural Unified Formal Theory of Propositional Binary Logic. - Nicolaie Popescu-Bodorin, Valentina Emilia Balas:
Comparing Haar-Hilbert and Log-Gabor Based Iris Encoders on Bath Iris Image Database. - Miroslav Dudík, Daniel J. Hsu, Satyen Kale, Nikos Karampatziakis, John Langford, Lev Reyzin, Tong Zhang:
Efficient Optimal Learning for Contextual Bandits. - Atsushi Iwasaki, David Kempe, Mahyar Salek, Makoto Yokoo:
False-name-proof Mechanisms for Hiring a Team. - Francisco A. Gonzalez Horta, Rogerio A. Enríquez-Caldera, Juan Manuel Ramírez-Cortés, Jorge Martínez-Carballido, Eldamira Buenfil-Alpuche:
Mathematical Model for the Optimal Utilization Percentile in M/M/1 Systems: A Contribution about Knees in Performance Curves. - K. Savitha, C. Chandrasekar:
Network Selection Using TOPSIS in Vertical Handover Decision Schemes for Heterogeneous Wireless Networks. - Bernhard C. Geiger, Gernot Kubin:
Some Results on the Information Loss in Dynamical Systems. - Athanasios Kehagias, Pawel Pralat:
Some remarks on cops and drunk robbers. - Vasileios Giotsas, Shi Zhou:
Inferring AS Relationships from BGP Attributes. - Nicolò Cesa-Bianchi, Ohad Shamir:
Efficient Online Learning via Randomized Rounding. - Shie Mannor, Ohad Shamir:
From Bandits to Experts: On the Value of Side-Observations. - Yuanpeng Liu, Elza Erkip:
On the Sum Capacity of K-user Cascade Gaussian Z-Interference Channel. - Theresa Velden, Asif-ul Haque, Carl Lagoze:
Resolving Author Name Homonymy to Improve Resolution of Structures in Co-author Networks. - Tianrong Lin:
Another approach of the equivalence problem for measure-many one-way quantum finite automata. - Craig Boutilier:
Eliciting Forecasts from Self-interested Experts: Scoring Rules for Decision Makers. - Emilio Ferrara:
A Large-Scale Community Structure Analysis In Facebook. - Ersen Ekrem, Sennur Ulukus:
Degrees of Freedom Region of the Gaussian MIMO Broadcast Channel with Common and Private Messages. - Marats Golovkins, Maksim Kravtsev, Vasilijs Kravcevs:
Quantum Finite Automata and Probabilistic Reversible Automata: R-trivial Idempotent Languages. - Isolde Adler, Arthur M. Farley, Andrzej Proskurowski:
Obstructions for linear rankwidth at most 1. - Yungang Bao, Jinyong Zhang, Yan Zhu, Dan Tang, Yuan Ruan, Mingyu Chen, Jianping Fan:
HMTT: A Hybrid Hardware/Software Tracing System for Bridging Memory Trace's Semantic Gap. - Sam Tobin-Hochstadt, Matthias Felleisen:
The Design and Implementation of Typed Scheme: From Scripts to Programs. - Sam Tobin-Hochstadt:
Extensible Pattern Matching in an Extensible Language. - Derek Leong, Alexandros G. Dimakis, Tracey Ho:
Distributed Storage Allocations for Optimal Delay. - Christopher Hoobin, Simon J. Puglisi, Justin Zobel:
Relative Lempel-Ziv Factorization for Efficient Storage and Retrieval of Web Collections. - Oleg Mazonka, Alex Kolodin:
A Simple Multi-Processor Computer Based on Subleq. - Vikram Dhillon:
Knowledge Dispersion Index for Measuring Intellectual Capital. - Chengxi Ye, Zhanshan (Sam) Ma, Charles H. Cannon, Mihai Pop, Douglas W. Yu:
SparseAssembler: de novo Assembly with the Sparse de Bruijn Graph. - Chandan K. Dubey, Thomas Holenstein:
Approximating the Closest Vector Problem Using an Approximate Shortest Vector Oracle. - David Monniaux, Laure Gonnord:
Using Bounded Model Checking to Focus Fixpoint Iterations. - Joseph Y. Halpern:
From Causal Models To Counterfactual Structures. - Joseph Y. Halpern, David C. Parkes:
Viewpoint: Journals for Certification, Conferences for Rapid Dissemination. - Luca Rose, Samir Medina Perlaza, Mérouane Debbah:
On the Nash Equilibria in Decentralized Parallel Interference Channels. - Joseph Y. Halpern, Christopher Hitchcock:
Actual causation and the art of modeling. - Joseph Y. Halpern, Rafael Pass:
I Don't Want to Think About it Now:Decision Theory With Costly Computation. - Luca Rose, Samir Medina Perlaza, Samson Lasaulce, Mérouane Debbah:
Learning Equilibria with Partial Information in Decentralized Wireless Networks. - Kévin Perrot, Eric Rémila:
Transduction on Kadanoff Sand Pile Model Avalanches, Application to Wave Pattern Emergence. - Danny Dolev, Dror G. Feitelson, Joseph Y. Halpern, Raz Kupferman, Nati Linial:
No justified complaints: On fair sharing of multiple resources. - Mark Anthony McLaughlin:
A Framework for Enabling Distributed Applications on the Internet. - Pascal Heus, Richard Gomez:
QIS-XML: An Extensible Markup Language for Quantum Information Science. - Praveen Ranjan Srivastava, Km Baby:
Automated Software Testing Using Metahurestic Technique Based on An Ant Colony Optimization. - Vincent Aravantinos, Nicolas Peltier:
Generating Schemata of Resolution Proofs. - Evmorfia N. Argyriou, Michael A. Bekos, Michael Kaufmann, Antonios Symvonis:
Geometric Simultaneous RAC Drawings of Graphs. - Duc Phu Chau, François Brémond, Monique Thonnat, Etienne Corvée:
Robust Mobile Object Tracking Based on Multiple Feature Similarity and Trajectory Filtering. - Péter Schaffer, Djamila Aouada, Shishir Nagaraja:
Who clicks there!: Anonymizing the photographer in a camera saturated society. - (Withdrawn) Nested Graph Words for Object Recognition.
- Anne-Maria Ernvall-Hytönen, Camilla Hollanti:
On the Eavesdropper's Correct Decision in Gaussian and Fading Wiretap Channels Using Lattice Codes. - Luís Nogueira, Luís Miguel Pinho:
Supporting Parallelism in Server-based Multiprocessor Systems. - Zvonko Iljazovic:
Co-c.e. spheres and cells in computable metric spaces. - Andreas Brandstädt, Raffaele Mosca:
Dominating Induced Matchings for P7-Free Graphs in Linear Time. - Prateek Jain, Ambuj Tewari, Inderjit S. Dhillon:
Orthogonal Matching Pursuit with Replacement. - Yoon-Sik Cho, Greg Ver Steeg, Aram Galstyan:
Co-evolution of Selection and Influence in Social Networks. - Shizheng Li, Aditya Ramamoorthy:
Algebraic codes for Slepian-Wolf code design. - Reshma P:
Power Management during Scan Based Sequential Circuit Testing. - Johnny Karout, Erik Agrell, Krzysztof Szczerba, Magnus Karlsson:
Optimizing Constellations for Noncoherent Optical Communication Systems. - Yuxin Deng, Yu Zhang:
Program Equivalence in Linear Contexts. - Frank Sottile, Chungang Zhu:
Injectivity of 2D Toric Bézier Patches. - Lawrence Ong, Roy Timo, Gottfried Lechner, Sarah J. Johnson, Christopher M. Kellett:
The Finite Field Multi-Way Relay Channel with Correlated Sources: The Three-User Case. - Lawrence Ong, Christopher M. Kellett, Sarah J. Johnson:
On Achievable Rate Regions of the Asymmetric AWGN Two-Way Relay Channel. - Jagadeesh Gorla, Stephen Robertson, Jun Wang:
A Unified Relevance Retrieval Model by Eliteness Hypothesis. - Michiel W. van Tol:
A Characterization of the SPARC T3-4 System. - Douglas Cenzer, Paul Brodhead, Ferit Toska, Sebastian Wyman:
Algorithmic Randomness and Capacity of Closed Sets. - Saeed Abdallah, Ioannis N. Psaromiligkos:
Widely Linear vs. Conventional Subspace-Based Estimation of SIMO Flat-Fading Channels: Mean-Squared Error Analysis. - Aleksandar Ilic:
Efficient algorithm for the vertex connectivity of trapezoid graphs. - Yaron Velner:
The Complexity of Mean-Payoff Automaton Expression. - Nicolas Gauvrit, Hector Zenil, Jean-Paul Delahaye:
Assessing Cognitive Randomness: A Kolmogorov Complexity Approach. - Cristian Danescu-Niculescu-Mizil, Lillian Lee:
Chameleons in imagined conversations: A new approach to understanding coordination of linguistic style in dialogs. - Yuichi Yoshida:
Testing List H-Homomorphisms. - Mohammad Karimadini, Hai Lin:
Communicate only when necessary: Cooperative tasking for multi-agent systems. - Hayato Takahashi:
Algorithmic analogies to kamae-Weiss theorem on normal numbers. - Rodney G. Downey, Dimitrios M. Thilikos:
Confronting Intractability via Parameters. - Ranieri Baraglia, Patrizio Dazzi, Matteo Mordacchini, Laura Ricci, Luca Alessi:
On Democracy in Peer-to-Peer systems. - Olivier Kerbrat, Pascal Mognol, Jean-Yves Hascoët:
A new DFM approach to combine machining and additive manufacturing. - Götz E. Pfander, Holger Rauhut, Joel A. Tropp:
The restricted isometry property for time-frequency structured random matrices. - Richard T. B. Ma, Vishal Misra:
The Public Option: a Non-regulatory Alternative to Network Neutrality. - Lingchen Kong, Levent Tunçel, Naihua Xiu:
Sufficient Conditions for Low-rank Matrix Recovery, Translated from Sparse Signal Recovery. - Chenlu Qiu, Namrata Vaswani:
ReProCS: A Missing Link between Recursive Robust PCA and Recursive Sparse Recovery in Large but Correlated Noise. - Roman Gitlin:
Reducing Interpolation on Multi-Grid to Quantizing Grid's Data-Base as a Recursion. - Daniel Shawcross Wilkerson, Simon Fredrick Vicente Goldsmith, Ryan Barrett, Erick Armbrust, Robert Johnson, Alfred Fuller:
Distributed Transactions for Google App Engine: Optimistic Distributed Transactions built upon Local Multi-Version Concurrency Control. - Loïc Andolfatto, René Mayer, Sylvain Lavernhe:
Adaptive Monte Carlo applied to uncertainty estimation in a five axis machine tool link errors identification. - Isabel Méndez-Díaz, Graciela L. Nasini, Daniel E. Severín:
A polyhedral approach for the Equitable Coloring Problem. - Isabel Méndez-Díaz, Graciela L. Nasini, Daniel E. Severín:
Polyhedral results for the Equitable Coloring Problem. - Ryan Martin, Omkar J. Tilak:
On epsilon-optimality of the pursuit learning algorithm. - Miron B. Kursa, Lukasz Komsta, Witold R. Rudnicki:
Random forest models of the retention constants in the thin layer chromatography. - Bimal Aklesh Kumar:
Evaluation of Fiji National University Campus Information Systems. - Jie Ding, Laming Chen, Yuantao Gu:
Performance Analysis of Orthogonal Matching Pursuit under General Perturbations. - Hongfei Cui, Jianqiang Sun, Yiming Ding:
The rates of convergence for generalized entropy of the normalized sums of IID random variables. - Rémi Flamary, Alain Rakotomamonjy:
Decoding finger movements from ECoG signals using switching linear models. - Rémi Flamary, Benjamin Labbé, Alain Rakotomamonjy:
Large margin filtering for signal sequence labeling. - Emilie Niaf, Rémi Flamary, Carole Lartizien, Stéphane Canu:
Handling uncertainties in SVM classification. - Anas Chaaban, Aydin Sezgin:
The Capacity Region of the Linear Shift Deterministic Y-Channel. - Gareth W. Peters, Ido Nevat, Jinhong Yuan, Iain B. Collings:
Semi-Blind System Identification in Wireless Relay Networks via Gaussian Process Iterated Conditioning on the Modes Estimation. - Matthew R. Lakin:
Constraint solving in non-permutative nominal abstract syntax. - Robbert Krebbers, Bas Spitters:
Type classes for efficient exact real arithmetic in Coq. - P. Venkata Subba Reddy, K. Viswanathan Iyer:
Conditional and Unique Coloring of Graphs. - Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge:
Extensional Higher-Order Logic Programming. - Mrinal Kanti Bhowmik, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri:
Polar Fusion Technique Analysis for Evaluating the Performances of Image Fusion of Thermal and Visual Images for Human Face Recognition. - Mrinal Kanti Bhowmik, Gautam Majumdar, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri:
Next Level of Data Fusion for Human Face Recognition. - Arindam Kar, Debotosh Bhattacharjee, Dipak Kumar Basu, Mita Nasipuri, Mahantapas Kundu:
High Performance Human Face Recognition using Independent High Intensity Gabor Wavelet Responses: A Statistical Approach. - Joachim Breitner:
Conditional Elimination through Code Duplication. - John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. EPTCS 55, 2011 [contents] - Wenjie Fang:
New Computational Result on Harmonious Trees. - Olivier Bailleux:
On the expressive power of unit resolution. - Barbara T. Blaustein, Adriane Chapman, Len Seligman, M. David Allen, Arnon Rosenthal:
Surrogate Parenthood: Protected and Informative Graphs. - D. R. Shashi Kumar, K. B. Raja, R. K. Chhotaray, Sabyasachi Pattanaik:
DWT Based Fingerprint Recognition using Non Minutiae Features. - Gregory Z. Gutin, Eun Jung Kim, Arezou Soleimanfallah, Stefan Szeider, Anders Yeo:
Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming. - Sung-Ha Hwang, Luc Rey-Bellet:
Decompositions of two player games: potential, zero-sum, and stable games. - Sandhya Rangineni:
Cryptographic Hardening of d-Sequences. - Emmanuel Godard, Joseph G. Peters:
Consensus vs Broadcast in Communication Networks with Arbitrary Mobile Omission Faults. - Sarif Sk. Hassan, Ananya Roy, Pabitra Pal Choudhury, Birendra Kumar Nayak:
One Dimensional p-adic Integral Value Transformations. - Mark Braverman, Anup Rao:
Information Equals Amortized Communication. - Parikshit Gopalan, Cheng Huang, Huseyin Simitci, Sergey Yekhanin:
On the Locality of Codeword Symbols. - Binyue Liu, Ning Cai:
Analog Network Coding in the Generalized High-SNR Regime. - Haim Kaplan, Micha Sharir:
Finding the Maximal Empty Rectangle Containing a Query Point. - Yipeng Liu, Qun Wan:
Total Variation Minimization Based Compressive Wideband Spectrum Sensing for Cognitive Radios. - Ashwin Ganesan:
Minimal resolving sets for the hypercube. - Vladimir Berezovsky, Alexander Popov:
Strategies for Development of a Distributed Framework for Computational Sciences. - Christos Dimitrakakis:
Robust Bayesian reinforcement learning through tight lower bounds. - Emil Stefanov, Elaine Shi, Dawn Song:
Towards Practical Oblivious RAM. - Diana Bodean, Ghenadie Bodean, Wajeb Gharibi:
Pseudo-Ring Testing Schemes and Algorithms of RAM Built-In and Embedded Self-Testing. - Valerio Capraro:
Solution of Wald's game using loadings and allowed strategies. - Michael Huber:
Efficient Two-Stage Group Testing Algorithms for DNA Screening. - Svetlana Chumachenko, Wajeb Gharibi, Anna Hahanova, Aleksey Sushanov:
SoC Software Components Diagnosis Technology. - Nicolaie Popescu-Bodorin, Valentina Emilia Balas:
Exploratory simulation of an Intelligent Iris Verifier Distributed System. - Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli:
Embedding and Automating Conditional Logics in Classical Higher-Order Logic. - Sunil K. Narang, Antonio Ortega:
Perfect Reconstruction Two-Channel Wavelet Filter-Banks For Graph Structured Data. - Hugo Jiménez-Pérez, Jacques Laskar:
A time-parallel algorithm for almost integrable Hamiltonian systems. - Giorgi Japaridze:
The taming of recurrences in computability logic through cirquent calculus, Part II. - Yipeng Liu, Qun Wan:
Sidelobe Suppression for Capon Beamforming with Mainlobe to Sidelobe Power Ratio Maximization. - Yonathan Murin, Ron Dabora, Deniz Gündüz:
Source-Channel Coding Theorems for the Multiple-Access Relay Channe. - Slawomir Staworko, Piotr Wieczorek:
Learning XML Twig Queries. - (Withdrawn) Reducing Interpolation on Multi-Dimensional Grid to Quantizing Grid's Data-Base as a Recursion.
- Dan Tavrov, Oleg Chertov:
SSA-Caterpillar in Group Anonymity. - Marcelo Arenas, Ronald Fagin, Alan Nash:
Composition with Target Constraints. - Maria-Camilla Fiazza, Michele Peroli, Luca Viganò:
Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version]. - Georg Gottlob, Thomas Schwentick:
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. - Jer-Chin Chuang:
Convex Geometry and Stoichiometry. - Paul Tune, Darryl Veitch:
Fisher Information in Flow Size Distribution. - MohammadAmin Fazli, Jafar Habibi, Pooya Jalaly Khalilabadi, Sina Sadeghian Sadeghabad:
On the Non-Progressive Spread of Influence through Social Networks. - Yi Gai, Hua Liu, Bhaskar Krishnamachari:
A Packet Dropping Mechanism for Efficient Operation of M/M/1 Queues with Selfish Users. - Amandine Bellenger, Sylvain Gatepaille:
Uncertainty in Ontologies: Dempster-Shafer Theory for Data Fusion Applications. - Debiao He, Yitao Chen:
An efficient certificateless authenticated key agreement protocol without bilinear pairings. - Jean-Louis Dessalles:
Coincidences and the encounter problem: A formal account. - Venkatesan Guruswami, Carol Wang:
Optimal rate list decoding via derivative codes. - Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang:
Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata. - Emilio Ferrara, Robert Baumgartner:
Intelligent Self-Repairable Web Wrappers. - Leonid A. Ostromuhov:
Models, Calculation and Optimization of Gas Networks, Equipment and Contracts for Design, Operation, Booking and Accounting. - Kenneth M. Mackenthun Jr.:
Group Codes and the Schreier matrix form. - Edward Grefenstette, Mehrnoosh Sadrzadeh:
Experimental Support for a Categorical Compositional Distributional Model of Meaning. - Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan:
Verification of Quantum Programs. - David Klein, Kyle Murray, Simon Weber:
Algorithmic Programming Language Identification. - Daniel Harabor, Adi Botea, Philip Kilby:
Symmetry-Based Search Space Reduction For Grid Maps. - Maria Teresa Llano, Andrew Ireland, Alison Pease:
Discovery of Invariants through Automated Theory Formation. 1-19 - Gian Perrone, Søren Debois, Thomas T. Hildebrandt:
Bigraphical Refinement. 20-36 - John Derrick, Siobhán North, Anthony J. H. Simons:
Building a refinement checker for Z. 37-52 - César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement by interpretation in π-institutions. 53-64 - Alvaro Miyazawa, Ana Cavalcanti:
Refinement-based verification of sequential implementations of Stateflow charts. 65-83 - Steve Reeves, David Streader:
Refinement for Probabilistic Systems with Nondeterminism. 84-100 - Ukachukwu Ndukwu, Annabelle McIver:
Model exploration and analysis for quantitative safety refinement in probabilistic B. 101-120 - Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang:
Formalising the Continuous/Discrete Modeling Step. 121-138 - Steve A. Schneider, Helen Treharne, Heike Wehrheim:
A CSP Account of Event-B Refinement. 139-154 - Eerke A. Boiten:
Perspicuity and Granularity in Refinement. 155-165 - Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén:
Concurrent Scheduling of Event-B Models. 166-182 - Ka. Shrinivaasan:
Decidability of Existence and Construction of a Complement of a given Function. - Hans L. Bodlaender, Bart M. P. Jansen, Stefan Kratsch:
Kernel Bounds for Path and Cycle Problems. - Dai Tri Man Le, Stephen A. Cook, Yuli Ye:
Complexity Classes and Theories for the Comparator Circuit Value Problem. - Michael Hickson, Yannis Kargakis, Yannis Tzitzikas:
Similarity-based Browsing over Linked Open Data. - Michael Backes, Sebastian Gerling, Philipp von Styp-Rekowsky:
A Novel Attack against Android Phones. - Damien Cassou, Charles Consel, Emilie Balland, Julia Lawall:
Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC. - Erlin Yao, Mingyu Chen, Rui Wang, Wenli Zhang, Guangming Tan:
A New and Efficient Algorithm-Based Fault Tolerance Scheme for A Million Way Parallelism. - Francesca Giardini, Walter Quattrociocchi, Rosaria Conte:
Rooting opinions in the minds: a cognitive model and a formal account of opinions and their dynamics. - Francesca Giardini, Walter Quattrociocchi, Rosaria Conte:
Understanding opinions. A cognitive and formal account. - Lisa Hellerstein, Devorah Kletenik:
On the gap between ess(f) and cnf_size(f). - Rina Foygel, Ruslan Salakhutdinov, Ohad Shamir, Nathan Srebro:
Learning with the Weighted Trace-norm under Arbitrary Sampling Distributions. - Ersen Ekrem, Sennur Ulukus:
Multi-receiver Wiretap Channel with Public and Confidential Messages. - Yang Zhang, Edwin K. P. Chong, Jan Hannig, Donald J. Estep:
Continuum Limits of Markov Chains with Application to Network Modeling. - Siqi Zhao, Lin Zhong, Jehan Wickramasuriya, Venu Vasudevan:
Human as Real-Time Sensors of Social and Physical Events: A Case Study of Twitter and Sports Games. - Kevin Topley, Vikram Krishnamurthy:
Average-Consensus Algorithms in a Deterministic Framework. - Daniel Burgarth, Vittorio Giovannetti, Leslie Hogben, Simone Severini, Michael Young:
Logic circuits from zero forcing. - Raphaël Clifford, Markus Jalsenius, Ely Porat, Benjamin Sach:
Space Lower Bounds for Online Pattern Matching. - Thomas Braibant, Damien Pous:
Tactics for Reasoning modulo AC in Coq. - Svebor Karaman, Jenny Benois-Pineau, Jean-François Dartigues, Yann Gaëstel, Rémi Mégret, Julien Pinquier:
Activities of Daily Living Indexing by Hierarchical HMM for Dementia Diagnostics. - Robert Crowston, Gregory Z. Gutin, Mark Jones, Anders Yeo:
Parameterized Eulerian Strong Component Arc Deletion Problem on Tournaments. - Ajit Singh, Nidhi Sharma:
Development of mechanism for enhancing data security in quantum cryptography. - Eirini Spyropoulou, Tijl De Bie:
Interesting Multi-Relational Patterns. - José Luis López-Presa, Antonio Fernández Anta:
Fast Isomorphism Testing of Graphs with Regularly-Connected Components. - Pooria Pakrooh, Arash Amini, Farrokh Marvasti:
OFDM pilot allocation for sparse channel estimation. - Amos J. Storkey:
Machine Learning Markets. - Moshe Mishali, Yonina C. Eldar:
Sub-Nyquist Sampling: Bridging Theory and Practice. - Foster J. Provost, Gary M. Weiss:
Learning When Training Data are Costly: The Effect of Class Distribution on Tree Induction. - Maria Fox, Derek Long:
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains. - David V. Pynadath, Milind Tambe:
The Communicative Multiagent Team Decision Problem: Analyzing Teamwork Theories and Models. - Moshe Tennenholtz:
Competitive Safety Analysis: Robust Decision-Making in Multi-Agent Systems. - Cynthia A. Thompson, Raymond J. Mooney:
Acquiring Word-Meaning Mappings for Natural Language Interfaces. - Alan Fern, Robert Givan, Jeffrey Mark Siskind:
Specific-to-General Learning for Temporal Events with Application to Learning Event Definitions from Video. - David V. Pynadath, Paul Scerri, Milind Tambe:
Towards Adjustable Autonomy for the Real World. - Andrew Cotter, Ohad Shamir, Nathan Srebro, Karthik Sridharan:
Better Mini-Batch Algorithms via Accelerated Gradient Methods. - Joseph C. Culberson, Yong Gao:
An Analysis of Phase Transition in NK Landscapes. - Dragan Gamberger, Nada Lavrac:
Expert-Guided Subgroup Discovery: Methodology and Application. - Pauline Berry, Thomas J. Lee, David E. Wilkins:
Interactive Execution Monitoring of Agent Teams. - Jérôme Lang, Paolo Liberatore, Pierre Marquis:
Propositional Independence - Formula-Variable Independence and Forgetting. - Giovanni Rossi:
Partition distances. - Alan Edelman, Avinatan Hassidim, Huy N. Nguyen, Krzysztof Onak:
An Efficient Partitioning Oracle for Bounded-Treewidth Graphs. - Prabhu Manyem:
Nearly identical BFC expressions and identical OFC expressions for Matching and Clique. - Heran Yang, Tiffany Low, Matthew Cong, Ashutosh Saxena:
Inferring 3D Articulated Models for Box Packaging Robot. - Gonzalo Navarro, Luís M. S. Russo:
Space-Efficient Data-Analysis Queries on Grids. - Oren Ben-Zwi, Ilan Newman:
Optimal Bi-Valued Auctions. - Koceilah Rekouche:
Early Phishing. - Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Verifying Eiffel Programs with Boogie. - Lukas Moll, Siamak Tazari, Marc Thurley:
Computing hypergraph width measures exactly. - Sylvain Kubler, William Derigent, André Thomas, Eric Rondeau:
Key Factors for Information Dissemination on Communicating Products and Fixed Databases. - Guang Gong, Fei Huo, Yang Yang:
Large Zero Autocorrelation Zone of Golay Sequences and $4^q$-QAM Golay Complementary Sequences. - Antonio Ferrández, Jesús Peral:
Translation of Pronominal Anaphora between English and Spanish: Discrepancies and Evaluation. - Ali Taylan Cemgil, Bert Kappen:
Monte Carlo Methods for Tempo Tracking and Rhythm Quantization. - David L. Poole, Nevin Lianwen Zhang:
Exploiting Contextual Independence In Probabilistic Inference. - Bert Kappen, Martijn A. R. Leisink:
Bound Propagation. - Paolo Liberatore:
On Polynomial Sized MDP Succinct Policies. - Fangzhen Lin:
Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems. - Reid G. Simmons, Håkan L. S. Younes:
VHPOP: Versatile Heuristic Partial Order Planner. - Tsz-Chiu Au, Okhtay Ilghami, Ugur Kuter, J. William Murdock, Dana S. Nau, Dan Wu, Fusun Yaman:
SHOP2: An HTN Planning System. - John E. Laird, Robert E. Wray:
An Architectural Approach to Ensuring Consistency in Hierarchical Execution. - Craig A. Knoblock, Kristina Lerman, Steven Minton:
Wrapper Maintenance: A Machine Learning Approach. - H. R. Chennamma, Lalitha Rangarajan, Veerabhadrappa:
Face Identification from Manipulated Facial Images using SIFT. - Yao Sun, Dingkang Wang:
A Generalized Criterion for Signature-based Algorithms to Compute Gröbner Bases. - Esther M. Arkin, Antonio Fernández Anta, Joseph S. B. Mitchell, Miguel A. Mosteiro:
Probabilistic Bounds on the Length of a Longest Edge in Delaunay Graphs of Random Points in d-Dimensions. - Henri Casanova, Mark Stillwell, Frédéric Vivien:
Dynamic Fractional Resource Scheduling vs. Batch Scheduling. - Thong T. Do, Lu Gan, Nam H. Nguyen, Trac D. Tran:
Fast and Efficient Compressive Sensing using Structurally Random Matrices. - Mai Vu:
The Capacity of MIMO Channels with Per-Antenna Power Constraint. - Myunghwan Kim, Jure Leskovec:
Modeling Social Networks with Node Attributes using the Multiplicative Attribute Graph Model. - Meng He, J. Ian Munro, Patrick K. Nicholson:
Dynamic Range Selection in Linear Space. - Ahmad Rahmati, Clayton Shepard, Chad Tossell, Mian Dong, Zhen Wang, Lin Zhong, Philip T. Kortum:
Tales of 34 iPhone Users: How they change and why they are different. - Walter Quattrociocchi, Rosaria Conte:
Exploiting Reputation in Distributed Virtual Environments. - Miron B. Kursa, Witold R. Rudnicki:
The All Relevant Feature Selection using Random Forest. - Tamir Tassa:
Secure Mining of Association Rules in Horizontally Distributed Databases. - Oleg Chertov, Marharyta Aleksandrova:
Clustering with Prototype Extraction for Census Data Analysis. - Adrian Francalanza, Julian Rathke, Vladimiro Sassone:
Permission-Based Separation Logic for Message-Passing Concurrency. - Mladen Kovacevic, Ivan Stanojevic, Vojin Senk:
On Rényi Entropies Over Countably Infinite Alphabets. - Peter Birkner, Francesco Sica:
Four-Dimensional Gallant-Lambert-Vanstone Scalar Multiplication. - B. V. Dhandra, Mallikarjun Hangarge:
Morphological Reconstruction for Word Level Script Identification. - Ciprian Dobre, Corina Stratan:
MONARC Simulation Framework. - Iosif Legrand, Ciprian Dobre, Ramiro Voicu, Corina Stratan, Catalin Cirstoiu, Lucian Musat:
A Simulation Study for T0/T1 Data Replication and Production Activities. - Iosif Legrand, Ciprian Dobre, Ramiro Voicu, Corina Stratan, Catalin Cirstoiu, Lucian Musat:
LISA (Localhost Information Service Agent). - Allison B. Lewko:
The Contest Between Simplicity and Efficiency in Asynchronous Byzantine Agreement. - Ciprian Dobre, Ramiro Voicu, Adrian Muraru, Iosif Legrand:
A Distributed Agent Based System to Control and Coordinate Large Scale Data Transfers. - Dmitry Zinoviev, Vy Duong:
A Game Theoretical Approach to Broadcast Information Diffusion in Social Networks. - Albert Fannjiang, Wenjing Liao:
Coherence-Pattern Guided Compressive Sensing with Unresolved Grids. - Bernhard Haslhofer, Rainer Simon, Robert Sanderson, Herbert Van de Sompel:
The Open Annotation Collaboration (OAC) Model. - Ulas Bagci, Jianhua Yao, Jesus Caban, Anthony F. Suffredini, Tara N. Palmore, Daniel J. Mollura:
Learning Shape and Texture Characteristics of CT Tree-in-Bud Opacities for CAD Systems. - Julien Cassaigne, James D. Currie, Luke Schaeffer, Jeffrey O. Shallit:
Avoiding Three Consecutive Blocks of the Same Size and Same Sum. - Maarten Clements, Pavel Serdyukov, Arjen P. de Vries, Marcel J. T. Reinders:
Personalised Travel Recommendation based on Location Co-occurrence. - (Withdrawn) Some results on equivalence of multi-letter quantum finite automata.
- Mohammad R. Javan, Ahmad R. Sharafat:
Opportunistic Power Control for Multi-Carrier Interference Channels. - Andreas Argyriou, Luca Baldassarre, Jean Morales, Massimiliano Pontil:
A General Framework for Structured Sparsity via Proximal Optimization. - Behrang Nosrat-Makouei, Jeffrey G. Andrews, Robert W. Heath Jr.:
User Arrival in MIMO Interference Alignment Networks. - Ronen I. Brafman, Carmel Domshlak:
Structure and Complexity in Planning with Unary Operators. - Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Answer Set Planning Under Action Costs. - Ronen I. Brafman, Moshe Tennenholtz:
Learning to Coordinate Efficiently: A Model-based Approach. - Minh Binh Do, Subbarao Kambhampati:
SAPA: A Multi-objective Metric Temporal Planner. - Peter F. Patel-Schneider, Roberto Sebastiani:
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. - Subbarao Kambhampati, Romeo Sanchez Nigenda:
AltAltp: Online Parallelization of Plans with Heuristic State Search. - Bruno Zanuttini:
New Polynomial Classes for Logic-Based Abduction. - Ehud Reiter, Roma Robertson, Somayajulu Sripada:
Acquiring Correct Knowledge for Natural Language Generation. - Alfonso Gerevini, Alessandro Saetti, Ivan Serina:
Planning Through Stochastic Local Search and Temporal Action Graphs in LPG. - Jonas Kvarnström, Martin Magnusson:
TALplanner in IPC-2002: Extensions and Control Rules. - Eric Wiewiora:
Potential-Based Shaping and Q-Value Initialization are Equivalent. - Luca Console, Claudia Picardi, Daniele Theseider Dupré:
Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board. - Lev Finkelstein, Shaul Markovitch, Ehud Rivlin:
Optimal Schedules for Parallelizing Anytime Algorithms: The Case of Shared Resources. - János A. Csirik, Michael L. Littman, David A. McAllester, Robert E. Schapire, Peter Stone:
Decision-Theoretic Bidding Based on Learned Density Models in Simultaneous, Interacting Auctions. - Jörg Hoffmann:
The Metric-FF Planning System: Translating "Ignoring Delete Lists" to Numeric State Variables. - Rio Yokota, Tetsu Narumi, Lorena A. Barba, Kenji Yasuoka:
Petascale turbulence simulation using a highly parallel fast multipole method. - Yohji Akama:
Set systems: order types, continuous nondeterministic deformations, and quasi-orders. - Ciprian Dobre, Florin Pop, Valentin Cristea:
DistHash: A robust P2P DHT-based system for replicated objects. - Dacian Tudor, Florin Pop, Valentin Cristea, Vladimir Cretu:
Towards an IO intensive Grid application instrumentation in MedioGRID. - Florin Pop, Valentin Cristea:
Intelligent strategies for DAG scheduling optimization in Grid environments. - George Milescu, Gabriel Noaje, Florin Pop:
OpenPh - Numerical Physics Library. - Michael Lesnick:
The Optimality of the Interleaving Distance on Multidimensional Persistence Modules. - Florin Pop, Diana Petrescu, Stefan Trausan-Matu:
Clasificarea distribuita a mesajelor de e-mail. - Diana Moise, Eliza Moise, Florin Pop, Valentin Cristea:
Resource CoAllocation for Scheduling Tasks with Dependencies, in Grid. - Eliza Moise, Diana Moise, Florin Pop, Valentin Cristea:
Advance Reservation of Resources for Task Execution in Grid Environments. - Nina Narodytska, Toby Walsh, Lirong Xia:
Manipulation of Nanson's and Baldwin's Rules. - Toby Walsh:
Online Cake Cutting (published version). - Zhi Yang, Christo Wilson, Xiao Wang, Tingting Gao, Ben Y. Zhao, Yafei Dai:
Uncovering Social Network Sybils in the Wild. - Mohammad R. Javan, Ahmad R. Sharafat:
Efficient and Distributed SINR-based Joint Resource Allocation and Base Station Assignment in Wireless CDMA Networks. - Daniel Le Ly, Ashutosh Saxena, Hod Lipson:
Pose Estimation from a Single Depth Image for Arbitrary Kinematic Skeletons. - Onur Oktay, Götz E. Pfander, Pavel Zheltov:
Scattering Function Estimation for Overspread Radar Targets. - Mélanie Plainchault, Nicolas Gresset, Ghaya Rekaya-Ben Othman:
Macro and Micro Diversity Behaviors of Practical Dynamic Decode and Forward Relaying schemes. - Huang Huang, Vincent K. N. Lau:
Partial Interference Alignment for K-user MIMO Interference Channels. - Mahdi Jafari Siavoshani, Christina Fragouli, Suhas N. Diggavi:
Subspace Properties of Network Coding and their Applications. - You Xu, Yixin Chen, Qiang Lu, Ruoyun Huang:
Theory and Algorithms for Partial Order Based Reduction in Planning. - Andrej Muchnik:
Kolmogorov complexity and cryptography. - Vincent Conitzer, Toby Walsh, Lirong Xia:
Dominating Manipulations in Voting with Partial Information. - Ilango Sriram, Dave Cliff:
Hybrid complex network topologies are preferred for component-subscription in large-scale data-centres. - John Cartlidge, Ilango Sriram:
Modelling Resilience in Cloud-Scale Data Centres. - Jeremiah A. Wala, Sergei V. Fotin, Jaesung Lee, Artit C. Jirapatnakul, Alberto M. Biancardi, Anthony P. Reeves:
Automated segmentation of the pulmonary arteries in low-dose CT by vessel tracking. - Ilango Leonardo Sriram, Dave Cliff:
SPECI-2: An open-source framework for predictive simulation of cloud-scale data-centres. - Koji Kobayashi:
Connection and Dispersion of Computation. - Gilberto Zonta Pastorello Jr., G. Arturo Sanchez-Azofeifa, Mario A. Nascimento:
A Review of the Enviro-Net Project. - Hema Swetha Koppula, Abhishek Anand, Thorsten Joachims, Ashutosh Saxena:
Labeling 3D scenes for Personal Assistant Robots. - Ardalan Amiri Sani, Wolfgang Richter, Xuan Bao, Trevor Narayan, Mahadev Satyanarayanan, Lin Zhong, Romit Roy Choudhury:
Opportunistic Content Search of Smartphone Photos. - David Prochazka, Tomas Koubek:
Augmented Reality Implementation Methods in Mainstream Applications. - Ramiro Voicu, Iosif Legrand, Harvey B. Newman, Nicolae Tapus, Ciprian Dobre:
A distributed service for on demand end to end optical circuits. - David Prochazka, Michael Stencl, Ondrej Popelka, Jiri Stastny:
Mobile Augmented Reality Applications. - Valentin Cristea, Ciprian Dobre, Florin Pop, Corina Stratan, Alexandru Costan, Catalin Adrian Leordeanu:
Models and Techniques for Ensuring Reliability, Safety, Availability and Security of Large Scale Distributed Systems. - Fabio Daolio, Marco Tomassini, Konstantin Bitkov:
The Swiss Board Directors Network in 2009. - Mario Bravo:
An adjusted payoff-based procedure for normal form games. - Junyi Chai, James N. K. Liu:
Class-based Rough Approximation with Dominance Principle. - Johannes Lindblom, Eleftherios Karipidis, Erik G. Larsson:
Outage Rate Regions for the MISO Interference Channel: Definitions and Interpretations. - Emanuele Cesena, Marco Pedicini, Luca Roversi:
Typing a Core Binary Field Arithmetic in a Light Logic. - Xiaofu Wu, Chunming Zhao, Xiaohu You:
Joint LDPC and Physical-layer Network Coding for Asynchronous Bi-directional Relaying. - Loet Leydesdorff:
Hyperincursive Cogitata and Incursive Cogitantes: Scholarly Discourse as a Strongly Anticipatory System. - Georg Böcherer, Fabian Altenbach, Martina Malsbender, Rudolf Mathar:
Writing on the Facade of RWTH ICT Cubes: Cost Constrained Geometric Huffman Coding. - Yanjun Ma, Jiandong Li, Rui Chen:
Distributed Interference Alignment with Low Overhead. - Roberto Roverso, Amgad Naiem, Mohammed El-Beltagy, Sameh El-Ansary:
GPU-Based Heuristic Solver for Linear Sum Assignment Problems Under Real-time Constraints. - Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg:
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking. - Erik D. Demaine, Martin L. Demaine, Sarah Eisenstat, Anna Lubiw, Andrew Winslow:
Algorithms for Solving Rubik's Cubes. - D. Bennet, S. Arumuga Perumal:
Fingerprint: DWT, SVD Based Enhancement and Significant Contrast for Ridges and Valleys Using Fuzzy Measures. - Alireza Vahid, Vaneet Aggarwal, Amir Salman Avestimehr, Ashutosh Sabharwal:
Wireless Network Coding with Local Network Views: Coded Layer Scheduling. - Narad Rampersad, Jeffrey O. Shallit:
Shuffling and Unshuffling. - Ping Xia, Han-Shin Jo, Jeffrey G. Andrews:
Fundamentals of Inter-cell Overhead Signaling in Heterogeneous Cellular Networks. - Ali Jalali, Pradeep Ravikumar, Sujay Sanghavi:
A Dirty Model for Multiple Sparse Regression. - Geoffrey A. Hollinger, Urbashi Mitra, Gaurav S. Sukhatme:
Active Classification: Theory and Application to Underwater Inspection. - P. Kabir, M. H. Shafinia, Pedram Pad, Farrokh Marvasti:
Capacity of Synchronous CDMA Systems with Near-Far Effects and Design of Suboptimum Signature Codes. - Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada:
Minimum Certificate Dispersal with Tree Structures. - Alexandru Costan, Florin Pop, Corina Stratan, Ciprian Dobre, Catalin Adrian Leordeanu, Valentin Cristea:
An Architectural Model for a Grid based Workflow Management Platform in Scientific Applications. - Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh:
A Comparison of Lex Bounds for Multiset Variables in Constraint Programming. - Gerald Schubert, Holger Fehske, Georg Hager, Gerhard Wellein:
Hybrid-parallel sparse matrix-vector multiplication with explicit communication overlap on current multicore-based systems. - Jitesh Dundas, David Chik:
Implementing Human-like Intuition Mechanism in Artificial Intelligence. - Salvador Gabarda, Gabriel Cristóbal:
Image denoising assessment using anisotropic stack filtering. - Francisco Durán, Vlad Rusu:
Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, AMMSE 2011, Zurich, Switzerland, 30th June 2011. EPTCS 56, 2011 [contents] - Venkata Ravinder Paruchuri:
Entropy of Telugu. - Mohammed Eunus Ali, Egemen Tanin, Rui Zhang, Kotagiri Ramamohanarao:
Probabilistic Voronoi Diagrams for Probabilistic Moving Nearest Neighbor Queries. - Lazaros Gkatzikis, Georgios S. Paschos, Iordanis Koutsopoulos:
The impact of energy constraints on the medium access. - André Panisson, Alain Barrat, Ciro Cattuto, Wouter Van den Broeck, Giancarlo Ruffo, Rossano Schifanella:
On the Dynamics of Human Proximity for Data Diffusion in Ad-Hoc Networks. - Nicolaie Popescu-Bodorin, Valentina Emilia Balas:
From Cognitive Binary Logic to Cognitive Intelligent Agents. - Maria Fox, Derek Long:
The 3rd International Planning Competition: Results and Analysis. - William P. Birmingham, Edmund H. Durfee, Sunju Park:
Use of Markov Chains to Design an Agent Bidding Strategy for Continuous Double Auctions. - Jérémie Chalopin, Shantanu Das, Arnaud Labourel, Euripides Markou:
Black Hole Search with Finite Automata Scattered in a Synchronous Torus. - Elaine M. Eschen, Xiaoqiang Wang:
Algorithms for Unipolar and Generalized Split Graphs. - Ragib Hasan, Randal C. Burns:
The Life and Death of Unwanted Bits: Towards Proactive Waste Data Management in Digital Ecosystems. - Harish Chintakunta, Hamid Krim:
Topological Fidelity in Sensor Networks. - Ciprian Dobre, Valentin Cristea, Iosif Legrand:
Simulation Framework for Modeling Large-Scale Distributed Systems. - Joan Boyar, Kim S. Larsen, Abyayananda Maiti:
A Comparison of Performance Measures via Online Search. - Denis Teissandier, Vincent Delos, Yves Couétard:
Operations on polytopes: application to tolerance analysis. - Jitesh Dundas:
Understanding Code Patterns - Analysis, Interpretation & Measurement. - Xiaowei Wang, Meixia Tao, Jianhua Mo, Youyun Xu:
Power and Subcarrier Allocation for Physical-Layer Security in OFDMA-based Broadband Wireless Networks. - Jianquan Liu, Meixia Tao, Youyun Xu:
Pairwise Check Decoding for LDPC Coded Two-Way Relay Block Fading Channels. - Mark Rowan:
Effects of Compensation, Connectivity and Tau in a Computational Model of Alzheimer's Disease. - Jitesh Dundas, David Chik:
IBSEAD: - A Self-Evolving Self-Obsessed Learning Algorithm for Machine Learning. - Jan A. Bergstra, Cornelis A. Middelburg:
On the behaviours produced by instruction sequences under execution. - Ludo Tolhuizen:
A generalisation of the Gilbert-Varshamov bound and its asymptotic evaluation. - Hyo-Sil Kim, Otfried Cheong:
The Cost of Bounded Curvature. - Leonardo Ermann, Alexei Chepelianskii, Dima Shepelyansky:
Towards two-dimensional search engines. - Mihai Niculescu, Sorin-Ion Zgura:
Computing trends using graphic processor in high energy physics. - Melvin Gauci, Tony J. Dodd, Roderich Gross:
Why 'GSA: A Gravitational Search Algorithm' Is Not Genuinely Based on the Law of Gravity. - Marco F. Duarte, Yonina C. Eldar:
Structured Compressed Sensing: From Theory to Applications. - Sandeep Katta:
Visual Secret Sharing Scheme using Grayscale Images. - Menelaos I. Karavelas, Eleni Tzanaki:
The maximum number of faces of the Minkowski sum of two convex polytopes. - Zakria Hussain, John Shawe-Taylor:
A Note on Improved Loss Bounds for Multiple Kernel Learning. - Yakov Nekrich:
External Memory Orthogonal Range Reporting with Fast Updates. - Katerina Ksystra, Konstantinos Barlas, Nikolaos Triantafyllou, Petros S. Stefaneas:
A Dynamic Algebraic Specification for Social Networks. - Sayed A. Hadei, Paeiz Azmi:
Low-Complexity Adaptive Channel Estimation over Multipath Rayleigh Fading Non-Stationary Channels Under CFO. - Gal Bar-Nissan, Danny Hendler, Adi Suissa:
A Dynamic Elimination-Combining Stack Algorithm. - Sanjay Karmakar, Mahesh K. Varanasi:
The Diversity Multiplexing Tradeoff of the MIMO Half-Duplex Relay Channel. - Jeong-woo Cho, Jean-Yves Le Boudec, Yuming Jiang:
On the Asymptotic Validity of the Decoupling Assumption for Analyzing 802.11 MAC Protocol. - Carol Davids, Alan Johnston, Kundan Singh, Henry Sinnreich, Wilhelm Wimmreuter:
SIP APIs for Voice and Video Communications on the Web. - Michael T. Goodrich, Pawel Pszona:
External-Memory Network Analysis Algorithms for Naturally Sparse Graphs. - Ronen Lerner, Oleg Kupervasser, Ehud Rivlin:
Pose and Motion from Omnidirectional Optical Flow and a Digital Terrain Map. - Sebastian Deorowicz:
Quadratic-time Algorithm for the String Constrained LCS Problem. - Andrew Roberts, Abdelhamid Tayebi:
Attitude Estimation and Position Control of VTOL UAVs using IMU and GPS Measurements. - Vincenzo Carbone:
Fractional counting of authorship to quantify scientific research output. - Amin Coja-Oghlan, Alan M. Frieze:
Analyzing Walksat on random formulas. - Fatiha Alabau-Boussouira, Piermarco Cannarsa, Roberto Guglielmi:
Indirect stabilization of weakly coupled systems with hybrid boundary conditions. - Lucas R. Peres, José F. Fontanari:
The media effect in Axelrod's model explained. - Fragkiskos Papadopoulos, Marián Boguñá, Dmitri V. Krioukov:
Popularity versus Similarity in Growing Networks. - Hang-Hyun Jo, Raj Kumar Pan, Kimmo Kaski:
Emergence of Bursts and Communities in Evolving Weighted Networks. - T. Clemson, T. S. Evans:
The Emergence of Leadership in Social Networks. - Thomas Courtat, Catherine Gloaguen, Stéphane Douady:
Hypergraphs and City Street Networks. - David R. Morrison, Susan E. Martonosi:
Characteristics of Optimal Solutions to the Sensor Location Problem. - Stanislaw Drozdz, Jaroslaw Kwapien, Andreas A. Ioannides:
Asymmetric random matrices: What do we need them for? - Soumyajyoti Biswas:
On mean field solutions of kinetic exchange opinion models. - Pawel Kondratiuk, Grzegorz Siudem, Janusz A. Holyst:
Analytical approach to model of scientific revolutions. - Pawel Kondratiuk, Janusz A. Holyst:
Model of communities isolation at hierarchical modular networks. - Gil Kalai:
How Quantum Computers Fail: Quantum Codes, Correlations in Physical Systems, and Noise Accumulation. - Mayer Humi:
A Modified EMD Algorithm and its Applications. - James P. Bagrow, Dashun Wang, Albert-László Barabási:
Collective response of human populations to large-scale emergencies. - (Withdrawn) BQP_p = PP for integer p > 2.
- Carlo Piccardi:
Finding and testing network communities by lumped Markov chains. - Chao Fan, Jin-Li Guo:
Research on the visitor flow pattern of Expo 2010. - Morten Vierling:
On control-constrained parabolic optimal control problems on evolving surfaces - theory and variational discretization. - François-Alex Bourque, Bao U. Nguyen:
Optimal Sensor Configurations for Rectangular Target Dectection. - Daniel J. McDonald, Cosma Rohilla Shalizi, Mark J. Schervish:
Risk bounds for time series without strong mixing. - Feng Chen, Aiguo Xu, Guangcai Zhang, Yingjun Li:
Prandtl number effects in MRT Lattice Boltzmann models for shocked and unshocked compressible fluids. - Sujith Vijay:
Monochromatic Progressions in Random Colorings. - Philipp Hennig:
Optimal Reinforcement Learning for Gaussian Systems. - Alexander V. Gnedin:
Dominance in the Monty Hall Problem. - Xiongping Dai:
The finite-step realizability of the joint spectral radius of a pair of d×d matrices one of which being rank-one. - Igor Kanovsky, Omer Yaary:
Model of Opinion Spreading in Social Networks. - Emilie Hogan, Doron Zeilberger:
A New Algorithm for Proving Global Asymptotic Stability of Rational Difference Equations. - Katarzyna Sznajd-Weron, M. Tabiszewski, André M. Timpanaro:
Phase transition in the Sznajd model with independence. - Andrew Suk:
$k$-quasi planar graphs. - Ping Li, Anshumali Shrivastava, Joshua L. Moore, Arnd Christian König:
Hashing Algorithms for Large-Scale Learning. - Mark Rudelson, Shuheng Zhou:
Reconstruction from anisotropic random measurements. - Yanyan Zhuang, Jianping Pan:
Random Distances Associated with Rhombuses. - Gitta Kutyniok, Morteza Shahram, Xiaosheng Zhuang:
ShearLab: A Rational Design of a Digital Parabolic Scaling Algorithm. - Gitta Kutyniok, Jakob Lemvig, Wang-Q Lim:
Shearlets and Optimally Sparse Approximations. - Simon B. Kogan, Oleg Kupervasser:
Domain Hierarchy of Protein Loop-Lock Structure (DHoPLLS): a server for decomposition of a protein structure on set of closed loops. - Nicolas Burq, Maciej Zworski:
Control for Schroedinger operators on tori. - Mark M. Wilde:
From Classical to Quantum Shannon Theory. - Arvind Ayyer:
Determinants and Perfect Matchings. - Serge Galam:
Market efficiency, anticipation and the formation of bubbles-crashes. - Amir Bashan, Shlomo Havlin:
The combined effect of connectivity and dependency links on percolation of networks. - David F. Gleich, Art B. Owen:
Moment based estimation of stochastic Kronecker graph parameters. - Loïc Michel:
Model-free control of non-minimum phase systems and switched systems. - Mostafa Bendahmane, Felipe Wallison Chaves Silva:
Controllability of Degenerating Reaction-Diffusion System in Electrocardiology. - Jeroen Bédorf, Evghenii Gaburov, Simon Portegies Zwart:
A sparse octree gravitational N-body code that runs entirely on the GPU processor. - Ryan Prescott Adams, Richard S. Zemel:
Ranking via Sinkhorn Propagation. - Mohammad Shoaib Jamall:
A Brooks' Theorem for Triangle-Free Graphs. - Padmini Mukkamala, Dömötör Pálvölgyi:
Drawing cubic graphs with the four basic slopes. - Joachim Mathiesen, Pernille Yde, Mogens H. Jensen:
The emergence of complex patterns in online human communication. - Thierry Huillet:
A Bose-Einstein Approach to the Random Partitioning of an Integer. - Ge Wang, Jie Zhang, Hao Gao, Victor Weir, Hengyong Yu, Wenxiang Cong, Xiaochen Xu, Haiou Shen, James Bennett, Yue Joseph Wang, Michael W. Vannier:
Omni-tomography/Multi-tomography -- Integrating Multiple Modalities for Simultaneous Imaging. - Vincenzo Nicosia, John Kit Tang, Mirco Musolesi, Giovanni Russo, Cecilia Mascolo, Vito Latora:
Components in time-varying graphs. - Yanyan Zhuang, Jianping Pan:
Random Distances Associated with Hexagons. - Pedro Contreras, Fionn Murtagh:
Fast, Linear Time Hierarchical Clustering using the Baire Metric. - Hugo Jiménez-Pérez, Santiago López de Medrano:
On Alfred Gray's Elliptical Catenoid. - Daniel J. Hsu, Sham M. Kakade, Tong Zhang:
An Analysis of Random Design Linear Regression. - Víctor Blanco, Safae El-Haj Ben-Ali, Justo Puerto:
A Semidefinite Programming approach for minimizing ordered weighted averages of rational functions. - Lars Eirik Danielsen:
Classification of Hermitian self-dual additive codes over GF(9). - Shaun Lichter, Christopher Griffin, Terry L. Friesz:
A Game Theoretic Perspective on Network Topologies. - Kazuhiro Suzuki:
An f-chromatic spanning forest of edge-colored complete bipartite graphs. - Noah J. Cowan, Erick J. Chastain, Daril A. Vilhena, James S. Freudenberg, Carl T. Bergstrom:
Controllability of Real Networks. - Sang Hoon Lee, Petter Holme:
Pathlength scaling in graphs with incomplete navigational information. - Edoardo Ballico, Michele Elia, Massimiliano Sala:
Complexity of multivariate polynomial evaluation. - Richard H. Stockbridge, Chao Zhu:
On Optimal Harvesting in Stochastic Environments: Optimal Policies in a Relaxed Model. - Runhuan Feng, Shuaiqi Zhang, Chao Zhu:
Optimal Dividend Payments for the Piecewise-Deterministic Poisson Risk Model. - Leonid Gurvits:
Unharnessing the power of Schrijver's permanental inequality. - Andrei N. Soklakov:
Learning, investments and derivatives. - Pawel Oswiecimka, Jaroslaw Kwapien, Iwona Celinska, Stanislaw Drozdz, Rafal Rak:
Computational approach to multifractal music. - Omid Kavehei, Said F. Al-Sarawi, Kyoung-Rok Cho, Kamran Eshraghian, Derek Abbott:
An Analytical Approach for Memristive Nanoarchitectures. - Sara Cuenda, Juan A. Crespo:
Simple rules govern finite-size effects in scale-free networks. - Marcel Nutz:
A Quasi-Sure Approach to the Control of Non-Markovian Stochastic Differential Equations. - Olivier Guéant, Charles-Albert Lehalle, Joaquin Fernandez Tapia:
Optimal Portfolio Liquidation with Limit Orders. - Matthew J. Graham:
The Art of Data Science. - Dale Daniel, Timothy H. McNicholl:
Effective local connectivity properties. - Zimo Yang, Ai-Xiang Cui, Tao Zhou:
Impact of Heterogeneous Human Activities on Epidemic Spreading. - Shaun Lichter, Christopher Griffin, Terry L. Friesz:
Link Biased Strategies in Network Formation Games. - Liane Gabora, Apara Ranjan:
How Insight Emerges in a Distributed, Content-addressable Memory. - Christos Dimitrakakis, Constantin A. Rothkopf:
Bayesian multitask inverse reinforcement learning. - Man-Chung Yeung:
An introduction to ML(n)BiCGStab. - Artemy Kolchinsky, Luis M. Rocha:
Prediction and Modularity in Dynamical Systems. - Li Li:
The Asymptotic Mandelbrot Law of Some Evolution Networks. - János Körner, Silvia Messuti, Gábor Simonyi:
Families of graph-different Hamilton paths. - Peter Situmbeko Nalitolela, Nikolai Dokuchaev:
Frequency Criteria for Optimal Control Existence of Stochastic Models. - Gary B. Hughes, Mohcine Chraibi:
Calculating ellipse overlap areas.