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.