AAAI 2008

354 papers

2-Dimensional Cellular Automata Approach for Robot Grid Formations Ross Mead, Jerry B. Weinberg

A Bayesian Kernel Logistic Discriminant Model: An Improvement to the Kernel Fisher's Discriminant Riadh Ksantini, Djemel Ziou, Bernard Colin, François Dubeau

PDF

A Case Study of AI Application on Language Instruction: CSIEC Jiyou Jia

PDF

A Case Study on the Critical Role of Geometric Regularity in Machine Learning Jason Gauci, Kenneth O. Stanley

PDF

A Computational Analysis of the Tournament Equilibrium Set Felix Brandt, Felix A. Fischer, Paul Harrenstein, Maximilian Mair

PDF

A Demonstration of the RADAR Personal Assistant Andrew Faulring, Brad A. Myers, Ken Mohnkern, Michael Freed

PDF

A Fast Data Collection and Augmentation Procedure for Object Recognition Benjamin Sapp, Ashutosh Saxena, Andrew Y. Ng

PDF

A First-Order Theory of Stanislavskian Scene Analysis Leora Morgenstern

PDF

A Formalization of Program Debugging in the Situation Calculus Yongmei Liu

PDF

A General Framework for Generating Multivariate Explanations in Bayesian Networks Changhe Yuan, Tsai-Ching Lu

PDF

A General Method for Reducing the Complexity of Relational Inference and Its Application to MCMC Hoifung Poon, Pedro M. Domingos, Marc Sumner

PDF

A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem Pierre Schaus, Yves Deville

PDF

A Hybrid Approach to Convoy Movement Planning in an Urban City Ramesh Thangarajoo, Lucas Agussurja, Hoong Chuin Lau

PDF

A Hybrid Approach to Domino Portrait Generation Hadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan

PDF

A Meta-Programming Technique for Debugging Answer-Set Programs Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits

PDF

A Neuro-Fuzzy Strategy for Web Personalization Giovanna Castellano, Anna Maria Fanelli, Paola Plantamura, Maria Alessandra Torsello

PDF

A New Clause Learning Scheme for Efficient Unsatisfiability Proofs Knot Pipatsrisawat, Adnan Darwiche

PDF

A New Incomplete Method for CSP Inconsistency Checking Belaid Benhamou, Mohamed Réda Saïdi

PDF

A Reductive Semantics for Counting and Choice in Answer Set Programming Joohyung Lee, Vladimir Lifschitz, Ravi Palla

PDF

A Scalable Jointree Algorithm for Diagnosability Anika Schumann, Jinbo Huang

PDF

A Self-Organizing Multi-Agent System for Adaptive Continuous Unsupervised Learning in Complex Uncertain Environments Igor Kiselev, Reda Alhajj

PDF

A Semantic Approach for Iterated Revision in Possibilistic Logic Guilin Qi

PDF

A Theory of Expressiveness in Mechanisms Michael Benisch, Norman M. Sadeh, Tuomas Sandholm

PDF

A User-Oriented Webpage Ranking Algorithm Based on User Attention Time Songhua Xu, Yi Zhu, Hao Jiang, Francis C. M. Lau

PDF

A Utility-Theoretic Approach to Privacy and Personalization Andreas Krause, Eric Horvitz

PDF

A Variance Analysis for POMDP Policy Evaluation Mahdi Milani Fard, Joelle Pineau, Peng Sun

PDF

A Vehicle Routing System to Solve a Periodic Vehicle Routing Problem for a Food Chain in Hong Kong Jianfeng Zhu, Wenbin Zhu, Chan Hou Che, Andrew Lim

PDF

Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation Georg Gottlob, Reinhard Pichler, Fang Wei

PDF

Abductive Logic Programming by Nonground Rewrite Systems Fangzhen Lin, Jia-Huai You

PDF

Accuracy of Admissible Heuristic Functions in Selected Planning Domains Malte Helmert, Robert Mattmüller

PDF

Achieving Cooperation in a Minimally Constrained Environment Steven Damer, Maria L. Gini

PDF

Achieving Far Transfer in an Integrated Cognitive Architecture Daniel G. Shapiro, Tolga Könik, Paul O'Rorke

PDF

Achieving Master Level Play in 9 X 9 Computer Go Sylvain Gelly, David Silver

PDF

Active Learning for Pipeline Models Dan Roth, Kevin Small

PDF

Adapting ADtrees for High Arity Features Robert Van Dam, Irene Langkilde-Geary, Dan Ventura

PDF

Adaptive Abstraction of Constraint-Based Models for Self-Diagnosis and Planning Paul Maier

PDF

Adaptive Control for Autonomous Underwater Vehicles Conor McGann, Frederic Py, Kanna Rajan, John P. Ryan, Richard Henthorn

PDF

Adaptive Importance Sampling with Automatic Model Selection in Value Function Approximation Hirotaka Hachiya, Takayuki Akiyama, Masashi Sugiyama, Jan Peters

PDF

Adaptive Management of Air Traffic Flow: A Multiagent Coordination Approach Kagan Tumer, Adrian K. Agogino

PDF

Adaptive Treatment of Epilepsy via Batch-Mode Reinforcement Learning Arthur Guez, Robert D. Vincent, Massimo Avoli, Joelle Pineau

