225 |
On the Logic of Normative Systems |
Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles
Sierra, Michael Wooldridge |
233 |
Quantified Coalition Logic |
Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
223 |
The Mathematical Morpho-Logical View on Reasoning about Space |
Marco Aiello, Brammert Ottens |
972 |
AWA* . A Window Constrained Anytime Heuristic Search Algorithm |
Sandip Aine, Partha P. Chakrabarti, Rajeev Kumar |
546 |
Detecting Stochastically Scheduled Activities in Video |
Massimiliano Albanese, Vincenzo Moscato, Antonio Picariello, V.S.
Subrahmanian, Octavian Udrea |
448 |
An Axiomatic Approach to Personalized Ranking Systems |
Alon Altman, Moshe Tennenholtz |
618 |
Keep the Decision Tree and Estimate the Class Probabilities using its
Decision Boundary |
Isabelle Alvarez, Stephan Bernard, Guillaume Deffuant |
480 |
Solving POMDPs Using Quadratically Constrained Linear Programs |
Christopher Amato, Daniel S. Bernstein, Shlomo Zilberstein |
1017 |
Market Based Resource Allocation with Incomplete Information |
Bo An, Chunyan Miao, Zhiqi Shen |
887 |
Updates for Nonlinear Discriminants |
Edin Andelic, Martin Schafföner, Marcel Katz, Sven E. Krüger, Andreas
Wendemuth |
495 |
The Logic Behind Weighted CSP |
Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà |
564 |
Distributed Data Mining: Why Do More Than Aggregating Models |
Mohamed Aoun-Allah, Guy Mineau |
604 |
An Information-Theoretic Analysis of Memory Bounds in a Distributed Resource
Allocation Mechanism |
Ricardo M. Araujo, Luis C. Lamb |
650 |
A Description Logic of Change |
Alessandro Artale, Carsten Lutz, David Toman |
1775 |
Effective Control Knowledge Transfer Through Learning Skill and
Representation Hierarchies |
Mehran Asadi, Manfred Huber |
594 |
From Generic Knowledge to Specific Reasoning for Medical Image
Interpretation using Graph based Representations |
Jamal Atif, Céline Hudelot, Geoffroy Fouquier, Isabelle Bloch, Elsa
Angelini |
227 |
GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability |
Gilles Audemard, Laurent Simon |
300 |
Symmetry Breaking in Quantified Boolean Formulae |
Gilles Audemard, Saïd Jabbour, Lakhdar Saïs |
296 |
Image Modeling using Tree Structured Conditional Random Fields |
Pranjal Awasthi, Aakanksha Gagrani, Balaraman Ravindran |
432 |
Completing Description Logic Knowledge Bases using Formal Concept
Analysis |
Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler |
1159 |
Stable Biclustering of Gene Expression Data with Nonnegative Matrix
Factorizations |
Liviu Badea, Doina Tilivea |
298 |
A Fully Connectionist Model Generator for Covered First-Order Logic
Programs |
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas
Witzel |
1506 |
A Heuristic Search Approach to Planning with Temporally Extended
Preferences |
Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith |
1398 |
Determining Expert Profiles (With an Application to Expert Finding) |
Krisztian Balog, Maarten de Rijke |
571 |
Learning .Forgiving. Hash Functions: Algorithms & Large Scale Tests |
Shumeet Baluja, Michele Covell |
1462 |
General Game Learning using Knowledge Transfer |
Bikramjit Banerjee, Peter Stone |
647 |
Open Information Extraction from the Web |
Michele Banko, Michael J. Cafarella, Stephen Soderland, Matt Broadhead, Oren
Etzioni |
1600 |
Non-monotonic Temporal Logics for Goal Specification |
Chitta Baral, Jicheng Zhao |
1589 |
Using the Probabilistic Logic Programming Language P-log for Causal and
Counterfactual Reasoning and Non-Naive Conditioning |
Chitta Baral, Matt Hunsaker |
1354 |
Computational Aspects of Analyzing Social Network Dynamics |
Chris Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J.
Rosenkrantz, Richard E. Stearns, Mayur Thakur |
1291 |
A Machine Learning Approach for Statistical Software Testing |
Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel, Sandrine-Dominique
Gouraud |
276 |
Learning by Analogy: A Classification Rule for Binary and Nominal Data |
Sabri Bayoudh, Laurent Miclet, Arnaud Delhay |
295 |
Trust Based Recommender System for Semantic Web |
Punam Bedi, Harmeet Kaur, Sudeep Marwaha |
442 |
Visually Tracking Football Games Based on TV Broadcasts |
Michael Beetz, Suat Gedikli, Jan Bandouch, Bernhard Kirchlechner, Nico von
Hoyningen-Huene, Alexander Perzylo |
1531 |
Interactive Clustering of Text Collections According to a User-Specified
Criterion |
Ron Bekkerman, Hema Raghavan, James Allan, Koji Eguchi |
1429 |
Web Page Clustering using Heuristic Search in the Web Graph |
Ron Bekkerman, Shlomo Zilberstein, James Allan |
1679 |
Context-Driven Predictions |
Marc G. Bellemare, Doina Precup |
1452 |
QCSP Made Practical by Virtue of Restricted Quantification |
Marco Benedetti, Arnaud Lallouet, Jérémie Vautard |
1529 |
On the Compilation of Stratified Belief Bases under Linear and Possibilistic
Logic Policies |
Salem Benferhat, Safa Yahi, Habiba Drias |
139 |
Waiting and Relocation Strategies in Online Stochastic Vehicle Routing |
Russell Bent, Pascal Van Hentenryck |
1355 |
Learning Implied Global Constraints |
Christian Bessiere, Remi Coletta, Thierry Petit |
1338 |
Query-Driven Constraint Acquisition |
Christian Bessiere, Remi Coletta, Barry O.Sullivan, Mathias Paulin |
725 |
Phonetic Models for Generating Spelling Variants |
Rahul Bhagat, Eduard Hovy |
348 |
Heuristic Selection of Actions in Multiagent Reinforcement Learning |
Reinaldo A. C. Bianchi, Carlos H. C. Ribeiro, Anna H. R. Costa |
1160 |
Unsupervised Discretization Using Kernel Density Estimation |
Marenglen Biba, Floriana Esposito, Stefano Ferilli, Nicola Di Mauro, Teresa
Maria Altomare Basile |
1105 |
A General Framework for Scheduling in a Stochastic Environment |
Julien Bidot, Thierry Vidal, Philippe Laborie, John Christopher
Beck |
259 |
Entailment Semantics for Rules with Priorities |
David Billington |
1191 |
Sequence Prediction Exploiting Similary Information |
István Bíró, Zoltán Szamonek, Csaba Szepesvári |
112 |
Coalitions in Action Logic |
Stefano Borgo |
84 |
Higher-Order Potentialities and their Reducers: A Philosophical Foundation
Unifying Dynamic Modeling Methods |
Tibor Bosse, Jan Treur |
755 |
Fast Planning with Iterative Macros |
Adi Botea, Martin Müller, Jonathan Schaeffer |
809 |
New Constraint Programming Approaches for the Computation of Leximin-Optimal
Solutions in Constraint Networks |
Sylvain Bouveret, Michel Lema?tre |
585 |
A Game-Theoretic Analysis of Strictly Competitive Multiagent Scenarios |
Felix Brandt, Felix Fischer, Paul Harrenstein, Yoav Shoham |
881 |
Spiteful Bidding in Sealed-Bid Auctions |
Felix Brandt, Tuomas Sandholm, Yoav Shoham |
723 |
Identifying Expressions of Opinion in Context |
Eric Breck, Yejin Choi, Claire Cardie |
1168 |
Mediating between Qualitative & Quantitative Representations for
Task-Orientated Human-Robot Interaction |
Michael Brenner, Nick Hawes, John Kelleher, Jeremy Wyatt |
438 |
Contextual Default Reasoning |
Gerhard Brewka, Floris Roelofsen, Luciano Serafini |
1158 |
Case-based Multilabel Ranking |
Klaus Brinker, Eyke Hüllermeier |
762 |
Efficient and Robust Independence-Based Markov Network Structure
Discovery |
Facundo Bromberg, Dimitris Margaritis |
238 |
Fast Image Alignment Using Anytime Algorithms |
Rupert Brooks, Tal Arbel, Doina Precup |
180 |
Planning for Gene Regulatory Network Intervention |
Daniel Bryce, Seungchan Kim |
--- |
Cooperating Reasoning Processes: More than Just the Sum of Their Parts |
Alan Bundy |
1445 |
Exploiting Known Taxonomies in Learning Overlapping Concepts |
Lijuan Cai, Thomas Hofmann |
141 |
Locality Sensitive Discriminant Analysis |
Deng Cai, Xiaofei He, Kun Zhou, Han , Bao |
536 |
EQL-Lite: Effective First-Order Query Processing in Description Logics |
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini,
Riccardo Rosati |
1349 |
Multi-Dimensional Bid Improvement Algorithm for Simultaneous Auctions |
Teddy Candale, Sandip Sen |
726 |
Detect and Track Latent Factors with Online Nonnegative Matrix
Factorization |
Bin Cao, Dou Shen, Jian-Tao Sun, Xuanhui Wang, Qiang Yang, Zheng
Chen |
1474 |
Learning Semantic Descriptions of Web Information Sources |
Mark James Carman, Craig A. Knoblock |
617 |
Using Linear Programming for Bayesian Exploration in Markov Decision
Processes |
Pablo Samuel Castro, Doina Precup |
621 |
Bidding Languages and Winner Determination for Mixed Multi-unit
Combinatorial Auctions |
Jesús Cerquides, Ulle Endriss, Andrea Giovannucci, Juan A.
Rodríguez-Aguilar |
1307 |
Supervised Latent Semantic Indexing using Adaptive Sprinkling |
Sutanu Chakraborti, Rahman Mukras, Robert Lothian, Nirmalie Wiratunga,
Stuart Watt, David Harper |
345 |
Coalitional Bargaining with Agent Type Uncertainty |
Georgios Chalkiadakis, Craig Boutilier |
681 |
Learning to Walk through Imitation |
Rawichote Chalodhorn, David B. Grimes, Keith Grochow, Rajesh P.N.
Rao |
1683 |
An Improved Probabilistic Ant based Clustering for Distributed
Databases |
Ramachandran Chandrasekar, Thanukrishnan Srinivasan |
776 |
Compiling Bayesian Networks Using Variable Elimination |
Mark Chavira, Adnan Darwiche |
237 |
Directed Graph Embedding |
Mo Chen, Qiong Yang, Xiaoou Tang |
1409 |
Long-Distance Mutual Exclusion for Propositional Planning |
Yixin Chen, Zhao Xing, Weixiong Zhang |
1471 |
Iterated Weaker-than-Weak Dominance |
Shih-Fen Cheng, Michael P. Wellman |
411 |
A Lattice-based Approach to Computing Warranted Beliefs in Skeptical
Argumentation Frameworks |
Carlos Iván Chesñevar, Guillermo Ricardo Simari |
544 |
Reaching Envy-Free States in Distributed Negotiation Settings |
Yann Chevaleyre, Ulle Endriss, Sylvia Estivie, Nicolas Maudet |
497 |
Privacy and Artificial Agents, or, Is Google Reading My Email? |
Samir Chopra, Laurence White |
1247 |
Representing Kriegspiel States with Metapositions |
Paolo Ciancarini, Gian Piero Favini |
1237 |
Towards an Integration of Golog and Planning |
Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel |
1428 |
Constructing Career Histories: A Case Study in Disentangling the
Threads |
Paul R. Cohen |
799 |
Learning and Transferring Action Schemas |
Paul R. Cohen, Yu-Han Chang, Clayton T. Morrison, Carole Beal |
353 |
Incremental Mechanism Design |
Vincent Conitzer, Tuomas Sandholm |
926 |
A Framework for Decentralized Qualitative Model-Based Diagnosis |
Luca Console, Claudia Picardi, Daniele Theseider Duprè |
1169 |
Optimal Soft Arc Consistency |
Martin C. Cooper, Simon de Givry, Thomas Schiex |
154 |
Exploiting Independence in a Decentralised and Incremental Approach of
Diagnosis |
Marie-Odile Cordier, Alban Grastien |
592 |
A Conceptual Graph approach for the generation of referring expressions |
Madalina Croitoru, Kees Van Deemter |
1261 |
Online Learning and Exploiting Relational Models in Reinforcement
Learning |
Tom Croonenborghs, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe |
936 |
A Logical Framework for Modularity of Ontologies |
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike
Sattler |
1540 |
When is Temporal Planning Really Temporal? |
William Cushing, Subbarao Kambhampati, Mausam, Daniel S. Weld |
1523 |
Permanents, Transport Polytopes and Positive Definite Kernels on
Histograms |
Marco Cuturi |
1470 |
Utile Distinctions for Relational Reinforcement Learning |
William Dabney, Amy McGovern |
1040 |
Boosting Kernel Discriminant Analysis and Its Application on Tissue
Classification of Gene Expression Data |
Guang Dai, Dit-Yan Yeung |
1064 |
Topological Value Iteration Algorithm for Markov Decision Processes |
Peng Dai, Judy Goldsmith |
272 |
Case Base Mining for Adaptation Knowledge Acquisition |
Mathieu d.Aquin, Fadi Badra, Sandrine Lafrogne, Jean Lieber, Amedeo Napoli,
Laszlo Szathmary |
1472 |
Change of Representation for Statistical Relational Learning |
Jesse Davis, Irene Ong, Jan Struyf, Elizabeth Burnside, David Page, V?tor
Santos Costa |
421 |
Embedding Non-Ground Logic Programs into Autoepistemic Logic for
Knowledge-Base Combination |
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits |
450 |
Automatic Synthesis of New Behaviors from a Library of Available
Behaviors |
Giuseppe De Giacomo, Sebastian Sardina |
601 |
Modeling When Connections Are the Problem |
Johan de Kleer |
641 |
ProbLog: A Probabilistic Prolog and Its Application in Link Discovery |
Luc De Raedt, Angelika Kimmig, Hannu Toivonen |
964 |
Belief Change Based on Global Minimisation |
James P. Delgrande, Jérôme Lang, Torsten Schaub |
646 |
A Ranking Approach to Pronoun Resolution |
Pascal Denis, Jason Baldridge |
1469 |
Pseudo-Aligned Multilingual Corpora |
Fernando Diaz, Donald Metzler |
744 |
Learning Policies for Embodied Virtual Agents through Demonstration |
Jonathan Dinerstein, Parris K. Egbert, Dan Ventura |
554 |
Tractable Temporal Reasoning |
Clare Dixon, Michael Fisher, Boris Konev |
1370 |
Planning with Goal Utility Dependencies |
Minh B. Do, J. Benton, Menkes van den Briel, Subbarao Kambhampati |
167 |
Chronicle Recognition Improvement using Temporal Focusing and
Hierarchization |
Christophe Dousson, Pierre Le Maigat |
1178 |
Locating Complex Named Entities in Web Text |
Doug Downey, Matthew Broadhead, Oren Etzioni |
1465 |
Models of Searching and Browsing: Languages, Studies, and Application |
Doug Downey, Susan Dumais, Eric Horvitz |
1617 |
Sharing the Road: Autonomous Vehicles Meet Human Drivers |
Kurt Dresner, Peter Stone |
708 |
Word Sense Disambiguation through Sememe Labeling |
Xiangyu Duan, Jun Zhao, Bo Xu |
675 |
Learning Classifiers When the Training Data Is Not IID |
Murat Dundar, Balaji Krishnapuram, Jinbo Bi, R. Bharat Rao |
851 |
Communicating Effectively in Resource-Constrained Multi-Agent Systems |
Partha S. Dutta, Claudia V. Goldman, Nicholas R. Jennings |
1075 |
Kernel Carpentry for Online Regression using Randomly Varying Coefficient
Model |
Narayanan U. Edakunni, Stefan Schaal, Sethu Vijayakumar |
1610 |
Complexity Results for Checking Equivalence of Stratified Logic
Programs |
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran |
1625 |
On Reversing Actions: Algorithms and Complexity |
Thomas Eiter, Esra Erdem, Wolfgang Faber |
951 |
Case-Based Techniques Used for Dialogue Understanding and Planning in a
Human-Robot Dialogue System |
Karolina Eliasson |
485 |
An Adaptive Context-based Algorithm for Term Weighting: Application to
Single-Word Question Answering |
Marco Ernandes, Giovanni Angelini, Marco Gori, Leonardo Rigutini, Franco
Scarselli |
74 |
Occam.s Razor Just Got Sharper |
Saher Esmeir, Shaul Markovitch |
1145 |
Fault-Model-Based Test Generation for Embedded Software |
Michael Esser, Peter Struss |
142 |
Semantic Precision and Recall for Ontology Alignment Evaluation |
Jérôme Euzenat |
712 |
The Value of Observation for Monitoring Dynamic Systems |
Eyal Even-Dar, Sham M. Kakade, Yishay Mansour |
488 |
Operator Component Matrix Model for IMP Program Diagnosis |
Zhao-Fu Fan, Yunfei Jiang |
304 |
On Valued Negation Normal Form Formulas |
Hélène Fargier, Pierre Marquis |
403 |
Dealing with Perception Errors in Multi-Robot System Coordination |
Alessandro Farinelli, Daniele Nardi, Paul Scerri, Alberto Ingenito |
1359 |
Team Programming in Golog under Partial Observability |
Alessandro Farinelli, Alberto Finzi, Thomas Lukasiewicz |
1342 |
Quantified Constraint Satisfaction Problems: From Relaxations to
Explanations |
Alex Ferguson, Barry O.Sullivan |
677 |
A Decision-Theoretic Model of Assistance |
Alan Fern, Sriraam Natarajan, Kshitij Judah, Prasad Tadepalli |
956 |
Sequence Labelling in Structured Domains with Hierarchical Recurrent Neural
Networks |
Santiago Fernández, Alex Graves, Jürgen Schmidhuber |
507 |
Transferring Learned Control-Knowledge between Planners |
Susana Fernández, Ricardo Aler, Daniel Borrajo |
1440 |
A Logic Program Characterization of Causal Theories |
Paolo Ferraris |
1449 |
A New Perspective on Stable Models |
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz |
1651 |
WiFi-SLAM Using Gaussian Process Latent Variable Models |
Brian Ferris, Dieter Fox, Neil Lawrence |
247 |
Conflict-Based Diagnosis: Adding Uncertainty to Model-based Diagnosis |
Ildikó Flesch, Peter Lucas, Theo van der Weide |
466 |
A New Approach for Stereo Matching in Autonomous Mobile Robot
Applications |
Pasquale Foggia, Jean-Michel Jolion, Alessandro Limongiello, Mario
Vento |
1488 |
Voronoi Random Fields: Extracting Topological Structure of Indoor
Environments via Place Labeling |
Stephen Friedman, Hanna Pasula, Dieter Fox |
1193 |
The Design of ESSENCE: A Constraint Language for Specifying Combinatorial
Problems |
Alan M. Frisch, Matthew Grum, Chris Jefferson, Bernadette Mart?nez
Hern?ndez, Ian Miguel |
878 |
Semi-Supervised Learning for Multi-Component Data Classification |
Akinori Fujino, Naonori Ueda, Kazumi Saito |
90 |
Predicting and Preventing Coordination Problems in Cooperative Q-learning
Systems |
Nancy Fulda, Dan Ventura |
1371 |
Feature Selection and Kernel Design via Linear Programming |
Glenn Fung, Romer Rosales, R. Bharat Rao |
410 |
Opinion Sentence Search Engine on Open-domain Blog |
Osamu Furuse, Nobuaki Hiroshima, Setsuo Yamada, Ryoji Kataoka |
1106 |
Computing Semantic Relatedness using Wikipedia-based Explicit Semantic
Analysis |
Evgeniy Gabrilovich, Shaul Markovitch |
1241 |
Learning Restart Strategies |
Matteo Gagliolo, Jürgen Schmidhuber |
645 |
Incremental Construction of Structured Hidden Markov Models |
Ugo Galassi, Attilio Giordana, Lorenza Saitta |
875 |
On Mining Closed Sets in Multi-Relational Data |
Gemma C. Garriga, Roni Khardon, Luc De Raedt |
1095 |
Holonic Multiagent Multilevel Simulation: Application to Real-Time
Pedestrian Simulation in Urban Environment |
Nicolas Gaud, Franck Gechter, Stéphane Galland, Abderrafiâa Koukam |
841 |
Coordination to Avoid Starvation of Bottleneck Agents in a Large Network
System |
Rajesh Gautam, Kazuo Miyashita |
131 |
Conflict-Driven Answer Set Solving |
Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub |
1203 |
On Natural Language Processing and Plan Recognition |
Christopher W. Geib, Mark Steedman |
567 |
Ranking Alternatives on the Basis of Generic Constraints and Examples -- A
Possibilistic Approach |
Romain Gérard, Souhila Kaci, Henri Prade |
1246 |
Sellers Competing for Buyers in Online Markets: Reserve Prices, Shill Bids,
and Auction Fees |
Enrico H. Gerding, Alex Rogers, Rajdeep K. Dash, Nicholas R.
Jennings |
1643 |
Improving Embeddings by Flexible Exploitation of Side Information |
Ali Ghodsi, Dana Wilkinson, Finnegan Southey |
1486 |
Information-Theoretic Approaches to Branching in Search |
Andrew Gilpin, Tuomas Sandholm |
673 |
State Similarity Based Approach for Improving Performance in RL |
Sertan Girgin, Faruk Polat, Reda Alhajj |
337 |
Conjunctive Query Answering for the Description Logic SHIQ |
Birte Glimm, Ian Horrocks, Carsten Lutz, Uli Sattler |
1453 |
From Sampling to Model Counting |
Carla P. Gomes, Joerg Hoffmann, Ashish Sabharwal, Bart Selman |
243 |
ItemRank: A Random-Walk Based Scoring Algorithm for Recommender Engines |
Marco Gori, Augusto Pucci |
923 |
Complexity of Pure Equilibria in Bayesian Games |
Georg Gottlob, Gianluigi Greco, Toni Mancini |
699 |
Conditional Constraint Satisfaction: Logical Foundations and Complexity |
Georg Gottlob, Gianluigi Greco, Toni Mancini |
1563 |
Peripheral-Foveal Vision for Real-time Object Recognition and Tracking in
Video |
Stephen Gould, Joakim Arfvidsson, Adrian Kaehler, Benjamin Sapp, Marius
Messner, Gary Bradski, Paul Baumstarck, Sukwon Chung, Andrew Y. Ng |
1340 |
Generalized Interval Projection: A New Technique for Consistent Domain
Extension |
Carlos Grandón, Gilles Chabert, Bertrand Neveu |
1152 |
Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search
Oracle |
Éric Grégoire, Bertrand Mazure, Cédric Piette |
1593 |
Decidable Reasoning in a Modified Situation Calculus |
Yilan Gu, Mikhail Soutchanski |
1658 |
Optimistic Active-Learning using Mutual Information |
Yuhong Guo, Russ Greiner |
1674 |
A Dual-Pathway Neural Network Model of Control Relinquishment in Motor Skill
Learning |
Ashish Gupta, David C. Noelle |
1109 |
Using Ontologies and the Web to Learn Lexical Semantics |
Aarti Gupta, Tim Oates |
1825 |
Unsupervised Anomaly Detection |
David Guthrie, Louise Guthrie, Ben Allison, Yorick Wilks |
1356 |
Continuous Time Associative Bandit Problems |
András György, Levente Kocsis, Ivett Szabó, Csaba Szepesvári |
1212 |
Techniques for Efficient Interactive Configuration of Distribution
Networks |
Tarik Hadzic, Andrzej Wasowski, Henrik R. Andersen |
356 |
Characterizing Solution Concepts in Games Using Knowledge-Based
Programs |
Joseph Y. Halpern, Yoram Moses |
355 |
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal
Logic |
Joseph Y. Halpern, Leandro Chaves Rego |
1493 |
Some Effects of a Reduced Relational Vocabulary on the Whodunit Problem |
Daniel T. Halstead, Kenneth D. Forbus |
264 |
Revisiting Output Coding for Sequential Supervised Learning |
Guohua Hao, Alan Fern |
1639 |
Maximum Margin Coresets for Active and Noise Tolerant Learning |
Sariel Har-Peled, Dan Roth, Dav Zimak |
783 |
Reducing Accidental Complexity in Planning Problems |
Patrik Haslum |
1176 |
An Analysis of the Use of Tags in a Blog Recommender System |
Conor Hayes, Paolo Avesani, Sriharsha Veeramachaneni |
833 |
Graph-Based Semi-Supervised Learning as a Generative Model |
Jingrui He, Jaime Carbonell, Yan Liu |
1345 |
Distance Constraints in Constraint Satisfaction |
Emmanuel Hebrard, Barry O.Sullivan, Toby Walsh |
313 |
Hybrid Elections Broaden Complexity-Theoretic Resistance to Control |
Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe |
324 |
Real Boosting a la Carte with an Application to Boosting Oblique Decision
Tree |
Claudia Henry, Richard Nock, Frank Nielsen |
1042 |
Counting Complexity of Propositional Abduction |
Miki Hermann, Reinhard Pichler |
1018 |
Improving LRTA*(k) |
Carlos Hernández, Pedro Meseguer |
980 |
Efficient Calculation of Personalized Document Rankings |
Claudia Hess, Klaus Stein |
856 |
Planning via Petri Net Unfolding |
Sarah Hickmott, Jussi Rintanen, Sylvie Thiébaux, Lang White |
1662 |
Self-Adjusting Ring Modules (SARMs) for Flexible Gait Pattern
Generation |
Manfred Hild, Frank Pasemann |
1766 |
Analogical Learning in a Turn-Based Strategy Game |
Thomas R. Hinrichs, Kenneth D. Forbus |
541 |
Detecting Changes in Unlabeled Data Streams using Martingale |
Shen-Shyang Ho, Harry Wechsler |
185 |
SAT Encodings of State-Space Reachability Problems in Numeric Domains |
Jörg Hoffmann, Carla Gomes, Bart Selman, Henry Kautz |
1308 |
Truthful Risk-Managed Combinatorial Auctions |
Alan Holland, Barry O.Sullivan |
32 |
Adaptation of Organizational Models for Multi-Agent Systems based on Max
Flow Networks |
Mark Hoogendoorn |
1129 |
Structure Inference for Bayesian Multisensory Perception and Tracking |
Timothy M. Hospedales, Joel J. Cartwright, Sethu Vijayakumar |
1259 |
Constraint Partitioning for Solving Planning Problems with
TrajectoryConstraints and GoalPreferences |
Chih-Wei Hsu, Benjamin W. Wah, Ruoyun Huang, Yixin Chen |
400 |
Collaborative Inductive Logic Programming for Path Planning |
Jian Huang, Adrian R. Pearce |
686 |
Constructing New and Better Evaluation Measures for Machine Learning |
Jin Huang, Charles X. Ling |
406 |
Extracting Chatbot Knowledge from Online Discussion Forums |
Jizhou Huang, Ming Zhou, Dan Yang |
219 |
Observation Reduction for Strong Plans |
Wei Huang, Zhonghua Wen, Yunfei Jiang, Lihua Wu |
409 |
The Effect of Restarts on the Efficiency of Clause Learning |
Jinbo Huang |
1685 |
An Action Description Language for Iterated Belief Change |
Aaron Hunter, James P. Delgrande |
1383 |
Mechanism Design with Partial Revelation |
Nathanaël Hyafil, Craig Boutilier |
678 |
Augmented Experiment: Participatory Design with Multiagent Simulation |
Toru Ishida, Yuu Nakajima, Yohei Murakami, Hideyuki Nakanishi |
1190 |
Multi-issue Negotiation Protocol for Agents: Exploring Nonlinear Utility
Spaces |
Takayuki Ito, Hiromitsu Hattori, Mark Klein |
248 |
Using a Hierarchical Bayesian Model to Handle High Cardinality Attributes
with Relevant Interactions in a Classification Problem |
Jorge Jambeiro Filho, Jacques Wainer |
1780 |
Improving Anytime Point-Based Value Iteration Using Principled Point
Selections |
Michael R. James, Michael E. Samples, Dmitri A. Dolgov |
104 |
A Three-Stage Neural Model for Attribute Based Classification and Indexing
of Fly Ashes |
M.A. Jayaram, M.C. Nataraja, C.N. Ravikumar |
1485 |
Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPs |
Philippe Jégou, Samba Ndojh Ndiaye, Cyril Terrioux |
191 |
A Model for Collective Strategy Diffusion in Agent Social Law Evolution |
Yichuan Jiang, Toru Ishida |
843 |
Named Entity Translation with Web Mining and Transliteration |
Long Jiang, Ming Zhou, Lee-Feng Chien, Cheng Niu |
830 |
The Role of Macros in Tractable Planning over Causal Graphs |
Anders Jonsson |
1369 |
Fast Incremental Square Root Information Smoothing |
Michael Kaess, Ananth Ranganathan, Frank Dellaert |
1584 |
Improving Author Coreference by Resource-bounded Information Gathering from
the Web |
Pallika Kanani, Andrew McCallum, Chris Pal |
695 |
Selective Supervision: Guiding Supervised Learning with Decision-Theoretic
Active Learning |
Ashish Kapoor, Eric Horvitz, Sumit Basu |
1366 |
Exploiting Sensorimotor Coordination for Learning to Recognize Objects |
Yohannes Kassahun, Mark Edgington, Jose de Gea, Frank Kirchner |
1112 |
Factored Planning using Decomposition Trees |
Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux |
80 |
Property Persistence in the Situation Calculus |
Ryan F. Kelly, Adrian R. Pearce |
284 |
Computation of Initial Modes for K-modes Clustering Algorithm using Evidence
Accumulation |
Shehroz S. Khan, Shri Kant |
635 |
Symmetric Component Caching |
Matthew Kitching, Fahiem Bacchus |
590 |
Sequential Bundle-Bid Single-Sale Auction Algorithms for Decentralized
Control |
Sven Koenig, Craig Tovey, Xiaoming Zheng, Ilgaz Sungur |
1705 |
Optimizing Classifier Performance in Word Sense Disambiguation by Redefining
Sense Classes |
Upali S. Kohomban, Wee Sun Lee |
750 |
Avoidance of Model Re-Induction in SVM-based Feature Selection for Text
Categorization |
Aleksander Kolcz, Abdur Chowdhury |
1210 |
Building Portable Options: Skill Transfer in Reinforcement Learning |
George Konidaris, Andrew Barto |
140 |
Recent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of
Hanoi Problem |
Richard E. Korf, Ariel Felner |
845 |
A Factor Graph Model for Software Bug Finding |
Ted Kremenek, Andrew Y. Ng, Dawson Engler |
99 |
Logistic Regression Models for a Fast CBIR Method Based on Feature
Selection |
Riadh Ksantini, Djemel Ziou, Bernard Colin, Francois Dubeau |
663 |
Fast (Incremental) Algorithms for Useful Classes of Simple Temporal Problems
with Preferences |
T. K. Satish Kumar |
991 |
Learning from the Report-writing Behavior of Individuals |
Mohit Kumar, Nikesh Garera, Alexander I. Rudnicky |
163 |
Optimal Multi-Sensor based Multi Target Detection by Moving Sensors to the
Maximal Clique in a Covering Graph |
Ganesh P. Kumar, K. Madhava Krishna |
242 |
Collapsed Variational Dirichlet Process Mixture Models |
Kenichi Kurihara, Max Welling, Yee Whye Teh |
449 |
Handling Alternative Activities in Resource-Constrained Project Scheduling
Problems |
J?rgen Kuster, Jannach Dietmar, Gerhard Friedrich |
753 |
Marginalized Multi-Instance Kernels |
James T. Kwok, Pak-Ming Cheung |
205 |
SegGen: A Genetic Algorithm for Linear Text Segmentation |
Sylvain Lamprier, Tassadit Amghar, Bernard Levrat, Frederic
Saubion |
915 |
r-grams: Relational Grams |
Niels Landwehr, Luc De Raedt |
894 |
Belief Update Revisited |
Jérôme Lang |
948 |
Vote and Aggregation in Combinatorial Domains with Structured
Preferences |
Jérôme Lang |
1110 |
Winner Determination in Sequential Majority Voting |
Jérôme Lang, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby
Walsh |
792 |
Adaptive Genetic Algorithm with Mutation and Crossover Matrices |
Nga Lam Law, Kwok Yip Szeto |
904 |
A Study of Residual Supports in Arc Consistency |
Christophe Lecoutre, Fred Hemery |
898 |
Nogood Recording from Restarts |
Christophe Lecoutre, Lakhdar Sais, S?bastien Tabary, Vincent Vidal |
1153 |
Dynamically Weighted Hidden Markov Model for Spam Deobfuscation |
Seunghak Lee, Iryoung Jeong, Seungjin Choi |
693 |
RoxyBot-06: An (SAA)2 TAC Travel Agent |
Seong Jae Lee, Amy Greenwald, Victor Naroditskiy |
566 |
Combining Topological and Directional Information for Spatial Reasoning |
Sanjiang Li |
891 |
Generalized Additive Bayesian Network Classifiers |
Jianguo Li, Changshui Zhang, Tao Wang, Yimin Zhang |
1100 |
Generalizing the Bias Term of Support Vector Machines |
Wenye Li, Kwong-Sak Leung, Kin-Hong Lee |
381 |
Learning to Identify Unexpected Instances in the Test Set |
Xiao-li Li, Bing Liu, See-Kiong Ng |
114 |
Robust Object Tracking with a Case-base Updating Strategy |
Wenhui Liao, Yan Tong, Zhiwei Zhu, Qiang Ji |
1735 |
Training Conditional Random Fields using Virtual Evidence Boosting |
Lin Liao, Tanzeem Choudhury, Dieter Fox, Henry Kautz |
1141 |
Arc Consistency during Search |
Chavalit Likitvivatanavong, Yuanlin Zhang, Scott Shannon, James Bowen,
Eugene C. Freuder |
1664 |
Explanation-Based Feature Construction |
Shiau Hong Lim, Li-Lun Wang, Gerald DeJong |
1118 |
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving |
Han Lin, Kaile Su |
1170 |
From Answer Set Logic Programming to Circumscription via Logic of GK |
Fangzhen Lin, Yi Zhou |
714 |
Cluster-Based Selection of Statistical Answering Strategies |
Lucian Vlad Lita, Jaime Carbonell |
718 |
Bayesian Tensor Inference for Sketch-Based Facial Photo Hallucination |
Wei Liu, Xiaoou Tang, Jianzhuang Liu |
749 |
Feature Mining and Neuro-Fuzzy Inference System for Steganalysis of LSB
Matching Stegangoraphy in Grayscale Images |
Qingzhong Liu, Andrew H. Sung |
739 |
Protein Quaternary Fold Recognition Using Conditional Graphical Models |
Yan Liu, Jaime Carbonell, Vanathi Gopalakrishnan, Peter Weigele |
1295 |
Automatic Gait Optimization with Gaussian Process Regression |
Daniel Lizotte, Tao Wang, Michael Bowling, Dale Schuurmans |
461 |
Automatic Verification of Knowledge and Time with NuSMV |
Alessio Lomuscio, Charles Pecheur, Franco Raimondi |
1513 |
Incremental Learning of Perceptual Categories for Open-Domain Sketch
Recognition |
Andrew Lovett, Morteza Dehghani, Kenneth Forbus |
1777 |
Recursive Random Fields |
Daniel Lowd, Pedro Domingos |
282 |
Prediction of Probability of Survival in Critically Ill Patients Optimizing
the Area under the ROC Curve |
Oscar Luaces, José R. Quevedo, Francisco Taboada, Guillermo M. Albaiceta,
Antonio Bahamonde |
866 |
Conservative Extensions in Expressive Description Logics |
Carsten Lutz, Dirk Walther, Frank Wolter |
204 |
An Energy-Efficient, Multi-Agent Sensor Network for Detecting Diffuse
Events |
Rónán Mac Ruairí, Mark T. Keane |
1290 |
Towards a Computational Model of Melody Identification in Polyphonic
Music |
Søren Tjagvad Madsen, Gerhard Widmer |
208 |
A Multi-agent Medical System for Indian Rural Infant and Child Care |
Vijay Kumar Mago, M. Syamala Devi |
771 |
Automatically Selecting Answer Templates to Respond to Customer Emails |
Rahul Malik, L. Venkata Subramaniam, Saroj Kaushik |
1326 |
Infeasibility Certificates and the Complexity of the Core in Coalitional
Games |
Enrico Malizia, Luigi Palopoli, Francesco Scarcello |
630 |
A Multiobjective Frontier Search Algorithm |
Lawrence Mandow, José Luis Pérez de la Cruz |
420 |
Providing a Recommended Trading Agent to a Population: A Novel Approach |
Efrat Manistersi, Ron Katz, Sarit Kraus |
426 |
Enhancing MAS Cooperative Search Through Coalition Partitioning |
Efrat Manisterski, David Sarne, Sarit Kraus |
342 |
A Fast Analytical Algorithm for Solving Markov Decision Processes with
Real-Valued Resources |
Janusz Marecki, Sven Koenig, Milind Tambe |
123 |
Topological Mapping through Distributed, Passive Sensors |
Dimitri Marinakis, Gregory Dudek |
1680 |
A Predictive Approach to Help-Desk Response Generation |
Yuval Marom, Ingrid Zukerman |
1432 |
Modelling Well-Structured Argumentation Lines |
Diego C. Martínez, Alejandro J. García, Guillermo R. Simari |
1243 |
A Distributed Architecture for Symbolic Data Fusion |
Fulvio Mastrogiovanni, Antonio Sgorbissa, Renato Zaccaria |
1568 |
A Comparison of Time-Space Schemes for Graphical Models |
Robert Mateescu, Rina Dechter |
1555 |
Inferring Long-term User Properties Based on Users. Location History |
Yutaka Matsuo, Naoaki Okazaki, Kiyoshi Izumi, Yoshiyuki Nakamura, Takuichi
Nishimura, K?iti Hasida, Hideyuki Nakashima |
1414 |
Efficient HPSG Parsing with Supertagging and CFG-Filtering |
Takuya Matsuzaki, Yusuke Miyao, Jun.ichi Tsujii |
271 |
Planning for Temporally Extended Goals as Propositional Satisfiability |
Robert Mattmüller, Jussi Rintanen |
1532 |
A Hybridized Planner for Stochastic Domains |
Mausam, Piergiorgio Bertoli, Daniel S. Weld |
1402 |
Abstract Interpretation of Programs for Model-based Debugging |
Wolfgang Mayer, Markus Stumptner |
343 |
The Ins and Outs of Critiquing |
David McSherry, David W. Aha |
1754 |
A Flexible Unsupervised PP-Attachment Method Using Semantic Information |
Srinivas Medimi, Pushpak Bhattacharyya |
615 |
Probabilistic Consistency Boosts MAC and SAC |
Deepak Mehta, M. R. C. van Dongen |
1299 |
Performance Analysis of Online Anticipatory Algorithms for Large Multistage
Stochastic Integer Programs |
Luc Mercier, Pascal Van Hentenryck |
702 |
Hierarchical Heuristic Forward Search in Stochastic Domains |
Nicolas Meuleau, Ronen I. Brafman |
253 |
Learning from Partial Observations |
Loizos Michael |
1148 |
Compiling Bayesian Networks by Symbolic Probability Calculation Based on
Zero-suppressed BDDs |
Shin-ichi Minato, Ken Satoh, Taisuke Sato |
1527 |
Improving Activity Discovery with Automatic Neighborhood Estimation |
David Minnen, Thad Starner, Irfan Essa, Charles Isbell |
240 |
Generalizing Temporal Controllability |
Michael D. Moffitt, Martha E. Pollack |
774 |
Multipotential Games |
Dov Monderer |
1737 |
An Extension to Conformant Planning using Logic Programming |
A. Ricardo Morales, Phan Huy Tu, Tran Cao Son |
1816 |
Extracting Keyphrases to Represent Relations in Social Networks from
Web |
Junichiro Mori, Ishizuka Mitsuru, Yutaka Matsuo |
325 |
A Faithful Integration of Description Logics with Logic Programming |
Boris Motik, Riccardo Rosati |
1503 |
Evaluating a Decision-Theoretic Approach to Tailored Example Selection |
Kasia Muldner, Cristina Conati |
57 |
Expectation Failure as a Basis for Agent-Based Model Diagnosis and Mixed
Initiative Model Adaptation during Anomalous Plan Execution |
Alice Mulvehill, Brett Benyo, Michael Cox, Renu Bostwick |
1034 |
Relevance Estimation and Value Calibration of Evolutionary Algorithm
Parameters |
Volker Nannen, A.E. Eiben |
1005 |
Local Search for Balanced Submodular Clusterings |
Mukund Narasimhan, Jeff Bilmes |
398 |
Efficiently Exploiting Symmetries in Real Time Dynamic Programming |
Shravan Matthur Narayanamurthy, Balaraman Ravindran |
231 |
Constraint and Variable Ordering Heuristics for Compiling Configuration
Problems |
Nina Narodytska, Toby Walsh |
704 |
Hierarchical Multi-channel Hidden Semi Markov Models |
Pradeep Natarajan, Ramakant Nevatia |
1142 |
Consistency Checking of Basic Cardinal Constraints over Connected
Regions |
Isabel Navarrete, Antonio Morales, Guido Sciavicco |
880 |
Graph Connectivity Measures for Unsupervised Word Sense Disambiguation |
Roberto Navigli, Mirella Lapata |
270 |
Iterated Belief Contraction from First Principles |
Abhaya C. Nayak, Randy Goebel, Mehmet A. Orgun |
1758 |
Shallow Semantics for Coreference Resolution |
Vincent Ng |
818 |
Kernel Matrix Evaluation |
Canh Hao Nguyen, Tu Bao Ho |
786 |
Subtree Mining for Question Classification Problem |
Minh Le Nguyen, Thanh Tri Nguyen, Akira Shimazu |
1394 |
A Theoretical Framework for Learning Bayesian Networks with Parameter
Inequality Constraints |
Radu Stefan Niculescu, Tom M. Mitchell, R. Bharat Rao |
649 |
Neighborhood MinMax Projections |
Feiping Nie, Shiming Xiang, Changshui Zhang |
1687 |
Extracting and Visualizing Trust Relationships from Online Auction Feedback
Comments |
John O.Donovan, Barry Smyth, Vesile Evrim, Dennis McLeod |
1136 |
Multi-Agent System that Attains Longevity via Death |
Megan Olsen, Hava Siegelmann |
815 |
Case-based Learning from Proactive Communication |
Santi Ontañón, Enric Plaza |
572 |
Argumentation Based Contract Monitoring in Uncertain Domains |
Nir Oren, Timothy J. Norman, Alun Preece |
1192 |
Learning to Count by Think Aloud Imitation |
Laurent Orseau |
1088 |
Dynamic Verification of Trust in Distributed Open Systems |
Nardine Osman, David Robertson |
331 |
Co-Localization from Labeled and Unlabeled Data Using Graph Laplacian |
Jeffrey Junfeng Pan, Qiang Yang |
1124 |
Natural Language Query Recommendation in Conversation Systems |
Shimei Pan, James Shaw |
164 |
Feature Based Occupancy Grid Maps for Sonar Based Safe-Mapping |
Amit Kumar Pandey, K. Madhava Krishna, Mainak Nath |
944 |
Probabilistic Go Theories |
Austin Parker, Fusun Yaman, Dana Nau, V.S. Subrahmanian |
1761 |
What You Seek is What You Get: Extraction of Class Attributes from Query
Logs |
Marius Pasca, Benjamin Van Durme |
976 |
Grounding for Model Expansion in k-Guarded Formulas with Inductive
Definitions |
Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta |
698 |
Quality Guarantees on k-Optimal Solutions for Distributed Constraint
Optimization Problems |
Jonathan P. Pearce, Milind Tambe |
1353 |
State Space Search for Risk-Averse Agents |
Patrice Perny, Olivier Spanjaard, Louis-Xavier Storme |
1043 |
MB-DPOP: A New Memory-Bounded Algorithm for Distributed Optimization |
Adrian Petcu, Boi Faltings |
862 |
PC-DPOP: A New Partial Centralization Algorithm for Distributed
Optimization |
Adrian Petcu, Boi Faltings, Roger Mailler |
1562 |
An Analysis of Laplacian Methods for Value Function Approximation in
MDPs |
Marek Petrik |
1195 |
Average-Reward Decentralized Markov Decision Processes |
Marek Petrik, Shlomo Zilberstein |
143 |
Probabilistic Mobile Manipulation in Dynamic Environments, with Application
to Opening Doors |
Anna Petrovskaya, Andrew Y. Ng |
445 |
DiPRA: Distributed Practical Reasoning Architecture |
Giovanni Pezzulo, Gianguglielmo Calvi, Cristiano Castelfranchi |
174 |
Global/Local Dynamic Models |
Avi Pfeffer, Subrata Das, David Lawless, Brenda Ng |
839 |
Building Structure into Local Search for SAT |
Duc Nghia Pham, John Thornton, Abdul Sattar |
527 |
A Tighter Error Bound for Decision Tree Learning Using PAC Learnability |
Chaithanya Pichuka, Raju S. Bapi, Chakravarthy Bhagvati, Arun K. Pujari,
Bulusu L. Deekshatulu |
1090 |
Incompleteness and Incomparability in Preference Aggregation |
Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh |
472 |
Surprise as Shortcut for Anticipation: Clustering Mental States in
Reasoning |
Michele Piunti, Cristiano Castelfranchi, Rino Falcone |
1682 |
Efficient Failure Detection on Mobile Robots Using Particle Filters with
Gaussian Process Proposals |
Christian Plagemann, Dieter Fox, Wolfram Burgard |
178 |
Semi-Supervised Learning of Attribute-Value Pairs from Product
Descriptions |
Katharina Probst, Rayid Ghani, Marko Krema, Andrew Fano, Yan Liu |
221 |
Gossip-Based Aggregation of Trust in Decentralized Reputation Systems |
Ariel D. Procaccia, Yoram Bachrach, Jeffrey S. Rosenschein |
161 |
Multi-Winner Elections: Complexity of Manipulation, Control and
Winner-Determination |
Ariel D. Procaccia, Jeffrey S. Rosenschein, Aviv Zohar |
967 |
Automated Benchmark Model Generators for Model-Based Diagnostic
Inference |
Gregory Provan, Jun Wang |
1411 |
Automated Heart Wall Motion Abnormality Detection from Ultrasound Images
using Bayesian Networks |
Maleeha Qazi, Glenn Fung, Sriram Krishnan, Romer Rosales, Harald Steck, R.
Bharat Rao, Don Poldermans, Dhanalakshmi Chandrasekaran |
1334 |
Near-Optimal Anytime Coalition Structure Generation |
Talal Rahwan, Sarvapali D. Ramchurn, Viet Dung Dang, Nicholas R.
Jennings |
1739 |
Bayesian Inverse Reinforcement Learning |
Deepak Ramachandran, Eyal Amir |
1361 |
Loopy SAM |
Ananth Ranganathan, Michael Kaess, Frank Dellaert |
1542 |
Kernel Conjugate Gradient for Fast Kernel Machines |
Nathan D. Ratliff, J. Andrew Bagnell |
287 |
Deictic Option Schemas |
Balaraman Ravindran, Andrew G. Barto, Vimal Mathew |
569 |
Real-Time Heuristic Search with a Priority Queue |
D. Chris Rayner, Katherine Davison, Vadim Bulitko, Kenneth Anderson, Jieshan
Lu |
1810 |
Qualitative Spatial and Temporal Reasoning: Efficient Algorithms for
Everyone |
Jochen Renz |
1667 |
Opponent Modeling in Scrabble |
Mark Richards, Eyal Amir |
697 |
Diagnosability Testing with Satisfiability Algorithms |
Jussi Rintanen, Alban Grastien |
690 |
Diagnosers and Diagnosability of Succinct Transition Systems |
Jussi Rintanen |
537 |
A fusion of Stacking with Dynamic Integration |
Niall Rooney, David Patterson |
933 |
Acquiring a Robust Case Base for the Robot Soccer Domain |
Raquel Ros, Josep Lluís Arcos |
1385 |
AEMS: An Anytime Online Search Algorithm for Approximate Policy Refinement
in Large POMDPs |
Stéphane Ross, Brahim Chaib-draa |
574 |
Efficient Bayesian Task-Level Transfer Learning |
Daniel M. Roy, Leslie P. Kaelbling |
279 |
Routing Mediators |
Ola Rozenfeld, Moshe Tennenholtz |
1630 |
Best-first Utility-guided Search |
Wheeler Ruml, Minh B. Do |
377 |
Graph Decomposition for Efficient Multi-Robot Path Planning |
Malcolm Ryan |
768 |
Robust Human-Computer Interaction System Guiding a User by Providing
Feedback |
Michael S. Ryoo, Jake K. Aggarwal |
1339 |
An efficient protocol for negotiation over multiple indivisible
resources |
Sabyasachi Saha, Sandip Sen |
659 |
QuantMiner: A Genetic Algorithm for Mining Quantitative Association
Rules |
Ansaf Salleb-Aouissi, Christel Vrain, Cyril Nortet |
1085 |
Automated Design of Multistage Mechanisms |
Tuomas Sandholm, Vincent Conitzer, Craig Boutilier |
1560 |
A Dynamic Approach for MPE and Weighted MAX-SAT |
Tian Sang, Paul Beame, Henry Kautz |
189 |
Inside-Outside Probability Computation for Belief Propagation |
Taisuke Sato |
1603 |
Is the Turing Test Good Enough? The Fallacy of Resource-Unbounded
Intelligence |
Virginia Savova, Leonid Peshkin |
250 |
Depth Estimation using Monocular and Stereo Cues |
Ashutosh Saxena, Jamie Schulte, Andrew Y. Ng |
176 |
OSS: A Semantic Similarity Function based on Hierarchical Ontologies |
Vincent Schickel-Zuber, Boi Faltings |
215 |
Description Logics with Approximate Definitions . Precise Modeling of Vague
Concepts |
Stefan Schlobach, Michel Klein, Linda Peelen |
682 |
A Size-Based Qualitative Approach to the Representation of Spatial
Granularity |
Hedda R. Schmidtke, Woontack Woo |
938 |
Qualitative Temporal Reasoning about Vague Events |
Steven Schockaert, Martine De Cock, Etienne E. Kerre |
1599 |
Scalable Diagnosability Checking of Event-Driven Systems |
Anika Schumann, Yannick Pencol? |
1215 |
Combining Learning and Word Sense Disambiguation for Intelligent User
Profiling |
Giovanni Semeraro, Marco Degemmis, Pasquale Lops, Pierpaolo Basile |
1572 |
Emergence of Norms through Social Learning |
Sandip Sen, Stéphane Airiau |
1696 |
Memory-Bounded Dynamic Programming for DEC-POMDPs |
Sven Seuken, Shlomo Zilberstein |
1675 |
Logical Circuit Filtering |
Dafna Shahaf, Eyal Amir |
42 |
Forward Search Value Iteration for POMDPs |
Guy Shani, Ronen I. Brafman, Solomon E. Shimony |
1080 |
Dynamic Interactions Between Goals and Beliefs |
Steven Shapiro, Gerhard Brewka |
1116 |
Transfer Learning in Real-Time Strategy Games Using Hybrid CBR/RL |
Manu Sharma, Michael Holmes, Juan Santamaria, Arya Irani, Charles Isbell,
Ashwin Ram |
1805 |
Document Summarization using Conditional Random Fields |
Dou Shen, Jian-Tao Sun, Hua Li, Qiang Yang, Zheng Chen |
1519 |
Real-Time Detection of Task Switches of Desktop Users |
Jianqiang Shen, Lida Li, Thomas G. Dietterich |
1533 |
A Dual-layer CRFs Based Joint Decoding Method for Cascaded Segmentation and
Labeling Tasks |
Yanxin Shi, Mengqiu Wang |
82 |
Parametric Kernels for Sequence Data Analysis |
Young-In Shin, Donald Fussell |
689 |
Hierarchical Diagnosis of Multiple Faults |
Sajjad Siddiqi, Jinbo Huang |
305 |
Information-Based Agency |
Carles Sierra, John Debenham |
605 |
Reinforcement Learning of Local Shape in the Game of Go |
David Silver, Richard Sutton, Martin M?ller |
352 |
Semi-Supervised Gaussian Process Classifiers |
Vikas Sindhwani, Wei Chu, S. Sathiya Keerthi |
489 |
Detection of Cognitive States from fMRI Data using Machine Learning
Techniques |
Vishwajeet Singh, Krishna P. Miyapuram, Raju S. Bapi |
1611 |
Efficient Planning of Informative Paths for Multiple Robots |
Amarjeet Singh, Andreas Krause, Carlos Guestrin, William Kaiser, Maxim
Batalin |
914 |
Estimating the rate of Web Page Updates |
Sanasam Ranbir Singh |
235 |
Formalizing Communication Protocols for Multiagent Systems |
Munindar P. Singh |
794 |
Control of Agent Swarms using Generalized Centroidal Cyclic Pursuit
Laws |
Arpita Sinha, Debasish Ghose |
1640 |
Database-Text Alignment via Structured Multilabel Classification |
Benjamin Snyder, Regina Barzilay |
1645 |
Inferring Complex Agent Motions from Partial Trajectory Observations |
Finnegan Southey, Wesley Loh, Dana Wilkinson |
478 |
Color Learning on a Mobile Robot: Towards Full Autonomy under Changing
Illumination |
Mohan Sridharan, Peter Stone |
246 |
On the Automatic Scoring of Handwritten Essays |
Sargur Srihari, Rohini Srihari, Pavithra Babu, Harish Srinivasan |
596 |
Domain Independent Approaches for Finding Diverse Plans |
Biplav Srivastava, Tuan A. Nguyen, Alfonso Gerevini, Subbarao Kambhampati,
Minh Binh Do, Ivan Serina |
124 |
Online Speed Adaptation using Supervised Learning for High-Speed, Off-Road
Autonomous Driving |
David Stavens, Gabriel Hoffmann, Sebastian Thrun |
--- |
Learning and Multiagent Reasoning for Autonomous Agents |
Peter Stone |
919 |
Dances with Words |
Carlo Strapparava, Alessandro Valitutti, Oliviero Stock |
1138 |
Model-based Optimization of Testing through Reduction of Stimuli |
Peter Struss |
134 |
Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree
Decomposition of CSPs |
Sathiamoorthy Subbarayan, Henrik Reif Andersen |
913 |
A General Framework for Reasoning about Inconsistency |
V.S. Subrahmanian, Leïla Amgoud |
1426 |
On Modeling Multiagent Task Scheduling as a Distributed Constraint
Optimization Problem |
Evan A. Sultanik, Pragnesh Jay Modi, William C. Regli |
58 |
Dynamic Weighting A* Search-based MAP Algorithm for Bayesian Networks |
Xiaoxun Sun, Marek J. Druzdzel, Changhe Yuan |
598 |
The Fringe-Saving A* Search Algorithm . A Feasibility Study |
Xiaoxun Sun, Sven Koenig |
888 |
Appearance based Recognition Methodology for Recognising Fingerspelling
Alphabets |
M.G. Suraj, D.S. Guru |
1262 |
An Experts Algorithm for Transfer Learning |
Erik Talvitie, Satinder Singh |
864 |
Direct Code Access in Self-Organizing Neural Networks for Reinforcement
Learning |
Ah-Hwee Tan |
1011 |
Layout Analysis of Tree-Structured Scene Frames in Comic Images |
Takamasa Tanaka, Kenji Shoji, Fubito Toyama, Juichi Miyamichi |
1250 |
Emotions as Durative Dynamic State for Action Selection |
Emmanuel Tanguy, Philip Willis, Joanna J. Bryson |
738 |
Grounding Abstractions in Predictive State Representations |
Brian Tanner, Vadim Bulitko, Anna Koop, Cosmin Paduraru |
1111 |
Metric Properties of Structured Data Visualizations through Generative
Probabilistic Modeling |
Peter Tino, Nikolaos Gianniotis |
380 |
Face Recognition via the Overlapping Energy Histogram |
Ronny Tjahyadi, Wanquan Liu, Senjian An, Svetha Venkatesh |
1827 |
Planning under Risk and Knightian Uncertainty |
Felipe W. Trevizan, Fábio G. Cozman, Leliane N. de Barros |
1225 |
Instace-based AMN Classification for Improved Object Recognition in 2D and
3D Laser Range Data |
Rudolph Triebel, Richard Schmidt, óscar Martínez Mozos, Wolfram
Burgardd |
391 |
Ensembles of Partially Trained SVMs with Multiplicative Updates |
Ivor W. Tsang, James T. Kwok |
885 |
Word Sense Disambiguation with Spreading Activation Networks Generated from
Thesauri |
George Tsatsaronis, Michalis Vazirgiannis, Ion Androutsopoulos |
1213 |
Morphological Annotation of a Large Spontaneous Speech Corpus in
Japanese |
Kiyotaka Uchimoto, Hitoshi Isahara |
997 |
Speaker-Invariant Features for Automatic Speech Recognition |
Srinivasan Umesh, D. Rama Sanand, G. Praveen |
1062 |
Correlation Clustering for Crosslingual Link Detection |
Jurgen Van Gael, Xiaojin Zhu |
198 |
Towards Efficient Computation of Error Bounded Solutions in POMDPs: Expected
Value Approximation and Dynamic Disjunctive Beliefs |
Pradeep Varakantham, Rajiv T. Maheswaran, Tapana Gupta, Milind
Tambe |
1752 |
Resource Constraints on Computation and Communication in the Brain |
Sashank Varma |
722 |
Progression of Situation Calculus Action Theories with Incomplete
Information |
Stavros Vassos, Hector Levesque |
835 |
Semantic Indexing of a Competence Map to Support Scientific Collaboration in
a Research Community |
Paola Velardi, Roberto Navigli, Michaël Petit |
1285 |
An Experience on Reputation Models Interoperability Based on a Functional
Ontology |
Laurent Vercouter, Sara J. Casare, Jaime S. Sichman, Anarosa A. F.
Brand?o |
858 |
A labeling approach to the computation of credulous acceptance in
argumentation |
Bart Verheij |
1388 |
Generating Bayes-Nash Equilibria to Design Autonomous Trading Agents |
Ioannis A. Vetsikas, Nicholas R. Jennings, Bart Selman |
127 |
MESH-Based Active Monte Carlo Recognition (MESH-AMCR) |
Felix von Hundelshausen, H. J. Wuensche, Marco Block, Raul Kompass, Raúl
Rojas |
115 |
Manifold-Ranking Based Topic-Focused Multi-Document Summarization |
Xiaojun Wan, Jianwu Yang, Jianguo Xiao |
41 |
A Convengent Solution to Tensor Subspace Learning |
Huan Wang, Shuicheng Yan, Thomas Huang, Xiaoou Tang |
511 |
A Hybrid Ontology Directed Feedback Selection Algorithm for Supporting
Creative Problem Solving Dialogues |
Hao-Chuan Wang, Rohit Kumar, Carolyn Penstein Rosé, Tsai-Yen Li, Chun-Yen
Chang |
987 |
All Common Subsequences |
Hui Wang |
1672 |
Common Sense Based Joint Training of Human Activity Recognizers |
Shiaokai Wang, William Pentney, Ana-Maria Popescu, Tanzeem Choudhury,
Matthai Philipose |
573 |
First Order Decision Diagrams for Relational MDPs |
Chenggang Wang, Saket Joshi, Roni Khardon |
1184 |
Formal Trust Model for Multiagent Systems |
Yonghong Wang, Munindar P. Singh |
1156 |
Self-Adaptive Neural Networks Based on a Poisson Approach for Knowledge
Discovery |
Haiying Wang, Huiru Zheng, Francisco Azuaje |
1701 |
Simple Training of Dependency Parsers via Structured Boosting |
Qin Iris Wang, Dekang Lin, Dale Schuurmans |
727 |
Dynamic Mixture Models for Multiple Time-Series |
Xing Wei, Jimeng Sun, Xuerui Wang |
107 |
Using Graph Algebra to Optimize Neighborhood for Isometric Mapping |
Guihua Wen, Lijun Jiang, Nigel R. Shadbolt |
517 |
Dynamics of Temporal Difference Learning |
Andreas Wendemuth |
1081 |
Machine Learning for On-Line Hardware Reconfiguration |
Jonathan Wildstrom, Peter Stone, Emmett Witchel, Mike Dahlin |
1216 |
A Primitive Based Generative Model to Infer Timing Information in
Unpartitioned Handwriting Data |
Ben H. Williams, Marc Toussaint, Amos J. Storkey |
540 |
Relational Knowledge with Predictive State Representations |
David Wingate, Vishal Soni, Britton Wolfe, Satinder Singh |
1678 |
One Class per Named Entity: Exploiting Unlabeled Text for Named Entity
Recognition |
Yingchuan Wong, Hwee Tou Ng |
733 |
Using a Mobile Robot for Cognitive Mapping |
Chee K. Wong, Jochen Schmidt, Wai K. Yeap |
1253 |
Representations for Action Selection Learning from Real-Time Observation of
Task Experts |
Mark A. Wood, Joanna J. Bryson |
319 |
A Subspace Kernel for Nonlinear Feature Extraction |
Mingrui Wu, Jason Farquhar |
1722 |
A Privacy-Sensitive Approach to Modeling Multi-Person Conversations |
Danny Wyatt, Tanzeem Choudhury, Jeff Bilmes, Henry Kautz |
834 |
Discriminative Learning of Beam-Search Heuristics for Planning |
Yuehua Xu, Alan Fern, Sungwook Yoon |
1392 |
Understanding Drawings by Compositional Analogy |
Patrick W. Yaner, Ashok K. Goel |
867 |
A Call Admission Control Scheme using NeuroEvolution Algorithm in Cellular
Networks |
Xu Yang, John Bigham |
252 |
A Scalable Kernel-Based Algorithm for Semi-Supervised Metric Learning |
Dit-Yan Yeung, Hong Chang, Guang Dai |
351 |
Multi-Document Summarization by Maximizing Informative Content-Words |
Wen-tau Yih, Joshua Goodman, Lucy Vanderwende, Hisami Suzuki |
122 |
Automatic Decision of Piano Fingering Based on a Hidden Markov Models |
Yuichiro Yonebayashi, Hirokazu Kameoka, Shigeki Sagayama |
724 |
Using Learned Policies in Heuristic-Search Planning |
SungWook Yoon, Alan Fern, Robert Givan |
1430 |
Ambiguous Part-of-Speech Tagging for Improving Accuracy and Domain
Portability of syntactic parsers |
Kazuhiro Yoshida, Yoshimasa Tsuruoka, Yusuke Miyao, Jun.ichi
Tsujii |
1375 |
Lambda Depth-first Proof Number Search and its Application to Go |
Kazuki Yoshizoe, Akihiro Kishimoto, Martin Müller |
186 |
Mean Shift as Half Quadratic Optimization: With Application to Sequential
Mode Seeking |
XiaoTong Yuan |
1026 |
Managing Domain Knowledge and Multiple Models with Boosting |
Peng Zang, Charles Isbell |
260 |
Towards Runtime Behavior Adaptation for Embodied Characters |
Peng Zang, Manish Mehta, Michael Mateas, Ashwin Ram |
1097 |
Concept Sampling: Towards Systematic Selection in Large-Scale Mixed Concepts
in Machine Learning |
Yi Zhang, Xiaoming Jin |
262 |
Epistemic Reasoning in Logic Programs |
Yan Zhang |
746 |
Fast Algorithm for Connected Row Convex Constraints |
Yuanlin Zhang |
824 |
Automatic Acquisition of Context-Specific Lexical Paraphrases |
Shiqi Zhao, Ting Liu, Xincheng Yuan, Sheng Li, Yu Zhang |
820 |
Learning Question Paraphrases for QA from Encarta Logs |
Shiqi Zhao, Ming Zhou, Ting Liu |
883 |
Searching for Interacting Features |
Zheng Zhao, Huan Liu |
1666 |
Edge Partitioning in External-Memory Graph Search |
Rong Zhou, Eric A. Hansen |
897 |
Exploiting Image Contents in Web Search |
Zhi-Hua Zhou, Hong-Bin Dai |
1504 |
Learning User Clicks in Web Search |
Ding Zhou, Levent Bolelli, Jia Li, C. Lee Giles, Hongyuan Zha |
1753 |
Semantic Smoothing of Document Models for Agglomerative Clustering |
Xiaohua Zhou, Xiaodan Zhang, Xiaohua Hu |
1547 |
An Empirical Study of the Noise Impact on Cost-Sensitive Learning |
Xingquan Zhu, Xindong Wu, Taghi M. Khoshgoftaar, Yong Shi |
591 |
Mining Complex Patterns across Sequences with Gap Requirements |
Xingquan Zhu, Xindong Wu |
386 |
Conflict Directed Backjumping for Max-CSPs |
Roie Zivan, Amnon Meisels |
397 |
Using Focal Point Learning to Improve Tactic Coordination in Human-Machine
Interactions |
Inon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschein |