Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarCoRR, July 2011
- Ahmed Al-Ani, Mohamed 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. - William E. Walsh, Michael P. Wellman:
Decentralized Supply Chain Formation: A Market Protocol and Competitive Equilibrium Analysis. - 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. - Mark-Jan Nederhof, Giorgio Satta:
IDL-Expressions: A Formalism for Representing and Parsing Finite Languages in Natural Language Processing. - 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. - 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. - Risto Miikkulainen, Kenneth O. Stanley:
Competitive Coevolution through Evolutionary Complexification. - 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. - 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. - 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. - Geoffrey J. Gordon, Nicholas Roy, Sebastian Thrun:
Finding Approximate POMDP solutions Through Belief Compression. - Victor A. Campos, Cláudia Linhares Sales, Ana Karolinna Maia, Nícolas A. 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. - 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 - 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. - 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. - Markus Chimani, Martin Derka, Petr Hlinený, Matej Klusácek:
How Not to Characterize Planar-emulable Graphs. - Jordi Fortuny Andreu, Bernat Corominas-Murtra:
On ambiguity. Its locus in the architecture of Language and its origin in efficient communication. - Antonio Fernández Anta, Miguel A. Mosteiro, Jorge Ramón Muñoz:
Unbounded Contention Resolution in Multiple-Access Channels. - 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. - 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. - Adrian Silvescu, Vasant Honavar:
Abstraction Super-structuring Normal Forms: Towards a Theory of Structural Induction. - 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. - 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] - Suprijadi, Thomas Muliawan, Sparisoma Viridi:
Automatic Road Lighting System (ARLS) Model Based on Image Processing of Moving Object. - Aparna Das, Emden R. Gansner, Michael Kaufmann, Stephen G. Kobourov, Joachim Spoerhase, Alexander Wolff:
Approximating Minimum Manhattan Networks in Higher Dimensions. - 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. - 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, A. 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. - Basanna V. Dhandra, Mallikarjun Hangarge, Gururaj Mukarambi:
Spatial Features for Multi-Font/Multi-Size Kannada Numerals and Vowels Recognition. - Antonio Fernández Anta, Andrés Sevilla, Alberto Mozo:
Distance-based Node Sampling using Drifting Random Walks. - 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. - 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. - Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan:
Real-Reward Testing for Probabilistic Processes (Extended Abstract). 61-73 - 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 - 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.