PDF

ADROIT: Automatic Discourse Relation Organizer of Internet-Based Text A. S. M. Mahbub Morshed, Mitsuru Ishizuka

PDF

Agent Coordination with Regret Clearing Sven Koenig, Xiaoming Zheng, Craig A. Tovey, Richard B. Borie, Philip Kilby, Vangelis Markakis, Pinar Keskinocak

PDF

Agent Organized Networks Redux Robin Glinton, Katia P. Sycara, Paul Scerri

PDF

An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics Austin Parker, Guillaume Infantes, V. S. Subrahmanian, John Grant

PDF

An Analysis of Transformational Analogy: General Framework and Complexity Vithal Kuchibatla, Héctor Muñoz-Avila

PDF

An Architecture and Formalism for Handling Modular Ontologies Faezeh Ensan

PDF

An Effective and Robust Method for Short Text Classification Victoria Bobicev, Marina Sokolova

PDF

An Efficient Motion Planning Algorithm for Stochastic Dynamic Systems with Constraints on Probability of Failure Masahiro Ono, Brian C. Williams

PDF

An Expressive Auction Design for Online Display Advertising Sébastien Lahaie, David C. Parkes, David M. Pennock

PDF

An Extended Interpreted System Model for Epistemic Logics Kaile Su, Abdul Sattar

PDF

An Integrated Agent for Playing Real-Time Strategy Games Joshua McCoy, Michael Mateas

PDF

An Integrated Reasoning Approach to Moral Decision-Making Morteza Dehghani, Emmett Tomai, Kenneth D. Forbus, Matthew Klenk

PDF

An Interaction-Based Approach to Computational Epidemiology Christopher L. Barrett, Stephen G. Eubank, Madhav V. Marathe

PDF

An Unsupervised Approach for Product Record Normalization Across Different Web Sites Tak-Lam Wong, Tik-Shun Wong, Wai Lam

PDF

AnalogySpace: Reducing the Dimensionality of Common Sense Knowledge Robyn Speer, Catherine Havasi, Henry Lieberman

PDF

Another Look at Search-Based Drama Management Mark J. Nelson, Michael Mateas

PDF

Anticipatory Perceptual Simulation for Human-Robot Joint Practice: Theory and Application Study Guy Hoffman, Cynthia Breazeal

PDF

Anytime Local Search for Distributed Constraint Optimization Roie Zivan

PDF

Application of Artificial Intelligence to Operational Real-Time Clear-Air Turbulence Prediction Jennifer Abernethy, Robert Sharman, Elizabeth Bradley

PDF

Approximability of Manipulating Elections Eric Brelsford, Piotr Faliszewski, Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor

PDF

Argument Theory Change Applied to Defeasible Logic Programming Martín O. Moguillansky, Nicolás D. Rotstein, Marcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari

PDF

ARMOR Security for Los Angeles International Airport James Pita, Manish Jain, Fernando Ordóñez, Christopher Portway, Milind Tambe, Craig Western, Praveen Paruchuri, Sarit Kraus

PDF

Artificial Intelligence Needs Open-Access Knowledgebase Contents Erik Sandewall

PDF

Automatic Extraction of Data Points and Text Blocks from 2-Dimensional Plots in Digital Documents Saurabh Kataria, William Browuer, Prasenjit Mitra, C. Lee Giles

PDF

Automatic Semantic Relation Extraction with Multiple Boundary Generation Brandon Beamer, Alla Rozovskaya, Roxana Girju

PDF

Automating To-Do Lists for Users: Interpretation of To-Dos for Selecting and Tasking Agents Yolanda Gil, Varun Ratnakar

PDF

Autonomous Robot Skill Acquisition George Dimitri Konidaris

PDF

Backdoor Trees Marko Samer, Stefan Szeider

PDF

Bayes-Relational Learning of Opponent Models from Incomplete Information in No-Limit Poker Marc J. V. Ponsen, Jan Ramon, Tom Croonenborghs, Kurt Driessens, Karl Tuyls

PDF

Bayesian Coalitional Games Samuel Ieong, Yoav Shoham

PDF

Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith

PDF

Bidding Strategies for Realistic Multi-Unit Sealed-Bid Auctions Ioannis A. Vetsikas, Nicholas R. Jennings

PDF

Bimodal Spatial Reasoning with Continuous Motion Samuel Wintermute, John E. Laird

PDF

Bound Consistency for Binary Length-Lex Set Constraints Pascal Van Hentenryck, Justin Yip, Carmen Gervet, Grégoire Dooms

PDF

Bounding the False Discovery Rate in Local Bayesian Network Learning Ioannis Tsamardinos, Laura E. Brown

PDF

Breaking Value Symmetry Toby Walsh

PDF

Chatting Activity Recognition in Social Occasions Using Factorial Conditional Random Fields with Iterative Classification Chia-chun Lian, Jane Yung-jen Hsu

PDF

CIGAR: Concurrent and Interleaving Goal and Activity Recognition Derek Hao Hu, Qiang Yang

PDF

Classification by Discriminative Regularization Bin Zhang, Fei Wang, Ta-Hsin Li, Wen Jun Yin, Jin Dong

PDF

Clause Learning Can Effectively P-Simulate General Propositional Resolution Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder

