Proceedings of the Twentieth International Joint Conference on Artificial Intelligence
IJCAI-07 Contents
IJCAI-07 Conference Organization / vii
IJCAI-07 Awards and Distinguished Papers / xii
IJCAI-07 Keynote and Invited Speakers / xiii
IJCAI-07 Technical Papers and Posters
Research Excellence Award
Abstract
Cooperating Reasoning Processes: More than Just the Sum of Their Parts / 2
Alan Bundy
Computers and Thought Award
Abstract
Learning and Multiagent Reasoning for Autonomous Agents / 12
Peter Stone
Constraint Satisfaction
Abstract
The Logic Behind Weighted CSP / 32
Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà
Abstract
QCSP Made Practical by Virtue of Restricted Quantification / 38
Marco Benedetti, Arnaud Lallouet, Jérémie Vautard
Abstract
Learning Implied Global Constraints / 44
Christian Bessiere, Remi Coletta, Thierry Petit
Abstract
Query-Driven Constraint Acquisition / 50
Christian Bessiere, Remi Coletta, Barry O'Sullivan, Mathias Paulin
Abstract
A General Framework for Scheduling in a Stochastic Environment / 56
Julien Bidot, Thierry Vidal, Philippe Laborie, John Christopher Beck
Abstract
New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint Networks / 62
Sylvain Bouveret, Michel Lemaître
Abstract
Optimal Soft Arc Consistency / 68
Martin C. Cooper, Simon de Givry, Thomas Schiex
Abstract
Quantified Constraint Satisfaction Problems: From Relaxations to Explanations / 74
Alex Ferguson, Barry O'Sullivan
Abstract
The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems / 80
Alan M. Frisch, Matthew Grum, Chris Jefferson, Bernadette Martínez Hernández, Ian Miguel
Abstract
Conditional Constraint Satisfaction: Logical Foundations and Complexity / 88
Georg Gottlob, Gianluigi Greco, Toni Mancini
Abstract
Generalized Interval Projection: A New Technique for Consistent Domain Extension / 94
Carlos Grandón, Gilles Chabert, Bertrand Neveu
Abstract
Techniques for Efficient Interactive Configuration of Distribution Networks / 100
Tarik Hadzic, Andrzej Wasowski, Henrik R. Andersen
Abstract
Distance Constraints in Constraint Satisfaction / 106
Emmanuel Hebrard, Barry O'Sullivan, Toby Walsh
Abstract
Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPs / 112
Philippe Jégou, Samba Ndojh Ndiaye, Cyril Terrioux
Abstract
Symmetric Component Caching / 118
Matthew Kitching, Fahiem Bacchus
Abstract
A Study of Residual Supports in Arc Consistency / 125
Christophe Lecoutre, Fred Hemery
Abstract
Nogood Recording from Restarts / 131
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
Abstract
Arc Consistency during Search / 137
Chavalit Likitvivatanavong, Yuanlin Zhang, Scott Shannon, James Bowen, Eugene C. Freuder
Abstract
Probabilistic Consistency Boosts MAC and SAC / 143
Deepak Mehta, M. R. C. van Dongen
Abstract
Constraint and Variable Ordering Heuristics for Compiling Configuration Problems / 149
Nina Narodytska, Toby Walsh
Abstract
A Theoretical Framework for Learning Bayesian Networks with Parameter Inequality Constraints / 155
Radu Stefan Niculescu, Tom M. Mitchell, R. Bharat Rao
Abstract
Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions / 161
Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta
Abstract
PC-DPOP: A New Partial Centralization Algorithm for Distributed Optimization / 167
Adrian Petcu, Boi Faltings, Roger Mailler
Abstract
A Dynamic Approach for MPE and Weighted MAX-SAT / 173
Tian Sang, Paul Beame, Henry Kautz
Abstract
Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs / 180
Sathiamoorthy Subbarayan, Henrik Reif Andersen
Abstract
A Call Admission Control Scheme Using NeuroEvolution Algorithm in Cellular Networks / 186
Xu Yang, John Bigham
Abstract
Fast Algorithm for Connected Row Convex Constraints / 192
Yuanlin Zhang
Abstract
Conflict Directed Backjumping for Max-CSPs / 198
Roie Zivan, Amnon Meisels
Knowledge Representation and Reasoning
Abstract
The Mathematical Morpho-Logical View on Reasoning about Space / 205
Marco Aiello, Brammert Ottens
Abstract
An Information-Theoretic Analysis of Memory Bounds in a Distributed Resource Allocation Mechanism / 212
Ricardo M. Araujo, Luis C. Lamb
Abstract
A Description Logic of Change / 218
Alessandro Artale, Carsten Lutz, David Toman
Abstract
From Generic Knowledge to Specific Reasoning for Medical Image Interpretation Using Graph based Representations / 224
Jamal Atif, Céline Hudelot, Geoffroy Fouquier, Isabelle Bloch, Elsa Angelini
Abstract
Completing Description Logic Knowledge Bases Using Formal Concept Analysis / 230
Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler
Abstract
Non-monotonic Temporal Logics for Goal Specification / 236
Chitta Baral, Jicheng Zhao
Abstract
Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning / 243
Chitta Baral, Matt Hunsaker
Abstract
Context-Driven Predictions / 250
Marc G. Bellemare, Doina Precup
Abstract
Entailment Semantics for Rules with Priorities / 256
David Billington
Abstract
Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modeling Methods / 262
Tibor Bosse, Jan Treur
Abstract
Contextual Default Reasoning / 268
Gerhard Brewka, Floris Roelofsen, Luciano Serafini
Abstract
EQL-Lite: Effective First-Order Query Processing in Description Logics / 274
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
Abstract
A Lattice-Based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks / 280
Carlos Iván Chesñevar, Guillermo Ricardo Simari
Abstract
A Framework for Decentralized Qualitative Model-Based Diagnosis / 286
Luca Console, Claudia Picardi, Daniele Theseider Duprè
Abstract
Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis / 292
Marie-Odile Cordier, Alban Grastien
Abstract
A Logical Framework for Modularity of Ontologies / 298
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
Abstract
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination / 304
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits
Abstract
Modeling When Connections Are the Problem / 310
Johan de Kleer
Abstract
Tractable Temporal Reasoning / 318
Clare Dixon, Michael Fisher, Boris Konev
Abstract
Chronicle Recognition Improvement Using Temporal Focusing and Hierarchization / 324
Christophe Dousson, Pierre Le Maigat
Abstract
Complexity Results for Checking Equivalence of Stratified Logic Programs / 330
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
Abstract
On Reversing Actions: Algorithms and Complexity / 336
Thomas Eiter, Esra Erdem, Wolfgang Faber
Abstract
Fault-Model-Based Test Generation for Embedded Software / 342
Michael Esser, Peter Struss
Abstract
Semantic Precision and Recall for Ontology Alignment Evaluation / 348
Jérôme Euzenat
Abstract
Operator Component Matrix Model for IMP Program Diagnosis / 354
Zhao-Fu Fan, Yunfei Jiang
Abstract
On Valued Negation Normal Form Formulas / 360
Hélène Fargier, Pierre Marquis
Abstract
A Logic Program Characterization of Causal Theories / 366
Paolo Ferraris
Abstract
A New Perspective on Stable Models / 372
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
Abstract
Conflict-Based Diagnosis: Adding Uncertainty to Model-based Diagnosis / 380
Ildikó Flesch, Peter Lucas, Theo van der Weide
Abstract
Conflict-Driven Answer Set Solving / 386
Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
Abstract
Ranking Alternatives on the Basis of Generic Constraints and Examples — A Possibilistic Approach / 393
Romain Gérard, Souhila Kaci, Henri Prade
Abstract
Conjunctive Query Answering for the Description Logic SHIQ / 399
Birte Glimm, Ian Horrocks, Carsten Lutz, Uli Sattler
Abstract
A Dual-Pathway Neural Network Model of Control Relinquishment in Motor Skill Learning / 405
Ashish Gupta, David C. Noelle
Abstract
Some Effects of a Reduced Relational Vocabulary on the Whodunit Problem / 411
Daniel T. Halstead, Kenneth D. Forbus
Abstract
Counting Complexity of Propositional Abduction / 417
Miki Hermann, Reinhard Pichler
Abstract
Extracting Chatbot Knowledge from Online Discussion Forums / 423
Jizhou Huang, Ming Zhou, Dan Yang
Abstract
Improving Author Coreference by Resource-Bounded Information Gathering from the Web / 429
Pallika Kanani, Andrew McCallum, Chris Pal
Abstract
Combining Topological and Directional Information for Spatial Reasoning / 435
Sanjiang Li
Abstract
From Answer Set Logic Programming to Circumscription via Logic of GK / 441
Fangzhen Lin, Yi Zhou
Abstract
Incremental Learning of Perceptual Categories for Open-Domain Sketch Recognition / 447
Andrew Lovett, Morteza Dehghani, Kenneth Forbus
Abstract
Conservative Extensions in Expressive Description Logics / 453
Carsten Lutz, Dirk Walther, Frank Wolter
Abstract
Towards a Computational Model of Melody Identification in Polyphonic Music / 459
Søren Tjagvad Madsen, Gerhard Widmer
Abstract
Modelling Well-Structured Argumentation Lines / 465
Diego C. Martínez, Alejandro J. García, Guillermo R. Simari
Abstract
Abstract Interpretation of Programs for Model-Based Debugging / 471
Wolfgang Mayer, Markus Stumptner
Abstract
A Faithful Integration of Description Logics with Logic Programming / 477
Boris Motik, Riccardo Rosati
Abstract
Evaluating a Decision-Theoretic Approach to Tailored Example Selection / 483
Kasia Muldner, Cristina Conati
Abstract
Expectation
Failure as a Basis for Agent-Based Model Diagnosis and Mixed Initiative
Model Adaptation during Anomalous Plan Execution / 489
Alice Mulvehill, Brett Benyo, Michael Cox, Renu Bostwick
Abstract
Consistency Checking of Basic Cardinal Constraints over Connected Regions / 495
Isabel Navarrete, Antonio Morales, Guido Sciavicco
Abstract
Probabilistic Go Theories / 501
Austin Parker, Fusun Yaman, Dana Nau, V.S. Subrahmanian
Abstract
Surprise as Shortcut for Anticipation: Clustering Mental States in Reasoning / 507
Michele Piunti, Cristiano Castelfranchi, Rino Falcone
Abstract
Automated Benchmark Model Generators for Model-Based Diagnostic Inference / 513
Gregory Provan, Jun Wang
Abstract
Automated Heart Wall Motion Abnormality Detection from Ultrasound Images Using Bayesian Networks / 519
Maleeha Qazi, Glenn Fung, Sriram Krishnan, Romer Rosales, Harald
Steck, R. Bharat Rao, Don Poldermans, Dhanalakshmi Chandrasekaran
Abstract
Qualitative Spatial and Temporal Reasoning: Efficient Algorithms for Everyone / 526
Jochen Renz
Abstract
Diagnosability Testing with Satisfiability Algorithms / 532
Jussi Rintanen, Alban Grastien
Abstract
Diagnosers and Diagnosability of Succinct Transition Systems / 538
Jussi Rintanen
Abstract
Is the Turing Test Good Enough? The Fallacy of Resource-Unbounded Intelligence / 545
Virginia Savova, Leonid Peshkin
Abstract
OSS: A Semantic Similarity Function based on Hierarchical Ontologies / 551
Vincent Schickel-Zuber, Boi Faltings
Abstract
Description Logics with Approximate Definitions - Precise Modeling of Vague Concepts / 557
Stefan Schlobach, Michel Klein, Linda Peelen
Abstract
A Size-Based Qualitative Approach to the Representation of Spatial Granularity / 563
Hedda R. Schmidtke, Woontack Woo
Abstract
Qualitative Temporal Reasoning about Vague Events / 569
Steven Schockaert, Martine De Cock, Etienne E. Kerre
Abstract
Scalable Diagnosability Checking of Event-Driven Systems / 575
Anika Schumann, Yannick Pencolé
Abstract
Hierarchical Diagnosis of Multiple Faults / 581
Sajjad Siddiqi, Jinbo Huang
Abstract
Detection of Cognitive States from fMRI Data Using Machine Learning Techniques / 587
Vishwajeet Singh, Krishna P. Miyapuram, Raju S. Bapi
Abstract
Model-Based Optimization of Testing through Reduction of Stimuli / 593
Peter Struss
Abstract
A General Framework for Reasoning about Inconsistency / 599
V.S. Subrahmanian, Leila Amgoud
Abstract
Appearance Based Recognition Methodology for Recognising Fingerspelling Alphabets / 605
M.G. Suraj, D.S. Guru
Abstract
Resource Constraints on Computation and Communication in the Brain / 611
Sashank Varma
Abstract
An Experience on Reputation Models Interoperability Based on a Functional Ontology / 617
Laurent Vercouter, Sara J. Casare, Jaime S. Sichman, Anarosa A. F. Brandão
Abstract
A Labeling Approach to the Computation of Credulous Acceptance in Argumentation / 623
Bart Verheij
Abstract
A Convengent Solution to Tensor Subspace Learning / 629
Huan Wang, Shuicheng Yan, Thomas Huang, Xiaoou Tang
Abstract
All Common Subsequences / 635
Hui Wang
Abstract
Representations for Action Selection Learning from Real-Time Observation of Task Experts / 641
Mark A. Wood, Joanna J. Bryson
Abstract
Epistemic Reasoning in Logic Programs / 647
Yan Zhang
Learning
Abstract
Keep the Decision Tree and Estimate the Class Probabilities Using its Decision Boundary / 654
Isabelle Alvarez, Stephan Bernard, Guillaume Deffuant
Abstract
Updates for Nonlinear Discriminants / 660
Edin Andelic, Martin Schafföner, Marcel Katz, Sven E. Krüger, Andreas Wendemuth
Abstract
A Fully Connectionist Model Generator for Covered First-Order Logic Programs / 666
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel
Abstract
General Game Learning Using Knowledge Transfer / 672
Bikramjit Banerjee, Peter Stone
Abstract
Learning by Analogy: A Classification Rule for Binary and Nominal Data / 678
Sabri Bayoudh, Laurent Miclet, Arnaud Delhay
Abstract
Interactive Clustering of Text Collections According to a User-Specified Criterion / 684
Ron Bekkerman, Hema Raghavan, James Allan, Koji Eguchi
Abstract
Heuristic Selection of Actions in Multiagent Reinforcement Learning / 690
Reinaldo A. C. Bianchi, Carlos H. C. Ribeiro, Anna H. R. Costa
Abstract
Unsupervised Discretization Using Kernel Density Estimation / 696
Marenglen Biba, Floriana Esposito, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile
Abstract
Case-Based Multilabel Ranking / 702
Klaus Brinker, Eyke Hüllermeier
Abstract
Exploiting Known Taxonomies in Learning Overlapping Concepts / 708
Lijuan Cai, Thomas Hofmann
Abstract
Locality Sensitive Discriminant Analysis / 714
Deng Cai, Xiaofei He, Kun Zhou, Han , Bao
Abstract
Learning and Transferring Action Schemas / 720
Paul R. Cohen, Yu-Han Chang, Clayton T. Morrison, Carole Beal
Abstract
Online Learning and Exploiting Relational Models in Reinforcement Learning / 726
Tom Croonenborghs, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe
Abstract
Permanents, Transport Polytopes and Positive Definite Kernels on Histograms / 732
Marco Cuturi
Abstract
Utile Distinctions for Relational Reinforcement Learning / 738
William Dabney, Amy McGovern
Abstract
Boosting Kernel Discriminant Analysis and Its Application on Tissue Classification of Gene Expression Data / 744
Guang Dai, Dit-Yan Yeung
Abstract
Case Base Mining for Adaptation Knowledge Acquisition / 750
Mathieu d'Aquin, Fadi Badra, Sandrine Lafrogne, Jean Lieber, Amedeo Napoli, Laszlo Szathmary
Abstract
Learning Classifiers When the Training Data Is Not IID / 756
Murat Dundar, Balaji Krishnapuram, Jinbo Bi, R. Bharat Rao
Abstract
Kernel Carpentry for Online Regression Using Randomly Varying Coefficient Model / 762
Narayanan U. Edakunni, Stefan Schaal, Sethu Vijayakumar
Abstract
Occam’s Razor Just Got Sharper / 768
Saher Esmeir, Shaul Markovitch
Abstract
Sequence Labelling in Structured Domains with Hierarchical Recurrent Neural Networks / 774
Santiago Fernández, Alex Graves, Jürgen Schmidhuber
Abstract
Predicting and Preventing Coordination Problems in Cooperative Q-learning Systems / 780
Nancy Fulda, Dan Ventura
Abstract
Feature Selection and Kernel Design via Linear Programming / 786
Glenn Fung, Romer Rosales, R. Bharat Rao
Abstract
Learning Restart Strategies / 792
Matteo Gagliolo, Jürgen Schmidhuber
Abstract
Incremental Construction of Structured Hidden Markov Models / 798
Ugo Galassi, Attilio Giordana, Lorenza Saitta
Abstract
On Mining Closed Sets in Multi-Relational Data / 804
Gemma C. Garriga, Roni Khardon, Luc De Raedt
Abstract
Improving Embeddings by Flexible Exploitation of Side Information / 810
Ali Ghodsi, Dana Wilkinson, Finnegan Southey
Abstract
State Similarity Based Approach for Improving Performance in RL / 817
Sertan Girgin, Faruk Polat, Reda Alhajj
Abstract
Optimistic Active-Learning Using Mutual Information / 823
Yuhong Guo, Russ Greiner
Abstract
Continuous Time Associative Bandit Problems / 830
András György, Levente Kocsis, Ivett Szabó, Csaba Szepesvári
Abstract
Maximum Margin Coresets for Active and Noise Tolerant Learning / 836
Sariel Har-Peled, Dan Roth, Dav Zimak
Abstract
Real Boosting a la Carte with an Application to Boosting Oblique Decision Tree / 842
Claudia Henry, Richard Nock, Frank Nielsen
Abstract
Self-Adjusting Ring Modules (SARMs) for Flexible Gait Pattern Generation / 848
Manfred Hild, Frank Pasemann
Abstract
Analogical Learning in a Turn-Based Strategy Game / 853
Thomas R. Hinrichs, Kenneth D. Forbus
Abstract
Constructing New and Better Evaluation Measures for Machine Learning / 859
Jin Huang, Charles X. Ling
Abstract
Improving Anytime Point-Based Value Iteration Using Principled Point Selections / 865
Michael R. James, Michael E. Samples, Dmitri A. Dolgov
Abstract
A Three-Stage Neural Model for Attribute Based Classification and Indexing of Fly Ashes / 871
M.A. Jayaram, M.C. Nataraja, C.N. Ravikumar
Abstract
Selective Supervision: Guiding Supervised Learning with Decision-Theoretic Active Learning / 877
Ashish Kapoor, Eric Horvitz, Sumit Basu
Abstract
Exploiting Sensorimotor Coordination for Learning to Recognize Objects / 883
Yohannes Kassahun, Mark Edgington, Jose de Gea, Frank Kirchner
Abstract
Avoidance of Model Re-Induction in SVM-Based Feature Selection for Text Categorization / 889
Aleksander Kolcz, Abdur Chowdhury
Abstract
Building Portable Options: Skill Transfer in Reinforcement Learning / 895
George Konidaris, Andrew Barto
Abstract
Marginalized Multi-Instance Kernels / 901
James T. Kwok, Pak-Ming Cheung
Abstract
r-grams: Relational Grams / 907
Niels Landwehr, Luc De Raedt
Abstract
Generalized Additive Bayesian Network Classifiers / 913
Jianguo Li, Changshui Zhang, Tao Wang, Yimin Zhang
Abstract
Generalizing the Bias Term of Support Vector Machines / 919
Wenye Li, Kwong-Sak Leung, Kin-Hong Lee
Abstract
Robust Object Tracking with a Case-Base Updating Strategy / 925
Wenhui Liao, Yan Tong, Zhiwei Zhu, Qiang Ji
Abstract
Explanation-Based Feature Construction / 931
Shiau Hong Lim, Li-Lun Wang, Gerald DeJong
Abstract
Protein Quaternary Fold Recognition Using Conditional Graphical Models / 937
Yan Liu, Jaime Carbonell, Vanathi Gopalakrishnan, Peter Weigele
Abstract
Automatic Gait Optimization with Gaussian Process Regression / 944
Daniel Lizotte, Tao Wang, Michael Bowling, Dale Schuurmans
Abstract
Recursive Random Fields / 950
Daniel Lowd, Pedro Domingos
Abstract
Prediction of Probability of Survival in Critically Ill Patients Optimizing the Area under the ROC Curve / 956
Oscar Luaces, José R. Quevedo, Francisco Taboada, Guillermo M. Albaiceta, Antonio Bahamonde
Abstract
The Ins and Outs of Critiquing / 962
David McSherry, David W. Aha
Abstract
Learning from Partial Observations / 968
Loizos Michael
Abstract
Relevance Estimation and Value Calibration of Evolutionary Algorithm Parameters / 975
Volker Nannen, A.E. Eiben
Abstract
Local Search for Balanced Submodular Clusterings / 981
Mukund Narasimhan, Jeff Bilmes
Abstract
Kernel Matrix Evaluation / 987
Canh Hao Nguyen, Tu Bao Ho
Abstract
Neighborhood MinMax Projections / 993
Feiping Nie, Shiming Xiang, Changshui Zhang
Abstract
Case-based Learning from Proactive Communication / 999
Santi Ontañón, Enric Plaza
Abstract
Learning to Count by Think Aloud Imitation / 1005
Laurent Orseau
Abstract
A Tighter Error Bound for Decision Tree Learning Using PAC Learnability / 1011
Chaithanya Pichuka, Raju S. Bapi, Chakravarthy Bhagvati, Arun K. Pujari, Bulusu L. Deekshatulu
Abstract
Kernel Conjugate Gradient for Fast Kernel Machines / 1017
Nathan D. Ratliff, J. Andrew Bagnell
Abstract
Deictic Option Schemas / 1023
Balaraman Ravindran, Andrew G. Barto, Vimal Mathew
Abstract
Acquiring a Robust Case Base for the Robot Soccer Domain / 1029
Raquel Ros, Josep Lluís Arcos
Abstract
QuantMiner: A Genetic Algorithm for Mining Quantitative Association Rules / 1035
Ansaf Salleb-Aouissi, Christel Vrain, Cyril Nortet
Abstract
Transfer Learning in Real-Time Strategy Games Using Hybrid CBR/RL / 1041
Manu Sharma, Michael Holmes, Juan Santamaria, Arya Irani, Charles Isbell, Ashwin Ram
Abstract
Parametric Kernels for Sequence Data Analysis / 1047
Young-In Shin, Donald Fussell
Abstract
Reinforcement Learning of Local Shape in the Game of Go / 1053
David Silver, Richard Sutton, Martin Müller
Abstract
Semi-Supervised Gaussian Process Classifiers / 1059
Vikas Sindhwani, Wei Chu, S. Sathiya Keerthi
Abstract
An Experts Algorithm for Transfer Learning / 1065
Erik Talvitie, Satinder Singh
Abstract
Direct Code Access in Self-Organizing Neural Networks for Reinforcement Learning / 1071
Ah-Hwee Tan
Abstract
Grounding Abstractions in Predictive State Representations / 1077
Brian Tanner, Vadim Bulitko, Anna Koop, Cosmin Paduraru
Abstract
Metric Properties of Structured Data Visualizations through Generative Probabilistic Modeling / 1083
Peter Tino, Nikolaos Gianniotis
Abstract
Ensembles of Partially Trained SVMs with Multiplicative Updates / 1089
Ivor W. Tsang, James T. Kwok
Abstract
First Order Decision Diagrams for Relational MDPs / 1095
Chenggang Wang, Saket Joshi, Roni Khardon
Abstract
Self-Adaptive Neural Networks Based on a Poisson Approach for Knowledge Discovery / 1101
Haiying Wang, Huiru Zheng, Francisco Azuaje
Abstract
Dynamics of Temporal Difference Learning / 1107
Andreas Wendemuth
Abstract
Machine Learning for On-Line Hardware Reconfiguration / 1113
Jonathan Wildstrom, Peter Stone, Emmett Witchel, Mike Dahlin
Abstract
A Primitive Based Generative Model to Infer Timing Information in Unpartitioned Handwriting Data / 1119
Ben H. Williams, Marc Toussaint, Amos J. Storkey
Abstract
A Subspace Kernel for Nonlinear Feature Extraction / 1125
Mingrui Wu, Jason Farquhar
Abstract
Understanding Drawings by Compositional Analogy / 1131
Patrick W. Yaner, Ashok K. Goel
Abstract
A Scalable Kernel-Based Algorithm for Semi-Supervised Metric Learning / 1138
Dit-Yan Yeung, Hong Chang, Guang Dai
Abstract
Managing Domain Knowledge and Multiple Models with Boosting / 1144
Peng Zang, Charles Isbell
Abstract
Concept Sampling: Towards Systematic Selection in Large-Scale Mixed Concepts in Machine Learning / 1150
Yi Zhang, Xiaoming Jin
Abstract
Searching for Interacting Features / 1156
Zheng Zhao, Huan Liu
Abstract
Learning User Clicks in Web Search / 1162
Ding Zhou, Levent Bolelli, Jia Li, C. Lee Giles, Hongyuan Zha
Abstract
An Empirical Study of the Noise Impact on Cost-Sensitive Learning / 1168
Xingquan Zhu, Xindong Wu, Taghi M. Khoshgoftaar, Yong Shi
Multiagent Systems
Abstract
On the Logic of Normative Systems / 1175
Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge
Abstract
Quantified Coalition Logic / 1181
Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge
Abstract
An Axiomatic Approach to Personalized Ranking Systems / 1187
Alon Altman, Moshe Tennenholtz
Abstract
Market Based Resource Allocation with Incomplete Information / 1193
Bo An, Chunyan Miao, Zhiqi Shen
Abstract
A Game-Theoretic Analysis of Strictly Competitive Multiagent Scenarios / 1199
Felix Brandt, Felix Fischer, Paul Harrenstein, Yoav Shoham
Abstract
Spiteful Bidding in Sealed-Bid Auctions / 1207
Felix Brandt, Tuomas Sandholm, Yoav Shoham
Abstract
Multi-Dimensional Bid Improvement Algorithm for Simultaneous Auctions / 1215
Teddy Candale, Sandip Sen
Abstract
Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial Auctions / 1221
Jesús Cerquides, Ulle Endriss, Andrea Giovannucci, Juan A. Rodríguez-Aguilar
Abstract
Coalitional Bargaining with Agent Type Uncertainty / 1227
Georgios Chalkiadakis, Craig Boutilier
Abstract
Iterated Weaker-than-Weak Dominance / 1233
Shih-Fen Cheng, Michael P. Wellman
Abstract
Reaching Envy-Free States in Distributed Negotiation Settings / 1239
Yann Chevaleyre, Ulle Endriss, Sylvia Estivie, Nicolas Maudet
Abstract
Privacy and Artificial Agents, or, Is Google Reading My Email? / 1245
Samir Chopra, Laurence White
Abstract
Incremental Mechanism Design / 1251
Vincent Conitzer, Tuomas Sandholm
Abstract
Learning Policies for Embodied Virtual Agents through Demonstration / 1257
Jonathan Dinerstein, Parris K. Egbert, Dan Ventura
Abstract
Sharing the Road: Autonomous Vehicles Meet Human Drivers / 1263
Kurt Dresner, Peter Stone
Abstract
Communicating Effectively in Resource-Constrained Multi-Agent Systems / 1269
Partha S. Dutta, Claudia V. Goldman, Nicholas R. Jennings
Abstract
Holonic Multiagent Multilevel Simulation: Application to Real-Time Pedestrian Simulation in Urban Environment / 1275
Nicolas Gaud, Franck Gechter, Stéphane Galland, Abderrafiâa Koukam
Abstract
Coordination to Avoid Starvation of Bottleneck Agents in a Large Network System / 1281
Rajesh Gautam, Kazuo Miyashita
Abstract
Sellers Competing for Buyers in Online Markets: Reserve Prices, Shill Bids, and Auction Fees / 1287
Enrico H. Gerding, Alex Rogers, Rajdeep K. Dash, Nicholas R. Jennings
Abstract
Complexity of Pure Equilibria in Bayesian Games / 1294
Georg Gottlob, Gianluigi Greco, Toni Mancini
Abstract
Characterizing Solution Concepts in Games Using Knowledge-Based Programs / 1300
Joseph Y. Halpern, Yoram Moses
Abstract
Hybrid Elections Broaden Complexity-Theoretic Resistance to Control / 1308
Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe
Abstract
Truthful Risk-Managed Combinatorial Auctions / 1315
Alan Holland, Barry O'Sullivan
Abstract
Adaptation of Organizational Models for Multi-Agent Systems Based on Max Flow Networks / 1321
Mark Hoogendoorn
Abstract
Collaborative Inductive Logic Programming for Path Planning / 1327
Jian Huang, Adrian R. Pearce
Abstract
Mechanism Design with Partial Revelation / 1333
Nathanaël Hyafil, Craig Boutilier
Abstract
Augmented Experiment: Participatory Design with Multiagent Simulation / 1341
Toru Ishida, Yuu Nakajima, Yohei Murakami, Hideyuki Nakanishi
Abstract
Multi-issue Negotiation Protocol for Agents: Exploring Nonlinear Utility Spaces / 1347
Takayuki Ito, Hiromitsu Hattori, Mark Klein
Abstract
A Model for Collective Strategy Diffusion in Agent Social Law Evolution / 1353
Yichuan Jiang, Toru Ishida
Abstract
Sequential Bundle-Bid Single-Sale Auction Algorithms for Decentralized Control / 1359
Sven Koenig, Craig Tovey, Xiaoming Zheng, Ilgaz Sungur
Abstract
Vote and Aggregation in Combinatorial Domains with Structured Preferences / 1366
Jérôme Lang
Abstract
Winner Determination in Sequential Majority Voting / 1372
Jérôme Lang, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
Abstract
RoxyBot-06: An (SAA)2 TAC Travel Agent / 1378
Seong Jae Lee, Amy Greenwald, Victor Naroditskiy
Abstract
Automatic Verification of Knowledge and Time with NuSMV / 1384
Alessio Lomuscio, Charles Pecheur, Franco Raimondi
Abstract
An Energy-Efficient, Multi-Agent Sensor Network for Detecting Diffuse Events / 1390
Rónán Mac Ruairí, Mark T. Keane
Abstract
A Multi-Agent Medical System for Indian Rural Infant and Child Care / 1396
Vijay Kumar Mago, M. Syamala Devi
Abstract
Infeasibility Certificates and the Complexity of the Core in Coalitional Games / 1402
Enrico Malizia, Luigi Palopoli, Francesco Scarcello
Abstract
Providing a Recommended Trading Agent to a Population: A Novel Approach / 1408
Efrat Manistersi, Ron Katz, Sarit Kraus
Abstract
Enhancing MAS Cooperative Search Through Coalition Partitioning / 1415
Efrat Manisterski, David Sarne, Sarit Kraus
Abstract
Multipotential Games / 1422
Dov Monderer
Abstract
Multi-Agent System that Attains Longevity via Death / 1428
Megan Olsen, Hava Siegelmann
Abstract
Argumentation Based Contract Monitoring in Uncertain Domains / 1434
Nir Oren, Timothy J. Norman, Alun Preece
Abstract
Dynamic Verification of Trust in Distributed Open Systems / 1440
Nardine Osman, David Robertson
Abstract
Quality Guarantees on k-Optimal Solutions for Distributed Constraint Optimization Problems / 1446
Jonathan P. Pearce, Milind Tambe
Abstract
MB-DPOP: A New Memory-Bounded Algorithm for Distributed Optimization / 1452
Adrian Petcu, Boi Faltings
Abstract
DiPRA: Distributed Practical Reasoning Architecture / 1458
Giovanni Pezzulo, Gianguglielmo Calvi, Cristiano Castelfranchi
Abstract
Incompleteness and Incomparability in Preference Aggregation / 1464
Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
Abstract
Gossip-Based Aggregation of Trust in Decentralized Reputation Systems / 1470
Ariel D. Procaccia, Yoram Bachrach, Jeffrey S. Rosenschein
Abstract
Multi-Winner Elections: Complexity of Manipulation, Control and Winner-Determination / 1476
Ariel D. Procaccia, Jeffrey S. Rosenschein, Aviv Zohar
Abstract
Opponent Modeling in Scrabble / 1482
Mark Richards, Eyal Amir
Abstract
Routing Mediators / 1488
Ola Rozenfeld, Moshe Tennenholtz
Abstract
An Efficient Protocol for Negotiation over Multiple Indivisible Resources / 1494
Sabyasachi Saha, Sandip Sen
Abstract
Automated Design of Multistage Mechanisms / 1500
Tuomas Sandholm, Vincent Conitzer, Craig Boutilier
Abstract
Emergence of Norms through Social Learning / 1507
Sandip Sen, Stéphane Airiau
Abstract
Information-Based Agency / 1513
Carles Sierra, John Debenham
Abstract
Formalizing Communication Protocols for Multiagent Systems / 1519
Munindar P. Singh
Abstract
Control of Agent Swarms Using Generalized Centroidal Cyclic Pursuit Laws / 1525
Arpita Sinha, Debasish Ghose
Abstract
On Modeling Multiagent Task Scheduling as a Distributed Constraint Optimization Problem / 1531
Evan A. Sultanik, Pragnesh Jay Modi, William C. Regli
Abstract
Emotions as Durative Dynamic State for Action Selection / 1537
Emmanuel Tanguy, Philip Willis, Joanna J. Bryson
Abstract
Generating Bayes-Nash Equilibria to Design Autonomous Trading Agents / 1543
Ioannis A. Vetsikas, Nicholas R. Jennings, Bart Selman
Abstract
Formal Trust Model for Multiagent Systems / 1551
Yonghong Wang, Munindar P. Singh
Abstract
Towards Runtime Behavior Adaptation for Embodied Characters / 1557
Peng Zang, Manish Mehta, Michael Mateas, Ashwin Ram
Abstract
Using Focal Point Learning to Improve Tactic Coordination in Human-Machine Interactions / 1563
Inon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschein
Natural Language Processing
Abstract
Phonetic Models for Generating Spelling Variants / 1570
Rahul Bhagat, Eduard Hovy
Abstract
Sequence Prediction Exploiting Similary Information / 1576
István Bíró, Zoltán Szamonek, Csaba Szepesvári
Abstract
Supervised Latent Semantic Indexing Using Adaptive Sprinkling / 1582
Sutanu Chakraborti, Rahman Mukras, Robert Lothian, Nirmalie Wiratunga, Stuart Watt, David Harper
Abstract
A Ranking Approach to Pronoun Resolution / 1588
Pascal Denis, Jason Baldridge
Abstract
Word Sense Disambiguation through Sememe Labeling / 1594
Xiangyu Duan, Jun Zhao, Bo Xu
Abstract
Case-Based Techniques Used for Dialogue Understanding and Planning in a Human-Robot Dialogue System / 1600
Karolina Eliasson
Abstract
Computing Semantic Relatedness Using Wikipedia-based Explicit Semantic Analysis / 1606
Evgeniy Gabrilovich, Shaul Markovitch
Abstract
On Natural Language Processing and Plan Recognition / 1612
Christopher W. Geib, Mark Steedman
Abstract
Using Ontologies and the Web to Learn Lexical Semantics / 1618
Aarti Gupta, Tim Oates
Abstract
Unsupervised Anomaly Detection / 1624
David Guthrie, Louise Guthrie, Ben Allison, Yorick Wilks
Abstract
Named Entity Translation with Web Mining and Transliteration / 1629
Long Jiang, Ming Zhou, Lee-Feng Chien, Cheng Niu
Abstract
Optimizing Classifier Performance in Word Sense Disambiguation by Redefining Sense Classes / 1635
Upali S. Kohomban, Wee Sun Lee
Abstract
Learning from the Report-writing Behavior of Individuals / 1641
Mohit Kumar, Nikesh Garera, Alexander I. Rudnicky
Abstract
SegGen: A Genetic Algorithm for Linear Text Segmentation / 1647
Sylvain Lamprier, Tassadit Amghar, Bernard Levrat, Frederic Saubion
Abstract
Cluster-Based Selection of Statistical Answering Strategies / 1653
Lucian Vlad Lita, Jaime Carbonell
Abstract
Automatically Selecting Answer Templates to Respond to Customer Emails / 1659
Rahul Malik, L. Venkata Subramaniam, Saroj Kaushik
Abstract
A Predictive Approach to Help-Desk Response Generation / 1665
Yuval Marom, Ingrid Zukerman
Abstract
Efficient HPSG Parsing with Supertagging and CFG-Filtering / 1671
Takuya Matsuzaki, Yusuke Miyao, Jun'ichi Tsujii
Abstract
A Flexible Unsupervised PP-Attachment Method Using Semantic Information / 1677
Srinivas Medimi, Pushpak Bhattacharyya
Abstract
Graph Connectivity Measures for Unsupervised Word Sense Disambiguation / 1683
Roberto Navigli, Mirella Lapata
Abstract
Shallow Semantics for Coreference Resolution / 1689
Vincent Ng
Abstract
Subtree Mining for Question Classification Problem / 1695
Minh Le Nguyen, Thanh Tri Nguyen, Akira Shimazu
Abstract
Natural Language Query Recommendation in Conversation Systems / 1701
Shimei Pan, James Shaw
Abstract
A Dual-layer CRFs Based Joint Decoding Method for Cascaded Segmentation and Labeling Tasks / 1707
Yanxin Shi, Mengqiu Wang
Abstract
Database-Text Alignment via Structured Multilabel Classification / 1713
Benjamin Snyder, Regina Barzilay
Abstract
Dances with Words / 1719
Carlo Strapparava, Alessandro Valitutti, Oliviero Stock
Abstract
Word Sense Disambiguation with Spreading Activation Networks Generated from Thesauri / 1725
George Tsatsaronis, Michalis Vazirgiannis, Ion Androutsopoulos
Abstract
Morphological Annotation of a Large Spontaneous Speech Corpus in Japanese / 1731
Kiyotaka Uchimoto, Hitoshi Isahara
Abstract
Speaker-Invariant Features for Automatic Speech Recognition / 1738
Srinivasan Umesh, D. Rama Sanand, G. Praveen
Abstract
Correlation Clustering for Crosslingual Link Detection / 1744
Jurgen Van Gael, Xiaojin Zhu
Abstract
A Hybrid Ontology Directed Feedback Selection Algorithm for Supporting Creative Problem Solving Dialogues / 1750
Hao-Chuan Wang, Rohit Kumar, Carolyn Penstein Rosé, Tsai-Yen Li, Chun-Yen Chang
Abstract
Simple Training of Dependency Parsers via Structured Boosting / 1756
Qin Iris Wang, Dekang Lin, Dale Schuurmans
Abstract
One Class per Named Entity: Exploiting Unlabeled Text for Named Entity Recognition / 1763
Yingchuan Wong, Hwee Tou Ng
Abstract
A Privacy-Sensitive Approach to Modeling Multi-Person Conversations / 1769
Danny Wyatt, Tanzeem Choudhury, Jeff Bilmes, Henry Kautz
Abstract
Multi-Document Summarization by Maximizing Informative Content-Words / 1776
Wen-tau Yih, Joshua Goodman, Lucy Vanderwende, Hisami Suzuki
Abstract
Ambiguous Part-of-Speech Tagging for Improving Accuracy and Domain Portability of Syntactic Parsers / 1783
Kazuhiro Yoshida, Yoshimasa Tsuruoka, Yusuke Miyao, Jun'ichi Tsujii
Abstract
Automatic Acquisition of Context-Specific Lexical Paraphrases / 1789
Shiqi Zhao, Ting Liu, Xincheng Yuan, Sheng Li, Yu Zhang
Abstract
Learning Question Paraphrases for QA from Encarta Logs / 1795
Shiqi Zhao, Ming Zhou, Ting Liu
Planning and Scheduling
Abstract
Detecting Stochastically Scheduled Activities in Video / 1802
Massimiliano Albanese, Vincenzo Moscato, Antonio Picariello, V.S. Subrahmanian, Octavian Udrea
Abstract
A Heuristic Search Approach to Planning with Temporally Extended Preferences / 1808
Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith
Abstract
Waiting and Relocation Strategies in Online Stochastic Vehicle Routing / 1816
Russell Bent, Pascal Van Hentenryck
Abstract
Coalitions in Action Logic / 1822
Stefano Borgo
Abstract
Fast Planning with Iterative Macros / 1828
Adi Botea, Martin Müller, Jonathan Schaeffer
Abstract
Planning for Gene Regulatory Network Intervention / 1834
Daniel Bryce, Seungchan Kim
Abstract
Long-Distance Mutual Exclusion for Propositional Planning / 1840
Yixin Chen, Zhao Xing, Weixiong Zhang
Abstract
Towards an Integration of Golog and Planning / 1846
Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel
Abstract
When is Temporal Planning Really Temporal? / 1852
William Cushing, Subbarao Kambhampati, Mausam, Daniel S. Weld
Abstract
Topological Value Iteration Algorithm for Markov Decision Processes / 1860
Peng Dai, Judy Goldsmith
Abstract
Automatic Synthesis of New Behaviors from a Library of Available Behaviors / 1866
Giuseppe De Giacomo, Sebastian Sardina
Abstract
Planning with Goal Utility Dependencies / 1872
Minh B. Do, J. Benton, Menkes van den Briel, Subbarao Kambhampati
Abstract
A Decision-Theoretic Model of Assistance / 1879
Alan Fern, Sriraam Natarajan, Kshitij Judah, Prasad Tadepalli
Abstract
Transferring Learned Control-Knowledge between Planners / 1885
Susana Fernández, Ricardo Aler, Daniel Borrajo
Abstract
Decidable Reasoning in a Modified Situation Calculus / 1891
Yilan Gu, Mikhail Soutchanski
Abstract
Reducing Accidental Complexity in Planning Problems / 1898
Patrik Haslum
Abstract
Planning via Petri Net Unfolding / 1904
Sarah Hickmott, Jussi Rintanen, Sylvie Thiébaux, Lang White
Abstract
Detecting Changes in Unlabeled Data Streams Using Martingale / 1912
Shen-Shyang Ho, Harry Wechsler
Abstract
SAT Encodings of State-Space Reachability Problems in Numeric Domains / 1918
Jörg Hoffmann, Carla Gomes, Bart Selman, Henry Kautz
Abstract
Constraint Partitioning for Solving Planning Problems with Trajectory Constraints and Goal Preferences / 1924
Chih-Wei Hsu, Benjamin W. Wah, Ruoyun Huang, Yixin Chen
Abstract
Observation Reduction for Strong Plans / 1930
Wei Huang, Zhonghua Wen, Yunfei Jiang, Lihua Wu
Abstract
The Role of Macros in Tractable Planning over Causal Graphs / 1936
Anders Jonsson
Abstract
Factored Planning Using Decomposition Trees / 1942
Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux
Abstract
Property Persistence in the Situation Calculus / 1948
Ryan F. Kelly, Adrian R. Pearce
Abstract
Fast (Incremental) Algorithms for Useful Classes of Simple Temporal Problems with Preferences / 1954
T. K. Satish Kumar
Abstract
Handling Alternative Activities in Resource-Constrained Project Scheduling Problems / 1960
Jürgen Kuster, Jannach Dietmar, Gerhard Friedrich
Abstract
Planning for Temporally Extended Goals as Propositional Satisfiability / 1966
Robert Mattmüller, Jussi Rintanen
Abstract
A Hybridized Planner for Stochastic Domains / 1972
Mausam, Piergiorgio Bertoli, Daniel S. Weld
Abstract
Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer Programs / 1979
Luc Mercier, Pascal Van Hentenryck
Abstract
Generalizing Temporal Controllability / 1985
Michael D. Moffitt, Martha E. Pollack
Abstract
An Extension to Conformant Planning Using Logic Programming / 1991
A. Ricardo Morales, Phan Huy Tu, Tran Cao Son
Abstract
Average-Reward Decentralized Markov Decision Processes / 1997
Marek Petrik, Shlomo Zilberstein
Abstract
Graph Decomposition for Efficient Multi-Robot Path Planning / 2003
Malcolm Ryan
Abstract
Memory-Bounded Dynamic Programming for DEC-POMDPs / 2009
Sven Seuken, Shlomo Zilberstein
Abstract
Domain Independent Approaches for Finding Diverse Plans / 2016
Biplav Srivastava, Tuan A. Nguyen, Alfonso Gerevini, Subbarao Kambhampati, Minh Binh Do, Ivan Serina
Abstract
Planning under Risk and Knightian Uncertainty / 2023
Felipe W. Trevizan, Fábio G. Cozman, Leliane N. de Barros
Abstract
Progression of Situation Calculus Action Theories with Incomplete Information / 2029
Stavros Vassos, Hector Levesque
Abstract
Relational Knowledge with Predictive State Representations / 2035
David Wingate, Vishal Soni, Britton Wolfe, Satinder Singh
Abstract
Discriminative Learning of Beam-Search Heuristics for Planning / 2041
Yuehua Xu, Alan Fern, Sungwook Yoon
Abstract
Using Learned Policies in Heuristic-Search Planning / 2047
SungWook Yoon, Alan Fern, Robert Givan
Robotics
Abstract
Effective Control Knowledge Transfer through Learning Skill and Representation Hierarchies / 2054
Mehran Asadi, Manfred Huber
Abstract
Image Modeling Using Tree Structured Conditional Random Fields / 2060
Pranjal Awasthi, Aakanksha Gagrani, Balaraman Ravindran
Abstract
Visually Tracking Football Games Based on TV Broadcasts / 2066
Michael Beetz, Suat Gedikli, Jan Bandouch, Bernhard Kirchlechner, Nico von Hoyningen-Huene, Alexander Perzylo
Abstract
Mediating between Qualitative and Quantitative Representations for Task-Orientated Human-Robot Interaction / 2072
Michael Brenner, Nick Hawes, John Kelleher, Jeremy Wyatt
Abstract
Fast Image Alignment Using Anytime Algorithms / 2078
Rupert Brooks, Tal Arbel, Doina Precup
Abstract
Learning to Walk through Imitation / 2084
Rawichote Chalodhorn, David B. Grimes, Keith Grochow, Rajesh P.N. Rao
Abstract
Dealing with Perception Errors in Multi-Robot System Coordination / 2091
Alessandro Farinelli, Daniele Nardi, Paul Scerri, Alberto Ingenito
Abstract
Team Programming in Golog under Partial Observability / 2097
Alessandro Farinelli, Alberto Finzi, Thomas Lukasiewicz
Abstract
A New Approach for Stereo Matching in Autonomous Mobile Robot Applications / 2103
Pasquale Foggia, Jean-Michel Jolion, Alessandro Limongiello, Mario Vento
Abstract
Voronoi Random Fields: Extracting Topological Structure of Indoor Environments via Place Labeling / 2109
Stephen Friedman, Hanna Pasula, Dieter Fox
Abstract
Peripheral-Foveal Vision for Real-time Object Recognition and Tracking in Video / 2115
Stephen Gould, Joakim Arfvidsson, Adrian Kaehler, Benjamin Sapp,
Marius Messner, Gary Bradski, Paul Baumstarck, Sukwon Chung, Andrew Y.
Ng
Abstract
Structure Inference for Bayesian Multisensory Perception and Tracking / 2122
Timothy M. Hospedales, Joel J. Cartwright, Sethu Vijayakumar
Abstract
Fast Incremental Square Root Information Smoothing / 2129
Michael Kaess, Ananth Ranganathan, Frank Dellaert
Abstract
Optimal Multi-Sensor Based Multi Target Detection by Moving Sensors to the Maximal Clique in a Covering Graph / 2135
Ganesh P. Kumar, K. Madhava Krishna
Abstract
Bayesian Tensor Inference for Sketch-Based Facial Photo Hallucination / 2141
Wei Liu, Xiaoou Tang, Jianzhuang Liu
Abstract
Topological Mapping through Distributed, Passive Sensors / 2147
Dimitri Marinakis, Gregory Dudek
Abstract
A Distributed Architecture for Symbolic Data Fusion / 2153
Fulvio Mastrogiovanni, Antonio Sgorbissa, Renato Zaccaria
Abstract
Inferring Long-term User Properties Based on Users' Location History / 2159
Yutaka Matsuo, Naoaki Okazaki, Kiyoshi Izumi, Yoshiyuki Nakamura, Takuichi Nishimura, Kôiti Hasida, Hideyuki Nakashima
Abstract
Co-Localization from Labeled and Unlabeled Data Using Graph Laplacian / 2166
Jeffrey Junfeng Pan, Qiang Yang
Abstract
Feature Based Occupancy Grid Maps for Sonar Based Safe-Mapping / 2172
Amit Kumar Pandey, K. Madhava Krishna, Mainak Nath
Abstract
Probabilistic Mobile Manipulation in Dynamic Environments, with Application to Opening Doors / 2178
Anna Petrovskaya, Andrew Y. Ng
Abstract
Efficient Failure Detection on Mobile Robots Using Particle Filters with Gaussian Process Proposals / 2185
Christian Plagemann, Dieter Fox, Wolfram Burgard
Abstract
Loopy SAM / 2191
Ananth Ranganathan, Michael Kaess, Frank Dellaert
Abstract
Depth Estimation Using Monocular and Stereo Cues / 2197
Ashutosh Saxena, Jamie Schulte, Andrew Y. Ng
Abstract
Efficient Planning of Informative Paths for Multiple Robots / 2204
Amarjeet Singh, Andreas Krause, Carlos Guestrin, William Kaiser, Maxim Batalin
Abstract
Color Learning on a Mobile Robot: Towards Full Autonomy under Changing Illumination / 2212
Mohan Sridharan, Peter Stone
Abstract
Online Speed Adaptation Using Supervised Learning for High-Speed, Off-Road Autonomous Driving / 2218
David Stavens, Gabriel Hoffmann, Sebastian Thrun
Abstract
Instace-Based AMN Classification for Improved Object Recognition in 2D and 3D Laser Range Data / 2225
Rudolph Triebel, Richard Schmidt, Óscar Martínez Mozos, Wolfram Burgard
Abstract
MESH-Based Active Monte Carlo Recognition (MESH-AMCR) / 2231
Felix von Hundelshausen, H. J. Wuensche, Marco Block, Raul Kompass, Raúl Rojas
Abstract
Common Sense Based Joint Training of Human Activity Recognizers / 2237
Shiaokai Wang, William Pentney, Ana-Maria Popescu, Tanzeem Choudhury, Matthai Philipose
Abstract
Using a Mobile Robot for Cognitive Mapping / 2243
Chee K. Wong, Jochen Schmidt, Wai K. Yeap
Search
Abstract
AWA* — A Window Constrained Anytime Heuristic Search Algorithm / 2250
Sandip Aine, Partha P. Chakrabarti, Rajeev Kumar
Abstract
GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability / 2256
Gilles Audemard, Laurent Simon
Abstract
Symmetry Breaking in Quantified Boolean Formulae / 2262
Gilles Audemard, Saïd Jabbour, Lakhdar Saïs
Abstract
Computational Aspects of Analyzing Social Network Dynamics / 2268
Chris Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard E. Stearns, Mayur Thakur
Abstract
A Machine Learning Approach for Statistical Software Testing / 2274
Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel, Sandrine-Dominique Gouraud
Abstract
Web Page Clustering Using Heuristic Search in the Web Graph / 2280
Ron Bekkerman, Shlomo Zilberstein, James Allan
Abstract
Information-Theoretic Approaches to Branching in Search / 2286
Andrew Gilpin, Tuomas Sandholm
Abstract
From Sampling to Model Counting / 2293
Carla P. Gomes, Joerg Hoffmann, Ashish Sabharwal, Bart Selman
Abstract
Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle / 2300
Éric Grégoire, Bertrand Mazure, Cédric Piette
Abstract
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic / 2306
Joseph Y. Halpern, Leandro Chaves Rego
Abstract
Improving LRTA*(k) / 2312
Carlos Hernández, Pedro Meseguer
Abstract
The Effect of Restarts on the Efficiency of Clause Learning / 2318
Jinbo Huang
Abstract
Recent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of Hanoi Problem / 2324
Richard E. Korf, Ariel Felner
Abstract
Adaptive Genetic Algorithm with Mutation and Crossover Matrices / 2330
Nga Lam Law, Kwok Yip Szeto
Abstract
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving / 2334
Han Lin, Kaile Su
Abstract
A Multiobjective Frontier Search Algorithm / 2340
Lawrence Mandow, José Luis Pérez de la Cruz
Abstract
A Comparison of Time-Space Schemes for Graphical Models / 2346
Robert Mateescu, Rina Dechter
Abstract
State Space Search for Risk-Averse Agents / 2353
Patrice Perny, Olivier Spanjaard, Louis-Xavier Storme
Abstract
Building Structure into Local Search for SAT / 2359
Duc Nghia Pham, John Thornton, Abdul Sattar
Abstract
Near-Optimal Anytime Coalition Structure Generation / 2365
Talal Rahwan, Sarvapali D. Ramchurn, Viet Dung Dang, Nicholas R. Jennings
Abstract
Real-Time Heuristic Search with a Priority Queue / 2372
D. Chris Rayner, Katherine Davison, Vadim Bulitko, Kenneth Anderson, Jieshan Lu
Abstract
Best-First Utility-Guided Search / 2378
Wheeler Ruml, Minh B. Do
Abstract
Dynamic Weighting A* Search-Based MAP Algorithm for Bayesian Networks / 2385
Xiaoxun Sun, Marek J. Druzdzel, Changhe Yuan
Abstract
The Fringe-Saving A* Search Algorithm - A Feasibility Study / 2391
Xiaoxun Sun, Sven Koenig
Abstract
Using Graph Algebra to Optimize Neighborhood for Isometric Mapping / 2398
Guihua Wen, Lijun Jiang, Nigel R. Shadbolt
Abstract
Lambda Depth-First Proof Number Search and Its Application to Go / 2404
Kazuki Yoshizoe, Akihiro Kishimoto, Martin Müller
Abstract
Edge Partitioning in External-Memory Graph Search / 2410
Rong Zhou, Eric A. Hansen
Uncertainty
Abstract
Solving POMDPs Using Quadratically Constrained Linear Programs / 2418
Christopher Amato, Daniel S. Bernstein, Shlomo Zilberstein
Abstract
On the Compilation of Stratified Belief Bases under Linear and Possibilistic Logic Policies / 2425
Salem Benferhat, Safa Yahi, Habiba Drias
Abstract
Efficient and Robust Independence-Based Markov Network Structure Discovery / 2431
Facundo Bromberg, Dimitris Margaritis
Abstract
Using Linear Programming for Bayesian Exploration in Markov Decision Processes / 2437
Pablo Samuel Castro, Doina Precup
Abstract
Compiling Bayesian Networks Using Variable Elimination / 2443
Mark Chavira, Adnan Darwiche
Abstract
Representing Kriegspiel States with Metapositions / 2450
Paolo Ciancarini, Gian Piero Favini
Abstract
A Conceptual Graph Approach for the Generation of Referring Expressions / 2456
Madalina Croitoru, Kees Van Deemter
Abstract
ProbLog: A Probabilistic Prolog and Its Application in Link Discovery / 2462
Luc De Raedt, Angelika Kimmig, Hannu Toivonen
Abstract
Belief Change Based on Global Minimisation / 2468
James P. Delgrande, Jérôme Lang, Torsten Schaub
Abstract
The Value of Observation for Monitoring Dynamic Systems / 2474
Eyal Even-Dar, Sham M. Kakade, Yishay Mansour
Abstract
WiFi-SLAM Using Gaussian Process Latent Variable Models / 2480
Brian Ferris, Dieter Fox, Neil Lawrence
Abstract
Revisiting Output Coding for Sequential Supervised Learning / 2486
Guohua Hao, Alan Fern
Abstract
Graph-Based Semi-Supervised Learning as a Generative Model / 2492
Jingrui He, Jaime Carbonell, Yan Liu
Abstract
An Action Description Language for Iterated Belief Change / 2498
Aaron Hunter, James P. Delgrande
Abstract
Using a Hierarchical Bayesian Model to Handle High Cardinality Attributes with Relevant Interactions in a Classification Problem / 2504
Jorge Jambeiro Filho, Jacques Wainer
Abstract
A Factor Graph Model for Software Bug Finding / 2510
Ted Kremenek, Andrew Y. Ng, Dawson Engler
Abstract
Belief Update Revisited / 2517
Jérôme Lang
Abstract
Dynamically Weighted Hidden Markov Model for Spam Deobfuscation / 2523
Seunghak Lee, Iryoung Jeong, Seungjin Choi
Abstract
Training Conditional Random Fields Using Virtual Evidence Boosting / 2530
Lin Liao, Tanzeem Choudhury, Dieter Fox, Henry Kautz
Abstract
A Fast Analytical Algorithm for Solving Markov Decision Processes with Real-Valued Resources / 2536
Janusz Marecki, Sven Koenig, Milind Tambe
Abstract
Hierarchical Heuristic Forward Search in Stochastic Domains / 2542
Nicolas Meuleau, Ronen I. Brafman
Abstract
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs / 2550
Shin-ichi Minato, Ken Satoh, Taisuke Sato
Abstract
Efficiently Exploiting Symmetries in Real Time Dynamic Programming / 2556
Shravan Matthur Narayanamurthy, Balaraman Ravindran
Abstract
Hierarchical Multi-channel Hidden Semi Markov Models / 2562
Pradeep Natarajan, Ramakant Nevatia
Abstract
Iterated Belief Contraction from First Principles / 2568
Abhaya C. Nayak, Randy Goebel, Mehmet A. Orgun
Abstract
An Analysis of Laplacian Methods for Value Function Approximation in MDPs / 2574
Marek Petrik
Abstract
Global/Local Dynamic Models / 2580
Avi Pfeffer, Subrata Das, David Lawless, Brenda Ng
Abstract
Bayesian Inverse Reinforcement Learning / 2586
Deepak Ramachandran, Eyal Amir
Abstract
AEMS: An Anytime Online Search Algorithm for Approximate Policy Refinement in Large POMDPs / 2592
Stéphane Ross, Brahim Chaib-draa
Abstract
Efficient Bayesian Task-Level Transfer Learning / 2599
Daniel M. Roy, Leslie P. Kaelbling
Abstract
Inside-Outside Probability Computation for Belief Propagation / 2605
Taisuke Sato
Abstract
Logical Circuit Filtering / 2611
Dafna Shahaf, Eyal Amir
Abstract
Forward Search Value Iteration for POMDPs / 2619
Guy Shani, Ronen I. Brafman, Solomon E. Shimony
Abstract
Dynamic Interactions between Goals and Beliefs / 2625
Steven Shapiro, Gerhard Brewka
Abstract
Inferring Complex Agent Motions from Partial Trajectory Observations / 2631
Finnegan Southey, Wesley Loh, Dana Wilkinson
Abstract
Towards Efficient Computation of Error Bounded Solutions in POMDPs: Expected Value Approximation and Dynamic Disjunctive Beliefs / 2638
Pradeep Varakantham, Rajiv T. Maheswaran, Tapana Gupta, Milind Tambe
Web / Data Mining
Abstract
Distributed Data Mining: Why Do More Than Aggregating Models / 2645
Mohamed Aoun-Allah, Guy Mineau
Abstract
Stable Biclustering of Gene Expression Data with Nonnegative Matrix Factorizations / 2651
Liviu Badea, Doina Tilivea
Abstract
Determining Expert Profiles (With an Application to Expert Finding) / 2657
Krisztian Balog, Maarten de Rijke
Abstract
Learning “Forgiving” Hash Functions: Algorithms and Large Scale Tests / 2663
Shumeet Baluja, Michele Covell
Abstract
Open Information Extraction from the Web / 2670
Michele Banko, Michael J. Cafarella, Stephen Soderland, Matt Broadhead, Oren Etzioni
Abstract
Trust Based Recommender System for Semantic Web / 2677
Punam Bedi, Harmeet Kaur, Sudeep Marwaha
Abstract
Identifying Expressions of Opinion in Context / 2683
Eric Breck, Yejin Choi, Claire Cardie
Abstract
Detect and Track Latent Factors with Online Nonnegative Matrix Factorization / 2689
Bin Cao, Dou Shen, Jian-Tao Sun, Xuanhui Wang, Qiang Yang, Zheng Chen
Abstract
Learning Semantic Descriptions of Web Information Sources / 2695
Mark James Carman, Craig A. Knoblock
Abstract
An Improved Probabilistic Ant based Clustering for Distributed Databases / 2701
Ramachandran Chandrasekar, Thanukrishnan Srinivasan
Abstract
Directed Graph Embedding / 2707
Mo Chen, Qiong Yang, Xiaoou Tang
Abstract
Constructing Career Histories: A Case Study in Disentangling the Threads / 2713
Paul R. Cohen
Abstract
Change of Representation for Statistical Relational Learning / 2719
Jesse Davis, Irene Ong, Jan Struyf, Elizabeth Burnside, David Page, Vítor Santos Costa
Abstract
Pseudo-Aligned Multilingual Corpora / 2727
Fernando Diaz, Donald Metzler
Abstract
Locating Complex Named Entities in Web Text / 2733
Doug Downey, Matthew Broadhead, Oren Etzioni
Abstract
Models of Searching and Browsing: Languages, Studies, and Application / 2740
Doug Downey, Susan Dumais, Eric Horvitz
Abstract
An Adaptive Context-Based Algorithm for Term Weighting: Application to Single-Word Question Answering / 2748
Marco Ernandes, Giovanni Angelini, Marco Gori, Leonardo Rigutini, Franco Scarselli
Abstract
Semi-Supervised Learning for Multi-Component Data Classification / 2754
Akinori Fujino, Naonori Ueda, Kazumi Saito
Abstract
Opinion Sentence Search Engine on Open-Domain Blog / 2760
Osamu Furuse, Nobuaki Hiroshima, Setsuo Yamada, Ryoji Kataoka
Abstract
ItemRank: A Random-Walk Based Scoring Algorithm for Recommender Engines / 2766
Marco Gori, Augusto Pucci
Abstract
An Analysis of the Use of Tags in a Blog Recommender System / 2772
Conor Hayes, Paolo Avesani, Sriharsha Veeramachaneni
Abstract
Efficient Calculation of Personalized Document Rankings / 2778
Claudia Hess, Klaus Stein
Abstract
Computation of Initial Modes for K-modes Clustering Algorithm Using Evidence Accumulation / 2784
Shehroz S. Khan, Shri Kant
Abstract
Logistic Regression Models for a Fast CBIR Method Based on Feature Selection / 2790
Riadh Ksantini, Djemel Ziou, Bernard Colin, Francois Dubeau
Abstract
Collapsed Variational Dirichlet Process Mixture Models / 2796
Kenichi Kurihara, Max Welling, Yee Whye Teh
Abstract
Learning to Identify Unexpected Instances in the Test Set / 2802
Xiao-li Li, Bing Liu, See-Kiong Ng
Abstract
Feature Mining and Neuro-Fuzzy Inference System for Steganalysis of LSB Matching Stegangoraphy in Grayscale Images / 2808
Qingzhong Liu, Andrew H. Sung
Abstract
Improving Activity Discovery with Automatic Neighborhood Estimation / 2814
David Minnen, Thad Starner, Irfan Essa, Charles Isbell
Abstract
Extracting Keyphrases to Represent Relations in Social Networks from Web / 2820
Junichiro Mori, Ishizuka Mitsuru, Yutaka Matsuo
Abstract
Extracting and Visualizing Trust Relationships from Online Auction Feedback Comments / 2826
John O'Donovan, Barry Smyth, Vesile Evrim, Dennis McLeod
Abstract
What You Seek Is What You Get: Extraction of Class Attributes from Query Logs / 2832
Marius Pasca, Benjamin Van Durme
Abstract
Semi-Supervised Learning of Attribute-Value Pairs from Product Descriptions / 2838
Katharina Probst, Rayid Ghani, Marko Krema, Andrew Fano, Yan Liu
Abstract
A Fusion of Stacking with Dynamic Integration / 2844
Niall Rooney, David Patterson
Abstract
Robust Human-Computer Interaction System Guiding a User by Providing Feedback / 2850
Michael S. Ryoo, Jake K. Aggarwal
Abstract
Combining Learning and Word Sense Disambiguation for Intelligent User Profiling / 2856
Giovanni Semeraro, Marco Degemmis, Pasquale Lops, Pierpaolo Basile
Abstract
Document Summarization Using Conditional Random Fields / 2862
Dou Shen, Jian-Tao Sun, Hua Li, Qiang Yang, Zheng Chen
Abstract
Real-Time Detection of Task Switches of Desktop Users / 2868
Jianqiang Shen, Lida Li, Thomas G. Dietterich
Abstract
Estimating the Rate of Web Page Updates / 2874
Sanasam Ranbir Singh
Abstract
On the Automatic Scoring of Handwritten Essays / 2880
Sargur Srihari, Rohini Srihari, Pavithra Babu, Harish Srinivasan
Abstract
Layout Analysis of Tree-Structured Scene Frames in Comic Images / 2885
Takamasa Tanaka, Kenji Shoji, Fubito Toyama, Juichi Miyamichi
Abstract
Face Recognition via the Overlapping Energy Histogram / 2891
Ronny Tjahyadi, Wanquan Liu, Senjian An, Svetha Venkatesh
Abstract
Semantic Indexing of a Competence Map to Support Scientific Collaboration in a Research Community / 2897
Paola Velardi, Roberto Navigli, Michaël Petit
Abstract
Manifold-Ranking Based Topic-Focused Multi-Document Summarization / 2903
Xiaojun Wan, Jianwu Yang, Jianguo Xiao
Abstract
Dynamic Mixture Models for Multiple Time-Series / 2909
Xing Wei, Jimeng Sun, Xuerui Wang
Abstract
Automatic Decision of Piano Fingering Based on a Hidden Markov Models / 2915
Yuichiro Yonebayashi, Hirokazu Kameoka, Shigeki Sagayama
Abstract
Exploiting Image Contents in Web Search / 2922
Zhi-Hua Zhou, Hong-Bin Dai
Abstract
Semantic Smoothing of Document Models for Agglomerative Clustering / 2928
Xiaohua Zhou, Xiaodan Zhang, Xiaohua Hu
Abstract
Mining Complex Patterns across Sequences with Gap Requirements / 2934
Xingquan Zhu, Xindong Wu