PDF

Clustering on Complex Graphs Bo Long, Zhongfei (Mark) Zhang, Philip S. Yu, Tianbing Xu

PDF

Clustering via Random Walk Hitting Time on Directed Graphs Mo Chen, Jianzhuang Liu, Xiaoou Tang

PDF

COACH - Cumulative Online Algorithm for Classification of Handwriting Deficiencies Ariella Richardson, Sarit Kraus, Patrice L. Weiss, Sara Rosenblum

PDF

Coalition Structure Generation: Dynamic Programming Meets Anytime Optimization Talal Rahwan, Nicholas R. Jennings

PDF

CogSketch Kenneth D. Forbus, Andrew M. Lovett, Kate Lockwood, Jon Wetzel, Camillia Matuk, Benjamin D. Jee, Jeffrey M. Usher

PDF

Combining Global Relevance Information with Local Contextual Clues for Event-Oriented Information Extraction Siddharth Patwardhan

PDF

Computational Influence for Training and Entertainment David L. Roberts

PDF

Computer-Aided Proofs of Arrow's and Other Impossibility Theorems Fangzhen Lin, Pingzhong Tang

PDF

Computing Minimal Diagnoses by Greedy Stochastic Search Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

PDF

Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

PDF

Computing Reserve Prices and Identifying the Value Distribution in Real-World Auctions with Market Disruptions William E. Walsh, David C. Parkes, Tuomas Sandholm, Craig Boutilier

PDF

Concept-Based Feature Generation and Selection for Information Retrieval Ofer Egozi, Evgeniy Gabrilovich, Shaul Markovitch

PDF

Conformant Planning Heuristics Based on Plan Reuse in Belief States Dunbo Cai, Jigui Sun, Minghao Yin

PDF

Constrained Classification on Structured Data Chi-Hoon Lee, Matthew R. G. Brown, Russell Greiner, Shaojun Wang, Albert Murtha

PDF

Constraint Projections for Ensemble Learning Daoqiang Zhang, Songcan Chen, Zhi-Hua Zhou, Qiang Yang

PDF

Coordination and Multi-Tasking Using EMT Zinovi Rabinovich, Nir Pochter, Jeffrey S. Rosenschein

PDF

Credulous Resolution for Answer Set Programming Piero A. Bonatti, Enrico Pontelli, Tran Cao Son

PDF

CRF-OPT: An Efficient High-Quality Conditional Random Field Solver Minmin Chen, Yixin Chen, Michael R. Brent

PDF

Crops Selection for Optimal Soil Planning Using Multiobjective Evolutionary Algorithms Christian von Lücken, Ricardo Brunelli

PDF

Cross-Lingual Propagation for Morphological Analysis Benjamin Snyder, Regina Barzilay

PDF

Data-Driven Programming and Behavior for Autonomous Virtual Characters Jonathan Dinerstein, Parris K. Egbert, Dan Ventura, Michael A. Goodrich

PDF

Decision-Theoretic User Interface Generation Krzysztof Z. Gajos, Daniel S. Weld, Jacob O. Wobbrock

PDF

Decoding Wikipedia Categories for Knowledge Acquisition Vivi Nastase, Michael Strube

PDF

Decompositions of Grammar Constraints Claude-Guy Quimper, Toby Walsh

PDF

Determining Possible and Necessary Winners Under Common Voting Rules Given Partial Orders Lirong Xia, Vincent Conitzer

PDF

Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft Ole J. Mengshoel, Adnan Darwiche, Keith Cascio, Mark Chavira, Scott Poll, N. Serdar Uckun

PDF

Dimension Amnesic Pyramid Match Kernel Yi Liu, Xulei Wang, Hongbin Zha

PDF

Discourse Topic and Gestural Form Jacob Eisenstein, Regina Barzilay, Randall Davis

PDF

Discover Relevant Environment Feature Using Concurrent Reinforcement Learning Zhihui Luo, David A. Bell, Barry McCollum

PDF

Distance Metric Learning Versus Fisher Discriminant Analysis Babak Alipanahi, Michael Biggs, Ali Ghodsi

PDF

Distinguishing Between Sketched Scribble Look Alikes Katie Dahmen, Tracy Hammond

PDF

Distributed Reasoning with Conflicts in a Multi-Context Framework Antonis Bikakis, Grigoris Antoniou

PDF

Distributed Robust Execution of Qualitative State Plan with Chance Constraints Masahiro Ono

PDF

Dormant Independence Ilya Shpitser, Judea Pearl

PDF

Dynamic Distributed Constraint Reasoning Robert N. Lass, Evan Sultanik, William C. Regli

PDF

Economic Hierarchical Q-Learning Erik G. Schultink, Ruggiero Cavallo, David C. Parkes

PDF

Efficient Algorithms to Solve Bayesian Stackelberg Games for Security Applications Praveen Paruchuri, Jonathan P. Pearce, Janusz Marecki, Milind Tambe, Fernando Ordóñez, Sarit Kraus

PDF

Efficient Context-Free Grammar Constraints Serdar Kadioglu, Meinolf Sellmann

PDF

Efficient Haplotype Inference with Answer Set Programming Esra Erdem, Ferhan Türe

PDF

Efficient Learning of Action Schemas and Web-Service Descriptions Thomas J. Walsh, Michael L. Littman

PDF

Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

PDF

Efficient Metadeliberation Auctions Ruggiero Cavallo, David C. Parkes

PDF

Efficient Optimization of Information-Theoretic Exploration in SLAM Thomas Kollar, Nicholas Roy

PDF

Efficient Querying Relaxed Dominant Relationship Between Product Items Based on Rank Aggregation Zhenglu Yang, Lin Li, Masaru Kitsuregawa

PDF

Efficiently Exploiting Dependencies in Local Search for SAT Duc Nghia Pham, John Thornton, Abdul Sattar

PDF

Eliminating False Positives During Corner Finding by Merging Similar Segments Aaron Wolin, Brandon Paulson, Tracy Hammond

PDF

Enabling the Interoperability of Large-Scale Legacy Systems Kalyan Moy Gupta, Michael Zang, Adam Gray, David W. Aha, Joe Kriege

PDF

Ensemble Forecasting for Disease Outbreak Detection Thomas H. Lotze, Galit Shmueli

PDF

Error Classification in Action Descriptions: A Heuristic Approach Thomas Eiter, Michael Fink, Ján Senko

PDF

Examining Difficulties Software Developers Encounter in the Adoption of Statistical Machine Learning Kayur Patel, James Fogarty, James A. Landay, Beverly L. Harrison

PDF

Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs Paul Fodor

PDF

Expectation-Based Versus Potential-Aware Automated Abstraction in Imperfect Information Games: An Experimental Comparison Using Poker Andrew Gilpin, Tuomas Sandholm

PDF

Explicit-State Abstraction: A New Method for Generating Heuristic Functions Malte Helmert, Patrik Haslum, Jörg Hoffmann

PDF

Exploiting Causal Independence Using Weighted Model Counting Wei Li, Pascal Poupart, Peter van Beek

PDF

Exploiting Symmetries in POMDPs for Point-Based Algorithms Kee-Eung Kim

PDF

Exposing Parameters of a Trained Dynamic Model for Interactive Music Creation Dan Morris, Ian Simon, Sumit Basu

PDF

Expressive Banner Ad Auctions and Model-Based Online Optimization for Clearing Craig Boutilier, David C. Parkes, Tuomas Sandholm, William E. Walsh

PDF

Extending the Knowledge Compilation mAP: Krom, Horn, Affine and Beyond Hélène Fargier, Pierre Marquis

PDF

Extracting Relevant Snippets for Web Navigation Qing Li, K. Selçuk Candan, Qi Yan

PDF

Factored Models for Probabilistic Modal Logic Afsaneh Shirazi, Eyal Amir

PDF

Fast Planning by Search in Domain Transition Graph Yixin Chen, Ruoyun Huang, Weixiong Zhang

PDF

Fast Spectral Learning Using Lanczos Eigenspace Projections Sridhar Mahadevan

PDF

Feature Selection for Activity Recognition in Multi-Robot Domains Douglas L. Vail, Manuela M. Veloso

PDF

Finding Cars, Goddesses and Enzymes: Parametrizable Acquisition of Labeled Instances for Open-Domain Information Extraction Benjamin Van Durme, Marius Pasca

PDF

Finding Ontological Correspondences for a Domain-Independent Natural Language Dialog Agent Hamid Haidarian Shahri, Donald Perlis

PDF

Finding State Similarities for Faster Planning Christian Fritz

PDF

First-Order Algorithm with O(ln(1/e)) Convergence for E-Equilibrium in Two-Person Zero-Sum Games Andrew Gilpin, Javier Peña, Tuomas Sandholm

PDF

Focusing Generalizations of Belief Propagation on Targeted Queries Arthur Choi, Adnan Darwiche

PDF

From Comparing Clusterings to Combining Clusterings Zhiwu Lu, Yuxin Peng, Jianguo Xiao

PDF

From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic Joseph Y. Halpern

PDF

Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains Dmitry Shaparau, Marco Pistore, Paolo Traverso

PDF

Game Theory Pragmatics: A Challenge for AI Yoav Shoham

PDF

Generalized Point Based Value Iteration for Interactive POMDPs Prashant Doshi, Dennis Perez

PDF

Generating Application-Specific Benchmark Models for Complex Systems Jun Wang, Gregory M. Provan

PDF

Generating Hard SAT/CSP Instances Using Expander Graphs Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu

PDF

Generating Plans in Concurrent, Probabilistic, Over-Subscribed Domains Li Li, Nilufer Onder

PDF

Generating Plans in Concurrent, Probabilistic, Over-Subscribed Domains Li Li

PDF

Generating Useful Network-Based Features for Analyzing Social Networks Jun Karamon, Yutaka Matsuo, Mitsuru Ishizuka

PDF

GLADDER: Combining Gesture and Geometric Sketch Recognition Paul Corey, Tracy Hammond

PDF

Grounding with Bounds Johan Wittocx, Maarten Mariën, Marc Denecker

PDF

H-DPOP: Using Hard Constraints for Search Space Pruning in DCOP Akshat Kumar, Adrian Petcu, Boi Faltings

PDF

Hidden Dynamic Probabilistic Models for Labeling Sequence Data Xiaofeng Yu, Wai Lam

PDF

Hierarchical Location and Topic Based Query Expansion Shu Huang, Qiankun Zhao, Prasenjit Mitra, C. Lee Giles

PDF

Hierarchical Voting Experts: An Unsupervised Algorithm for Segmenting Hierarchically Structured Sequences Matthew Miller, Alexander Stoytchev

PDF

Horn Complements: Towards Horn-to-Horn Belief Revision Marina Langlois, Robert H. Sloan, Balázs Szörényi, György Turán

PDF

How Good Is Almost Perfect? Malte Helmert, Gabriele Röger

PDF

HTN-MAKER: Learning HTNs with Minimal Additional Knowledge Engineering Required Chad Hogg, Héctor Muñoz-Avila, Ugur Kuter

PDF

Human-Robot Collaboration for Remote Surveillance Evan Sultanik, Ilya Braude, Peter Thai, Robert N. Lass, Duc N. Nguyen, Joseph B. Kopena, William C. Regli, Sean A. Lisse, Steven N. Furtwangler, Alan J. Vayda

PDF

Hybrid Constraint Tightening for Solving Hybrid Scheduling Problems James C. Boerkoel Jr., Edmund H. Durfee

PDF

Hybrid Markov Logic Networks Jue Wang, Pedro M. Domingos

PDF

Hyperequivalence of Logic Programs with Respect to Supported Models Miroslaw Truszczynski, Stefan Woltran

PDF

Hypothesis Pruning and Ranking for Large Plan Recognition Problems Gita Sukthankar, Katia P. Sycara

PDF

Importance of Semantic Representation: Dataless Classification Ming-Wei Chang, Lev-Arie Ratinov, Dan Roth, Vivek Srikumar

PDF

Improving a Plan Library for Real-Time Systems Using Nearly Orthogonal Latin Hypercube Sampling Robert Holder

PDF

IMT: A Mixed-Initiative Data Mapping and Search Toolkit Michael Zang, Adam Gray, Joe Kriege, Kalyan Moy Gupta, David W. Aha

PDF

In-the-Dark Network Traffic Classification Using Support Vector Machines William H. Turkett Jr., Andrew V. Karode, Errin W. Fulp

PDF

Incorporating Mental Simulation for a More Effective Robotic Teammate William G. Kennedy, Magdalena D. Bugajska, William Adams, Alan C. Schultz, J. Gregory Trafton

PDF

Incremental Algorithms for Approximate Compilation Alberto Venturini, Gregory M. Provan

PDF

Instance-Level Semisupervised Multiple Instance Learning Yangqing Jia, Changshui Zhang

PDF

Integrating Multiple Learning Components Through Markov Logic Thomas G. Dietterich, Xinlong Bao

PDF

Integrative Construction and Analysis of Condition-Specific Biological Networks Sushmita Roy, Terran Lane, Margaret Werner-Washburne

PDF

Intelligence in Wikipedia Daniel S. Weld, Fei Wu, Eytan Adar, Saleema Amershi, James Fogarty, Raphael Hoffmann, Kayur Patel, Michael Skinner

PDF

Intelligent Email: Aiding Users with AI Mark Dredze, Hanna M. Wallach, Danny Puller, Tova Brooks, Josh Carroll, Joshua Magarick, John Blitzer, Fernando Pereira

PDF

Intelligent Output Interface for Intelligent Medical Search Engine Gang Luo

PDF

Interaction Structure and Dimensionality Reduction in Decentralized MDPs Martin Allen, Marek Petrik, Shlomo Zilberstein

PDF

Knowledge-Based Spatial Reasoning for Scene Generation from Text Descriptions Dan Tappan

PDF

Landmarks Revisited Silvia Richter, Malte Helmert, Matthias Westphal

PDF

Latent Tree Models and Approximate Inference in Bayesian Networks Yi Wang, Nevin Lianwen Zhang, Tao Chen

PDF

Learning and Inference with Constraints Ming-Wei Chang, Lev-Arie Ratinov, Nicholas Rizzolo, Dan Roth

PDF

Learning from Multiple Heuristics Mehdi Samadi, Ariel Felner, Jonathan Schaeffer

PDF

Learning Generalized Plans Using Abstract Counting Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein

PDF

Learning Grasp Strategies with Partial Shape Information Ashutosh Saxena, Lawson L. S. Wong, Andrew Y. Ng

PDF

Learning Hidden Curved Exponential Family Models to Infer Face-to-Face Interaction Networks from Situated Speech Data Danny Wyatt, Tanzeem Choudhury, Jeff A. Bilmes

PDF

Learning Sparse Kernels from 3D Surfaces for Heart Wall Motion Abnormality Detection Glenn Fung, Sriram Krishnan, R. Bharat Rao, Hui Chen

PDF

Learning to Analyze Binary Computer Code Nathan E. Rosenblum, Xiaojin Zhu, Barton P. Miller, Karen Hunt

PDF

Learning to Connect Language and Perception Raymond J. Mooney

PDF

Learning to Identify Reduced Passive Verb Phrases with a Shallow Parser Sean Igo, Ellen Riloff

PDF

Learning to Improve Earth Observation Flight Planning Robert A. Morris, Nikunj C. Oza, Leslie Keely, Elif Kürklü, Anthony Strawa

PDF

Lexical and Grammatical Inference Tom Armstrong, Tim Oates

PDF

Lifted First-Order Belief Propagation Parag Singla, Pedro M. Domingos

PDF

Lifted Probabilistic Inference with Counting Formulas Brian Milch, Luke S. Zettlemoyer, Kristian Kersting, Michael Haimes, Leslie Pack Kaelbling

PDF

Limits and Possibilities of BDDs in State Space Search Stefan Edelkamp, Peter Kissmann

PDF

Linking Social Networks on the Web with FOAF: A Semantic Web Case Study Jennifer Golbeck, Matthew Rothstein

PDF

Local Search for Optimal Global mAP Generation Using Mid-Decadal Landsat Images Robert A. Morris, John Gasch, Lina Khatib, Steven Covington

PDF

Loop Calculus for Satisfiability Lukas Kroc, Michael Chertkov

PDF

Loop Formulas for Logic Programs with Arbitrary Constraint Atoms Jia-Huai You, Guohua Liu

PDF

Magic Sets for Data Integration Wolfgang Faber, Gianluigi Greco, Nicola Leone

PDF

Make3D: Depth Perception from a Single Still Image Ashutosh Saxena, Min Sun, Andrew Y. Ng

PDF

Managing Quality of Service with Soft Constraints Francesco Santini

PDF

Manifold Integration with Markov Random Walks Heeyoul Choi, Seungjin Choi, Yoonsuck Choe

PDF

Manipulating the Quota in Weighted Voting Games Michael Zuckerman, Piotr Faliszewski, Yoram Bachrach, Edith Elkind

PDF

Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations Arthur Choi, Adnan Darwiche

PDF

Markov Blanket Feature Selection for Support Vector Machines Jianqiang Shen, Lida Li, Weng-Keen Wong

PDF

Mathematical Modeling and Convergence Analysis of Trail Formation Sameena Shah, Ravi Kothari, Jayadeva, Suresh Chandra

PDF

Maximum Entropy Inverse Reinforcement Learning Brian D. Ziebart, Andrew L. Maas, J. Andrew Bagnell, Anind K. Dey

PDF

Measuring the Hardness of SAT Instances Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà

PDF

Memetic Networks: Analyzing the Effects of Network Properties in Multi-Agent Performance Ricardo M. Araújo, Luís C. Lamb

PDF

Metalevel Information in Ontology-Based Applications Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks

PDF

Minimal Contraction of Preference Relations Denis Mindolin, Jan Chomicki

PDF

Minimizing Disk I/O in Two-Bit Breadth-First Search Richard E. Korf

PDF

Minimizing the Spread of Contamination by Blocking Links in a Network Masahiro Kimura, Kazumi Saito, Hiroshi Motoda

PDF

Mining Translations of Web Queries from Web Click-Through Data Rong Hu, Weizhu Chen, Jian Hu, Yansheng Lu, Zheng Chen, Qiang Yang

PDF

Multi-HDP: A Non Parametric Bayesian Model for Tensor Factorization Ian Porteous, Evgeniy Bart, Max Welling

PDF

Multi-Label Dimensionality Reduction via Dependence Maximization Yin Zhang, Zhi-Hua Zhou

PDF

Multi-View Local Learning Dan Zhang, Fei Wang, Changshui Zhang, Tao Li

PDF

Multiagent Graph Coloring: Pareto Efficiency, Fairness and Individual Rationality Yaad Blum, Jeffrey S. Rosenschein

PDF

Multimodal People Detection and Tracking in Crowded Scenes Luciano Spinello, Rudolph Triebel, Roland Siegwart

PDF

Neural Network Based Constraint Satisfaction in Ontology Mapping Ming Mao, Yefei Peng, Michael Spring

PDF

New Compilation Languages Based on Structured Decomposability Knot Pipatsrisawat, Adnan Darwiche

PDF

Non-Monotonic Temporal Logics That Facilitate Elaboration Tolerant Revision of Goals Chitta Baral, Jicheng Zhao

PDF

Nonmonotonic Modes of Inference Victor Jauregui

PDF

NP-Completeness of Outcome Optimization for Partial CP-Nets Keith Purrington, Edmund H. Durfee

PDF

On Discriminative Semi-Supervised Classification Fei Wang, Changshui Zhang

PDF

On Range of Skill Thomas Dueholm Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen

PDF

On the Decidability of Role Mappings Between Modular Ontologies Jie Bao, George Voutsadakis, Giora Slutzki, Vasant G. Honavar

PDF

On the Dimensionality of Voting Games Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge

PDF

On the Enactability of Business Protocols Nirmit Desai, Munindar P. Singh

PDF

On the Power of Top-Down Branching Heuristics Matti Järvisalo, Tommi A. Junttila

PDF

On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-Year-Old Conjecture Stavros Vassos, Hector J. Levesque

PDF

On-Line Case-Based Plan Adaptation for Real-Time Strategy Games Neha Sugandh, Santiago Ontañón, Ashwin Ram

PDF

On-Line Planning and Scheduling: An Application to Controlling Modular Printers Minh Binh Do, Wheeler Ruml, Rong Zhou

PDF

On-Line Recognition of Surgical Activity for Monitoring in the Operating Room Nicolas Padoy, Tobias Blum, Hubertus Feußner, Marie-Odile Berger, Nassir Navab

PDF

Online Learning in Monkeys Xiaojin Zhu, Michael Coen, Shelley Prudom, Ricki Colman, Joseph W. Kemnitz

PDF

Online Learning with Expert Advice and Finite-Horizon Constraints Branislav Kveton, Jia Yuan Yu, Georgios Theocharous, Shie Mannor

PDF

Optimal False-Name-Proof Voting Rules with Costly Voting Liad Wagman, Vincent Conitzer

PDF

Optimal Metric Planning with State Sets in Automata Representation Björn Ulrich Borowsky, Stefan Edelkamp

PDF

Optimal Scheduling of Contract Algorithms with Soft Deadlines Spyros Angelopoulos, Alejandro López-Ortiz, Angèle M. Hamel

PDF

Optimal Testing of Structured Knowledge Michael Munie, Yoav Shoham

PDF

Optimizations and Extensions for the Horn Transaction Logic Programs Paul Fodor

PDF

Parallel Belief Revision James P. Delgrande, Yi Jin

PDF

Pareto Optimality in Abstract Argumentation Iyad Rahwan, Kate Larson

PDF

Partially Synchronized DEC-MDPs in Dynamic Mechanism Design Sven Seuken, Ruggiero Cavallo, David C. Parkes

PDF

Partitioned External-Memory Value Iteration Peng Dai, Mausam, Daniel S. Weld

PDF

PBA*: Using Proactive Search to Make A* Robust to Unplanned Deviations Paul Breimyer, Peter R. Wurman

PDF

Perpetual Learning for Non-Cooperative Multiple Agents Luke Dickens

PDF

Personalisation of Telecommunications Services as Combinatorial Optimisation David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson

PDF

Personalized Reasoner Based on Belief Strengths of Information Sources Shu-Bin Cai, Zhong Ming, Shixian Li

PDF

Pervasive Diagnosis: The Integration of Diagnostic Goals into Production Plans Lukas D. Kuhn, Bob Price, Johan de Kleer, Minh Binh Do, Rong Zhou

PDF

Phase Transitions and Complexity of Weighted Satisfiability and Other Intractable Parameterized Problems Yong Gao

PDF

Physical Search Problems Applying Economic Search Models Yonatan Aumann, Noam Hazon, Sarit Kraus, David Sarne

PDF

Piecewise Linear Dynamic Programming for Constrained POMDPs Joshua D. Isom, Sean P. Meyn, Richard D. Braatz

PDF

Planning for Human-Robot Interaction Using Time-State Aggregated POMDPs Frank Broz, Illah R. Nourbakhsh, Reid G. Simmons

PDF

Planning with Problems Requiring Temporal Coordination Andrew Coles, Maria Fox, Derek Long, Amanda Smith

PDF

POIROT - Integrated Learning of Web Service Procedures Mark H. Burstein, Robert Laddaga, David D. McDonald, Michael T. Cox, Brett Benyo, Paul Robertson, Talib S. Hussain, Marshall Brinn, Drew V. McDermott

PDF

Potential-Based Shaping in Model-Based Reinforcement Learning John Asmuth, Michael L. Littman, Robert Zinkov

PDF

Predicting Appropriate Semantic Web Terms from Words Lushan Han, Tim Finin

PDF

Predicting the Performance of IDA* with Conditional Distributions Uzi Zahavi, Ariel Felner, Neil Burch, Robert C. Holte

PDF

Prediction and Change Detection in Sequential Data for Interactive Applications Jun Zhou, Li Cheng, Walter F. Bischof

PDF

Preference Aggregation with Graphical Utility Models Christophe Gonzales, Patrice Perny, Sergio Queiroz

PDF

Prime Implicate Normal Form for ALC Concepts Meghyn Bienvenu

PDF

Proactive Intrusion Detection Benjamin Liebald, Dan Roth, Neelay Shah, Vivek Srikumar

PDF

Probabilistic Planning via Determinization in Hindsight Sung Wook Yoon, Alan Fern, Robert Givan, Subbarao Kambhampati

PDF

Prometheus Design Tool Lin Padgham, John Thangarajah, Michael Winikoff

PDF

Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search Manuel Cebrián, Iván Dotú, Pascal Van Hentenryck, Peter Clote

PDF

Query-URL Bipartite Based Approach to Personalized Query Recommendation Lin Li, Zhenglu Yang, Ling Liu, Masaru Kitsuregawa

PDF

Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques Paul Fodor

PDF

Question Utility: A Novel Static Ranking of Question Search Young-In Song, Chin-Yew Lin, Yunbo Cao, Hae-Chang Rim

PDF

R* Search Maxim Likhachev, Anthony Stentz

PDF

RADAR: A Personal Assistant That Learns to Reduce Email Overload Michael Freed, Jaime G. Carbonell, Geoffrey J. Gordon, Jordan Hayes, Brad A. Myers, Daniel P. Siewiorek, Stephen F. Smith, Aaron Steinfeld, Anthony Tomasic

PDF

Real-Time Alert Correlation Using Stream Data Mining Techniques Reza Sadoddin, Ali A. Ghorbani

PDF

Reasoning About Large Taxonomies of Actions Yilan Gu, Mikhail Soutchanski

PDF

Reasoning About the Appropriateness of Proponents for Arguments Anthony Hunter

PDF

Reasoning with Cardinal Directions: An Efficient Algorithm Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying

PDF

Reducing Particle Filtering Complexity for 3D Motion Capture Using Dynamic Bayesian Networks Cédric Rose, Jamal Saboune, François Charpillet

PDF

Reinforcement Learning for Vulnerability Assessment in Peer-to-Peer Networks Scott Dejmal, Alan Fern, Thinh P. Nguyen

PDF

Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT Hai Leong Chieu, Wee Sun Lee

PDF

Resource Constrained Distributed Constraint Optimization with Virtual Variables Toshihiro Matsui, Hiroshi Matsuo, Marius Silaghi, Katsutoshi Hirayama, Makoto Yokoo

PDF

Revising Imprecise Probabilistic Beliefs in the Framework of Probabilistic Logic Programming Anbu Yue, Weiru Liu

PDF

Route Planning Under Uncertainty: The Canadian Traveller Problem Evdokia Nikolova, David R. Karger

PDF

Semantic Web Development for Traditional Chinese Medicine Zhaohui Wu, Tong Yu, Huajun Chen, Xiaohong Jiang, Chunying Zhou, Yu Zhang, Yuxin Mao, Yi Feng, Meng Cui, Aining Yin

PDF

Semantical Considerations on Dialectical and Practical Commitments Munindar P. Singh

PDF

Semi-Supervised Classification Using Local and Global Regularization Fei Wang, Tao Li, Gang Wang, Changshui Zhang

PDF

Semi-Supervised Ensemble Ranking Steven C. H. Hoi, Rong Jin

PDF

Semi-Supervised Learning for Blog Classification Daisuke Ikeda, Hiroya Takamura, Manabu Okumura

PDF

Simulation-Based Approach to General Game Playing Hilmar Finnsson, Yngvi Björnsson

PDF

Single Document Keyphrase Extraction Using Neighborhood Knowledge Xiaojun Wan, Jianguo Xiao

PDF

Sketch Recognition Based on Manifold Learning Heeyoul Choi, Tracy Hammond

PDF

Social Interaction Under Uncertainty in Multi Agent Systems Noam Hazon

PDF

Sparse Projections over Graph Deng Cai, Xiaofei He, Jiawei Han

PDF

Spatial Scaffolding for Sociable Robot Learning Cynthia Breazeal, Matt Berlin

PDF

Speech-Enabled Card Games for Language Learners Ian McGraw, Stephanie Seneff

PDF

Strategyproof Classification Under Constant Hypotheses: A Tale of Two Functions Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosenschein

PDF

Structure Learning on Large Scale Common Sense Statistical Models of Human State William Pentney, Matthai Philipose, Jeff A. Bilmes

PDF

Studies in Solution Sampling Vibhav Gogate, Rina Dechter

PDF

Supporting Manual Mapping Revision Using Logical Reasoning Christian Meilicke, Heiner Stuckenschmidt, Andrei Tamilin

PDF

Symbolic Heuristic Search Value Iteration for Factored POMDPs Hyeong Seop Sim, Kee-Eung Kim, Jin Hyung Kim, Du-Seong Chang, Myoung-Wan Koo

PDF

Tactical Language and Culture Training Systems: Using Artificial Intelligence to Teach Foreign Languages and Cultures W. Lewis Johnson, André Valente

PDF

Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler

PDF

Text Beautifier: An Affective-Text Tool to Tailor Written Text Fahim Kawsar, Shaikh Mostafa Al Masum, Mitsuru Ishizuka

PDF

Text Categorization with Knowledge Transfer from Heterogeneous Data Sources Rakesh Gupta, Lev-Arie Ratinov

PDF

The Benefits of an Ontological Patient Model in Clinical Decision-Support Mark Austin, Matthew Kelly, Michael Brady

PDF

The Hidden Permutation Model and Location-Based Activity Recognition Hung Hai Bui, Dinh Q. Phung, Svetha Venkatesh, Hai Phan

PDF

The Impact of Vertical Specialization on Hierarchical Multi-Agent Systems Steven Okamoto, Paul Scerri, Katia P. Sycara

PDF

The Law of Choice and the Decision Not to Decide David C. Wilson, Suzanne Leland, Kenneth Godwin, Andrew Baxter, Ashley Levy, Jamie Smart, Nadia Najjar, Jayakrishnan Andaparambil

PDF

The Parameterized Complexity of Global Constraints Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh

PDF

The PELA Architecture: Integrating Planning and Learning to Improve Execution Sergio Jiménez Celorrio, Fernando Fernández, Daniel Borrajo

PDF

The Re-Representation Problem in a Logic-Based Framework for Analogy Making Ulf Krumnack, Helmar Gust, Kai-Uwe Kühnberger, Angela Schwering

PDF

The Relational Push-Pull Model: A Generative Model for Relational Data Clustering Adam Anthony

PDF

The Swarm Application Framework Don Miner, Marie desJardins, Peter Hamilton

PDF

The Validity of Providing Automated Hints in an ITS Using a MDP John C. Stamper, Tiffany Barnes

PDF

Tightly Coupled Cooperation Among Independent Agents Daylond Hooper