default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd AAAI / 20th IAAI 2008: Chicago, Illinois, USA
- Dieter Fox, Carla P. Gomes:
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008. AAAI Press 2008, ISBN 978-1-57735-368-3
Main Track Technical Papers
Agents, Game Theory, Auctions, and Mechanism Design
- Ricardo M. Araújo, Luís C. Lamb:
Memetic Networks: Analyzing the Effects of Network Properties in Multi-Agent Performance. 3-8 - Yonatan Aumann, Noam Hazon, Sarit Kraus, David Sarne:
Physical Search Problems Applying Economic Search Models. 9-16 - Michael Benisch, Norman M. Sadeh, Tuomas Sandholm:
A Theory of Expressiveness in Mechanisms. 17-23 - Yaad Blum, Jeffrey S. Rosenschein:
Multiagent Graph Coloring: Pareto Efficiency, Fairness and Individual Rationality. 24-29 - Craig Boutilier, David C. Parkes, Tuomas Sandholm, William E. Walsh:
Expressive Banner Ad Auctions and Model-Based Online Optimization for Clearing. 30-37 - Felix Brandt, Felix A. Fischer, Paul Harrenstein, Maximilian Mair:
A Computational Analysis of the Tournament Equilibrium Set. 38-43 - Eric Brelsford, Piotr Faliszewski, Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor:
Approximability of Manipulating Elections. 44-49 - Ruggiero Cavallo, David C. Parkes:
Efficient Metadeliberation Auctions. 50-56 - Steven Damer, Maria L. Gini:
Achieving Cooperation in a Minimally Constrained Environment. 57-62 - Prashant Doshi, Dennis Perez:
Generalized Point Based Value Iteration for Interactive POMDPs. 63-68 - Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge:
On the Dimensionality of Voting Games. 69-74 - Andrew Gilpin, Javier Peña, Tuomas Sandholm:
First-Order Algorithm with O(ln(1/e)) Convergence for e-Equilibrium in Two-Person Zero-Sum Games. 75-82 - Robin Glinton, Katia P. Sycara, Paul Scerri:
Agent Organized Networks Redux. 83-88 - Anthony Hunter:
Reasoning about the Appropriateness of Proponents for Arguments. 89-94 - Samuel Ieong, Yoav Shoham:
Bayesian Coalitional Games. 95-100 - Sven Koenig, Xiaoming Zheng, Craig A. Tovey, Richard B. Borie, Philip Kilby, Vangelis Markakis, Pinar Keskinocak:
Agent Coordination with Regret Clearing. 101-107 - Sébastien Lahaie, David C. Parkes, David M. Pennock:
An Expressive Auction Design for Online Display Advertising. 108-113 - Fangzhen Lin, Pingzhong Tang:
Computer-Aided Proofs of Arrow's and Other Impossibility Theorems. 114-119 - Toshihiro Matsui, Hiroshi Matsuo, Marius Silaghi, Katsutoshi Hirayama, Makoto Yokoo:
Resource Constrained Distributed Constraint Optimization with Virtual Variables. 120-125 - Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosenschein:
Strategyproof Classification under Constant Hypotheses: A Tale of Two Functions. 126-131 - Martín O. Moguillansky, Nicolás D. Rotstein, Marcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari:
Argument Theory Change Applied to Defeasible Logic Programming. 132-137 - Steven Okamoto, Paul Scerri, Katia P. Sycara:
The Impact of Vertical Specialization on Hierarchical Multi-Agent Systems. 138-143 - Zinovi Rabinovich, Nir Pochter, Jeffrey S. Rosenschein:
Coordination and Multi-Tasking Using EMT. 144-149 - Iyad Rahwan, Kate Larson:
Pareto Optimality in Abstract Argumentation. 150-155 - Talal Rahwan, Nicholas R. Jennings:
Coalition Structure Generation: Dynamic Programming Meets Anytime Optimization. 156-161 - Sven Seuken, Ruggiero Cavallo, David C. Parkes:
Partially Synchronized DEC-MDPs in Dynamic Mechanism Design. 162-169 - Sameena Shah, Ravi Kothari, Jayadeva, Suresh Chandra:
Mathematical Modeling and Convergence Analysis of Trail Formation. 170-175 - Munindar P. Singh:
Semantical Considerations on Dialectical and Practical Commitments. 176-181 - Ioannis A. Vetsikas, Nicholas R. Jennings:
Bidding Strategies for Realistic Multi-Unit Sealed-Bid Auctions. 182-189 - Liad Wagman, Vincent Conitzer:
Optimal False-Name-Proof Voting Rules with Costly Voting. 190-195 - Lirong Xia, Vincent Conitzer:
Determining Possible and Necessary Winners under Common Voting Rules Given Partial Orders. 196-201 - Lirong Xia, Vincent Conitzer, Jérôme Lang:
Voting on Multiattribute Domains with Cyclic Preferential Dependencies. 202-207 - Haoqi Zhang, David C. Parkes:
Value-Based Policy Teaching with Active Indirect Elicitation. 208-214 - Michael Zuckerman, Piotr Faliszewski, Yoram Bachrach, Edith Elkind:
Manipulating the Quota in Weighted Voting Games. 215-220
Constraints, Satisfiability, and Search
- Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà:
Measuring the Hardness of SAT Instances. 222-228 - Belaid Benhamou, Mohamed Réda Saïdi:
A New Incomplete Method for CSP Inconsistency Checking. 229-234 - Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh:
The Parameterized Complexity of Global Constraints. 235-240 - Manuel Cebrián, Iván Dotú, Pascal Van Hentenryck, Peter Clote:
Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search. 241-246 - Hai Leong Chieu, Wee Sun Lee:
Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT. 247-252 - Martin C. Cooper, Simon de Givry, Martí Sánchez-Fibla, Thomas Schiex, Matthias Zytnicki:
Virtual Arc Consistency for Weighted CSP. 253-258 - Hilmar Finnsson, Yngvi Björnsson:
Simulation-Based Approach to General Game Playing. 259-264 - Yong Gao:
Phase Transitions and Complexity of Weighted Satisfiability and Other Intractable Parameterized Problems. 265-270 - Vibhav Gogate
, Rina Dechter:
Studies in Solution Sampling. 271-276 - Thomas Dueholm Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen:
On Range of Skill. 277-282 - Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder:
Clause Learning Can Effectively P-Simulate General Propositional Resolution. 283-290 - Joshua D. Isom, Sean P. Meyn, Richard D. Braatz:
Piecewise Linear Dynamic Programming for Constrained POMDPs. 291-296 - Joxan Jaffar, Andrew E. Santosa, Razvan Voicu:
Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. 297-303 - Matti Järvisalo, Tommi A. Junttila:
On the Power of Top-Down Branching Heuristics. 304-309 - Serdar Kadioglu, Meinolf Sellmann:
Efficient Context-Free Grammar Constraints. 310-316 - Richard E. Korf:
Minimizing Disk I/O in Two-Bit Breadth-First Search. 317-324 - Akshat Kumar, Adrian Petcu, Boi Faltings:
H-DPOP: Using Hard Constraints for Search Space Pruning in DCOP. 325-330 - Branislav Kveton, Jia Yuan Yu, Georgios Theocharous, Shie Mannor:
Online Learning with Expert Advice and Finite-Horizon Constraints. 331-336 - Wei Li, Pascal Poupart, Peter van Beek:
Exploiting Causal Independence Using Weighted Model Counting. 337-343 - Maxim Likhachev, Anthony Stentz:
R* Search. 344-350 - Han Lin, Kaile Su, Chu Min Li:
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. 351-356 - Mehdi Samadi, Ariel Felner, Jonathan Schaeffer:
Learning from Multiple Heuristics. 357-362 - Marko Samer, Stefan Szeider:
Backdoor Trees. 363-368 - Pierre Schaus, Yves Deville:
A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem. 369-374 - Pascal Van Hentenryck, Justin Yip, Carmen Gervet, Grégoire Dooms:
Bound Consistency for Binary Length-Lex Set Constraints. 375-380 - Uzi Zahavi, Ariel Felner, Neil Burch, Robert C. Holte:
Predicting the Performance of IDA* with Conditional Distributions. 381-386 - Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying:
Reasoning with Cardinal Directions: An Efficient Algorithm. 387-392 - Roie Zivan:
Anytime Local Search for Distributed Constraint Optimization. 393-398
Knowledge Representation, Logic, and Information Systems
- Jie Bao, George Voutsadakis, Giora Slutzki, Vasant G. Honavar:
On the Decidability of Role Mappings between Modular Ontologies. 400-405 - Chitta Baral, Jicheng Zhao:
Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals. 406-411 - Meghyn Bienvenu:
Prime Implicate Normal Form for ALC Concepts. 412-417 - Piero A. Bonatti, Enrico Pontelli, Tran Cao Son:
Credulous Resolution for Answer Set Programming. 418-423 - Heeyoul Choi, Seungjin Choi, Yoonsuck Choe:
Manifold Integration with Markov Random Walks. 424-429 - James P. Delgrande, Yi Jin:
Parallel Belief Revision. 430-435 - Esra Erdem, Ferhan Türe:
Efficient Haplotype Inference with Answer Set Programming. 436-441 - Hélène Fargier, Pierre Marquis:
Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond. 442-447 - Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits:
A Meta-Programming Technique for Debugging Answer-Set Programs. 448-453 - Joseph Y. Halpern:
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. 454-459 - Victor Jauregui:
Nonmonotonic Modes of Inference. 460-465 - Marina Langlois, Robert H. Sloan, Balázs Szörényi, György Turán:
Horn Complements: Towards Horn-to-Horn Belief Revision. 466-471 - Joohyung Lee, Vladimir Lifschitz, Ravi Palla:
A Reductive Semantics for Counting and Choice in Answer Set Programming. 472-479 - Fangzhen Lin, Jia-Huai You:
Abductive Logic Programming by Nonground Rewrite Systems. 480-485 - Yongmei Liu:
A Formalization of Program Debugging in the Situation Calculus. 486-491 - Denis Mindolin, Jan Chomicki:
Minimal Contraction of Preference Relations. 492-497 - Leora Morgenstern:
A First-Order Theory of Stanislavskian Scene Analysis. 498-503 - Magdalena Ortiz, Mantas Simkus, Thomas Eiter:
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. 504-510 - Austin Parker, Guillaume Infantes, V. S. Subrahmanian, John Grant:
An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics. 511-516 - Knot Pipatsrisawat, Adnan Darwiche:
New Compilation Languages Based on Structured Decomposability. 517-522 - Guilin Qi:
A Semantic Approach for Iterated Revision in Possibilistic Logic. 523-528 - Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. 529-534 - Anika Schumann, Jinbo Huang:
A Scalable Jointree Algorithm for Diagnosability. 535-540 - Afsaneh Shirazi, Eyal Amir:
Factored Models for Probabilistic Modal Logic. 541-547 - Robyn Speer, Catherine Havasi, Henry Lieberman:
AnalogySpace: Reducing the Dimensionality of Common Sense Knowledge. 548-553 - Kaile Su, Abdul Sattar:
An Extended Interpreted System Model for Epistemic Logics. 554-559 - Miroslaw Truszczynski, Stefan Woltran:
Hyperequivalence of Logic Programs with Respect to Supported Models. 560-565 - Jun Wang, Gregory M. Provan:
Generating Application-Specific Benchmark Models for Complex Systems. 566-571 - Johan Wittocx, Maarten Mariën, Marc Denecker:
Grounding with Bounds. 572-577 - Patrick Ye, Timothy Baldwin:
Towards Automatic Animated Storyboarding. 578-583 - Jia-Huai You, Guohua Liu:
Loop Formulas for Logic Programs with Arbitrary Constraint Atoms. 584-589 - Anbu Yue, Weiru Liu:
Revising Imprecise Probabilistic Beliefs in the Framework of Probabilistic Logic Programming. 590-596
Machine Learning
- Babak Alipanahi, Michael Biggs, Ali Ghodsi:
Distance Metric Learning Versus Fisher Discriminant Analysis. 598-603 - John Asmuth, Michael L. Littman, Robert Zinkov:
Potential-based Shaping in Model-based Reinforcement Learning. 604-609 - Deng Cai, Xiaofei He, Jiawei Han:
Sparse Projections over Graph. 610-615 - Mo Chen, Jianzhuang Liu, Xiaoou Tang:
Clustering via Random Walk Hitting Time on Directed Graphs. 616-621 - Thomas G. Dietterich, Xinlong Bao:
Integrating Multiple Learning Components through Markov Logic. 622-627 - Jason Gauci, Kenneth O. Stanley:
A Case Study on the Critical Role of Geometric Regularity in Machine Learning. 628-633 - Steven C. H. Hoi, Rong Jin:
Semi-Supervised Ensemble Ranking. 634-639 - Yangqing Jia, Changshui Zhang:
Instance-level Semisupervised Multiple Instance Learning. 640-645 - Hugo Larochelle, Dumitru Erhan, Yoshua Bengio:
Zero-data Learning of New Tasks. 646-651 - Yi Liu, Xulei Wang, Hongbin Zha:
Dimension Amnesic Pyramid Match Kernel. 652-658 - Bo Long, Zhongfei (Mark) Zhang, Philip S. Yu, Tianbing Xu:
Clustering on Complex Graphs. 659-664 - Zhiwu Lu, Yuxin Peng, Jianguo Xiao:
From Comparing Clusterings to Combining Clusterings. 665-670 - Feiping Nie, Shiming Xiang, Yangqing Jia, Changshui Zhang, Shuicheng Yan:
Trace Ratio Criterion for Feature Selection. 671-676 - Sinno Jialin Pan, James T. Kwok, Qiang Yang:
Transfer Learning via Dimensionality Reduction. 677-682 - Dan Roth, Kevin Small:
Active Learning for Pipeline Models. 683-688 - Erik G. Schultink, Ruggiero Cavallo, David C. Parkes:
Economic Hierarchical Q-Learning. 689-695 - Jianqiang Shen, Lida Li, Weng-Keen Wong:
Markov Blanket Feature Selection for Support Vector Machines. 696-701 - Neha Sugandh, Santiago Ontañón, Ashwin Ram:
On-Line Case-Based Plan Adaptation for Real-Time Strategy Games. 702-707 - Robert Van Dam, Irene Langkilde-Geary, Dan Ventura:
Adapting ADtrees for High Arity Features. 708-713 - Thomas J. Walsh, Michael L. Littman:
Efficient Learning of Action Schemas and Web-Service Descriptions. 714-719 - Fei Wang, Changshui Zhang:
On Discriminative Semi-Supervised Classification. 720-725 - Fei Wang, Tao Li, Gang Wang, Changshui Zhang:
Semi-supervised Classification Using Local and Global Regularization. 726-731 - Danny Wyatt, Tanzeem Choudhury, Jeff A. Bilmes:
Learning Hidden Curved Exponential Family Models to Infer Face-to-Face Interaction Networks from Situated Speech Data. 732-738 - Xiaofeng Yu, Wai Lam:
Hidden Dynamic Probabilistic Models for Labeling Sequence Data. 739-745 - Bin Zhang, Fei Wang, Ta-Hsin Li, Wen Jun Yin, Jin Dong:
Classification by Discriminative Regularization. 746-751 - Dan Zhang, Fei Wang, Changshui Zhang, Tao Li:
Multi-View Local Learning. 752-757 - Daoqiang Zhang, Songcan Chen, Zhi-Hua Zhou, Qiang Yang:
Constraint Projections for Ensemble Learning. 758-763
Multidisciplinary Topics and Applications
- Yolanda Gil, Varun Ratnakar:
Automating To-Do Lists for Users: Interpretation of To-Dos for Selecting and Tasking Agents. 765-771 - Benjamin Liebald, Dan Roth, Neelay Shah, Vivek Srikumar:
Proactive Intrusion Detection. 772-777 - Ian McGraw, Stephanie Seneff:
Speech-enabled Card Games for Language Learners. 778-783 - Dan Morris, Ian Simon, Sumit Basu:
Exposing Parameters of a Trained Dynamic Model for Interactive Music Creation. 784-791 - Mark J. Nelson, Michael Mateas:
Another Look at Search-Based Drama Management. 792-797 - Nathan E. Rosenblum, Xiaojin Zhu, Barton P. Miller, Karen Hunt:
Learning to Analyze Binary Computer Code. 798-804 - Jun Zhou, Li Cheng, Walter F. Bischof:
Prediction and Change Detection in Sequential Data for Interactive Applications. 805-810 - Yang Zhou, Zheng Li, Xuerui Yang, Linxia Zhang, Shireesh Srivastava, Rong Jin, Christina Chan:
Using Knowledge Driven Matrix Factorization to Reconstruct Modular Gene Regulatory Network. 811-816
Natural-Language Processing
- Chitta Baral, Juraj Dzifcak, Tran Cao Son:
Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. 818-823 - Brandon Beamer, Alla Rozovskaya, Roxana Girju:
Automatic Semantic Relation Extraction with Multiple Boundary Generation. 824-829 - Ming-Wei Chang, Lev-Arie Ratinov, Dan Roth, Vivek Srikumar:
Importance of Semantic Representation: Dataless Classification. 830-835 - Jacob Eisenstein, Regina Barzilay, Randall Davis:
Discourse Topic and Gestural Form. 836-841 - Rakesh Gupta, Lev-Arie Ratinov:
Text Categorization with Knowledge Transfer from Heterogeneous Data Sources. 842-847 - Benjamin Snyder, Regina Barzilay:
Cross-lingual Propagation for Morphological Analysis. 848-854 - Xiaojun Wan, Jianguo Xiao:
Single Document Keyphrase Extraction Using Neighborhood Knowledge. 855-860 - Torsten Zesch, Christof Müller, Iryna Gurevych:
Using Wiktionary for Computing Semantic Relatedness. 861-866
Reasoning about Plans, Processes, and Actions
- Spyros Angelopoulos, Alejandro López-Ortiz, Angèle M. Hamel:
Optimal Scheduling of Contract Algorithms with Soft Deadlines. 868-873 - Björn Ulrich Borowsky, Stefan Edelkamp:
Optimal Metric Planning with State Sets in Automata Representation. 874-879 - Paul Breimyer, Peter R. Wurman:
PBA*: Using Proactive Search to Make A* Robust to Unplanned Deviations. 880-885 - Yixin Chen, Ruoyun Huang, Weixiong Zhang:
Fast Planning by Search in Domain Transition Graph. 886-891 - Andrew Coles, Maria Fox, Derek Long, Amanda Smith:
Planning with Problems Requiring Temporal Coordination. 892-897 - Peng Dai, Mausam, Daniel S. Weld:
Partitioned External-Memory Value Iteration. 898-904 - Thomas Eiter, Michael Fink, Ján Senko:
Error Classification in Action Descriptions: A Heuristic Approach. 905-910 - Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund:
Computing Minimal Diagnoses by Greedy Stochastic Search. 911-918 - Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund:
Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses. 919-924 - Christian Fritz:
Finding State Similarities for Faster Planning. 925-930 - Yilan Gu, Mikhail Soutchanski:
Reasoning about Large Taxonomies of Actions. 931-937 - Malte Helmert, Robert Mattmüller:
Accuracy of Admissible Heuristic Functions in Selected Planning Domains. 938-943 - Malte Helmert, Gabriele Röger:
How Good is Almost Perfect?. 944-949 - Chad Hogg, Héctor Muñoz-Avila, Ugur Kuter:
HTN-MAKER: Learning HTNs with Minimal Additional Knowledge Engineering Required. 950-956 - Li Li, Nilufer Onder:
Generating Plans in Concurrent, Probabilistic, Over-Subscribed Domains. 957-962 - Colin McMillen, Manuela M. Veloso:
Unknown Rewards in Finite-Horizon Domains. 963-968 - Evdokia Nikolova, David R. Karger:
Route Planning under Uncertainty: The Canadian Traveller Problem. 969-974 - Silvia Richter, Malte Helmert, Matthias Westphal:
Landmarks Revisited. 975-982 - Dmitry Shaparau, Marco Pistore, Paolo Traverso:
Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains. 983-990 - Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein:
Learning Generalized Plans Using Abstract Counting. 991-997 - Gita Sukthankar, Katia P. Sycara:
Hypothesis Pruning and Ranking for Large Plan Recognition Problems. 998-1003 - Stavros Vassos, Hector J. Levesque:
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture. 1004-1009 - Sung Wook Yoon, Alan Fern, Robert Givan, Subbarao Kambhampati:
Probabilistic Planning via Determinization in Hindsight. 1010-1016
Uncertainty in AI
- Minmin Chen, Yixin Chen, Michael R. Brent:
CRF-OPT: An Efficient High-Quality Conditional Random Field Solver. 1018-1023 - Arthur Choi, Adnan Darwiche:
Focusing Generalizations of Belief Propagation on Targeted Queries. 1024-1030 - Arthur Choi, Adnan Darwiche:
Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations. 1031-1036 - Christophe Gonzales, Patrice Perny, Sergio Queiroz:
Preference Aggregation with Graphical Utility Models. 1037-1042 - Kee-Eung Kim:
Exploiting Symmetries in POMDPs for Point-Based Algorithms. 1043-1048 - Janusz Marecki, Milind Tambe:
Towards Faster Planning with Continuous Resources in Stochastic Domains. 1049-1055 - Mahdi Milani Fard, Joelle Pineau, Peng Sun:
A Variance Analysis for POMDP Policy Evaluation. 1056-1061 - Brian Milch, Luke S. Zettlemoyer, Kristian Kersting, Michael Haimes, Leslie Pack Kaelbling:
Lifted Probabilistic Inference with Counting Formulas. 1062-1068 - Michael Munie, Yoav Shoham:
Optimal Testing of Structured Knowledge. 1069-1074 - Hoifung Poon, Pedro M. Domingos, Marc Sumner:
A General Method for Reducing the Complexity of Relational Inference and its Application to MCMC. 1075-1080 - Ilya Shpitser, Judea Pearl:
Dormant Independence. 1081-1087 - Hyeong Seop Sim, Kee-Eung Kim, Jin Hyung Kim, Du-Seong Chang, Myoung-Wan Koo:
Symbolic Heuristic Search Value Iteration for Factored POMDPs. 1088-1093 - Parag Singla, Pedro M. Domingos:
Lifted First-Order Belief Propagation. 1094-1099 - Ioannis Tsamardinos, Laura E. Brown:
Bounding the False Discovery Rate in Local Bayesian Network Learning. 1100-1105 - Jue Wang, Pedro M. Domingos:
Hybrid Markov Logic Networks. 1106-1111 - Yi Wang, Nevin Lianwen Zhang, Tao Chen:
Latent Tree Models and Approximate Inference in Bayesian Networks. 1112-1118 - Changhe Yuan, Tsai-Ching Lu:
A General Framework for Generating Multivariate Explanations in Bayesian Networks. 1119-1124
Special Track on Artificial Intelligence and the Web
- Nirmit Desai, Munindar P. Singh:
On the Enactability of Business Protocols. 1126-1131 - Ofer Egozi, Evgeniy Gabrilovich, Shaul Markovitch:
Concept-Based Feature Generation and Selection for Information Retrieval. 1132-1137 - Jennifer Golbeck, Matthew Rothstein:
Linking Social Networks on the Web with FOAF: A Semantic Web Case Study. 1138-1143 - Rong Hu, Weizhu Chen, Jian Hu, Yansheng Lu, Zheng Chen, Qiang Yang:
Mining Translations of Web Queries from Web Click-through Data. 1144-1149 - Shu Huang, Qiankun Zhao, Prasenjit Mitra, C. Lee Giles:
Hierarchical Location and Topic Based Query Expansion. 1150-1155 - Daisuke Ikeda, Hiroya Takamura, Manabu Okumura:
Semi-Supervised Learning for Blog Classification. 1156-1161 - Jun Karamon, Yutaka Matsuo, Mitsuru Ishizuka:
Generating Useful Network-based Features for Analyzing Social Networks. 1162-1168 - Saurabh Kataria, William Browuer, Prasenjit Mitra, C. Lee Giles:
Automatic Extraction of Data Points and Text Blocks from 2-Dimensional Plots in Digital Documents. 1169-1174 - Masahiro Kimura, Kazumi Saito, Hiroshi Motoda:
Minimizing the Spread of Contamination by Blocking Links in a Network. 1175-1180 - Andreas Krause, Eric Horvitz:
A Utility-Theoretic Approach to Privacy and Personalization. 1181-1188 - Lin Li, Zhenglu Yang, Ling Liu, Masaru Kitsuregawa:
Query-URL Bipartite Based Approach to Personalized Query Recommendation. 1189-1194 - Qing Li, K. Selçuk Candan, Qi Yan:
Extracting Relevant Snippets for Web Navigation. 1195-1200 - Gang Luo:
Intelligent Output Interface for Intelligent Medical Search Engine. 1201-1206 - Ming Mao, Yefei Peng, Michael Spring:
Neural Network based Constraint Satisfaction in Ontology Mapping. 1207-1212 - Christian Meilicke, Heiner Stuckenschmidt, Andrei Tamilin:
Supporting Manual Mapping Revision using Logical Reasoning. 1213-1218 - Vivi Nastase, Michael Strube:
Decoding Wikipedia Categories for Knowledge Acquisition. 1219-1224 - Marius Pasca:
Turning Web Text and Search Queries into Factual Knowledge: Hierarchical Class Attribute Extraction. 1225-1230 - Young-In Song, Chin-Yew Lin, Yunbo Cao, Hae-Chang Rim:
Question Utility: A Novel Static Ranking of Question Search. 1231-1236 - Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks:
Metalevel Information in Ontology-Based Applications. 1237-1242 - Benjamin Van Durme, Marius Pasca:
Finding Cars, Goddesses and Enzymes: Parametrizable Acquisition of Labeled Instances for Open-Domain Information Extraction. 1243-1248 - Tak-Lam Wong, Tik-Shun Wong, Wai Lam:
An Unsupervised Approach for Product Record Normalization across Different Web Sites. 1249-1254 - Songhua Xu, Yi Zhu, Hao Jiang, Francis C. M. Lau:
A User-Oriented Webpage Ranking Algorithm Based on User Attention Time. 1255-1260 - Zhenglu Yang, Lin Li, Masaru Kitsuregawa:
Efficient Querying Relaxed Dominant Relationship between Product Items Based on Rank Aggregation. 1261-1266
Special Track on Integrated Intelligence
- Cynthia Breazeal, Matt Berlin:
Spatial Scaffolding for Sociable Robot Learning. 1268-1273 - Mark H. Burstein, Robert Laddaga, David D. McDonald, Michael T. Cox, Brett Benyo, Paul Robertson, Talib S. Hussain, Marshall Brinn, Drew V. McDermott:
POIROT - Integrated Learning of Web Service Procedures. 1274-1279 - Morteza Dehghani, Emmett Tomai, Kenneth D. Forbus, Matthew Klenk:
An Integrated Reasoning Approach to Moral Decision-Making. 1280-1286 - Michael Freed, Jaime G. Carbonell, Geoffrey J. Gordon, Jordan Hayes, Brad A. Myers, Daniel P. Siewiorek, Stephen F. Smith, Aaron Steinfeld, Anthony Tomasic:
RADAR: A Personal Assistant that Learns to Reduce Email Overload. 1287-1293 - Sergio Jiménez Celorrio, Fernando Fernández, Daniel Borrajo:
The PELA Architecture: Integrating Planning and Learning to Improve Execution. 1294-1299 - William G. Kennedy, Magdalena D. Bugajska, William Adams, Alan C. Schultz, J. Gregory Trafton:
Incorporating Mental Simulation for a More Effective Robotic Teammate. 1300-1305 - Lukas D. Kuhn, Bob Price, Johan de Kleer, Minh Binh Do, Rong Zhou:
Pervasive Diagnosis: The Integration of Diagnostic Goals into Production Plans. 1306-1312 - Joshua McCoy, Michael Mateas:
An Integrated Agent for Playing Real-Time Strategy Games. 1313-1318 - Conor McGann, Frederic Py, Kanna Rajan, John P. Ryan, Richard Henthorn:
Adaptive Control for Autonomous Underwater Vehicles. 1319-1324 - Daniel G. Shapiro, Tolga Könik, Paul O'Rorke:
Achieving Far Transfer in an Integrated Cognitive Architecture. 1325-1330 - Samuel Wintermute, John E. Laird:
Bimodal Spatial Reasoning with Continuous Motion. 1331-1337
Special Track on Physically Grounded Artificial Intelligence
- Frank Broz, Illah R. Nourbakhsh, Reid G. Simmons:
Planning for Human-Robot Interaction Using Time-State Aggregated POMDPs. 1339-1344 - Hung Hai Bui, Dinh Q. Phung, Svetha Venkatesh, Hai Phan:
The Hidden Permutation Model and Location-Based Activity Recognition. 1345-1350 - Hirotaka Hachiya, Takayuki Akiyama, Masashi Sugiyama, Jan Peters:
Adaptive Importance Sampling with Automatic Model Selection in Value Function Approximation. 1351-1356 - Guy Hoffman, Cynthia Breazeal:
Anticipatory Perceptual Simulation for Human-Robot Joint Practice: Theory and Application Study. 1357-1362 - Derek Hao Hu, Qiang Yang:
CIGAR: Concurrent and Interleaving Goal and Activity Recognition. 1363-1368 - Thomas Kollar, Nicholas Roy:
Efficient Optimization of Information-Theoretic Exploration in SLAM. 1369-1375 - Masahiro Ono, Brian C. Williams:
An Efficient Motion Planning Algorithm for Stochastic Dynamic Systems with Constraints on Probability of Failure. 1376-1382 - Sinno Jialin Pan, Dou Shen, Qiang Yang, James T. Kwok:
Transferring Localization Models across Space. 1383-1388 - William Pentney, Matthai Philipose, Jeff A. Bilmes:
Structure Learning on Large Scale Common Sense Statistical Models of Human State. 1389-1395 - Cédric Rose, Jamal Saboune, François Charpillet:
Reducing Particle Filtering Complexity for 3D Motion Capture using Dynamic Bayesian Networks. 1396-1401 - Benjamin Sapp, Ashutosh Saxena, Andrew Y. Ng:
A Fast Data Collection and Augmentation Procedure for Object Recognition. 1402-1408 - Luciano Spinello, Rudolph Triebel, Roland Siegwart:
Multimodal People Detection and Tracking in Crowded Scenes. 1409-1414 - Douglas L. Vail, Manuela M. Veloso:
Feature Selection for Activity Recognition in Multi-Robot Domains. 1415-1420 - Vincent Wenchen Zheng, Evan Wei Xiang, Qiang Yang, Dou Shen:
Transferring Localization Models over Time. 1421-1426 - Vincent Wenchen Zheng, Sinno Jialin Pan, Qiang Yang, Jeffrey Junfeng Pan:
Transferring Multi-device Localization Models using Latent Multi-task Learning. 1427-1432 - Brian D. Ziebart, Andrew L. Maas, J. Andrew Bagnell, Anind K. Dey:
Maximum Entropy Inverse Reinforcement Learning. 1433-1438
Short Papers
- Martin Allen, Marek Petrik, Shlomo Zilberstein:
Interaction Structure and Dimensionality Reduction in Decentralized MDPs. 1440-1441 - Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu:
Generating Hard SAT/CSP Instances Using Expander Graphs. 1442-1443 - Victoria Bobicev, Marina Sokolova:
An Effective and Robust Method for Short Text Classification. 1444-1445 - James C. Boerkoel Jr., Edmund H. Durfee:
Hybrid Constraint Tightening for Solving Hybrid Scheduling Problems. 1446-1449 - Jonathan Dinerstein, Parris K. Egbert, Dan Ventura, Michael A. Goodrich:
Data-Driven Programming and Behavior for Autonomous Virtual Characters. 1450-1451 - Stefan Edelkamp, Peter Kissmann:
Limits and Possibilities of BDDs in State Space Search. 1452-1453 - Andrew Gilpin, Tuomas Sandholm:
Expectation-Based Versus Potential-Aware Automated Abstraction in Imperfect Information Games: An Experimental Comparison Using Poker. 1454-1457 - Sean Igo, Ellen Riloff:
Learning to Identify Reduced Passive Verb Phrases with a Shallow Parser. 1458-1461 - Ulf Krumnack, Helmar Gust, Kai-Uwe Kühnberger, Angela Schwering:
The Re-Representation Problem in a Logic-Based Framework for Analogy Making. 1462-1463 - Riadh Ksantini, Djemel Ziou, Bernard Colin, François Dubeau:
A Bayesian Kernel Logistic Discriminant Model: An Improvement to the Kernel Fisher's Discriminant. 1464-1465 - Robert N. Lass, Evan Sultanik, William C. Regli:
Dynamic Distributed Constraint Reasoning. 1466-1469 - Thomas H. Lotze, Galit Shmueli:
Ensemble Forecasting for Disease Outbreak Detection. 1470-1471 - Sridhar Mahadevan:
Fast Spectral Learning using Lanczos Eigenspace Projections. 1472-1475 - Duc Nghia Pham, John Thornton, Abdul Sattar:
Efficiently Exploiting Dependencies in Local Search for SAT. 1476-1478 - Manh Tung Pham, Kiam Tian Seow:
Towards Synthesizing Optimal Coordination Modules for Distributed Agents. 1479-1480 - Knot Pipatsrisawat, Adnan Darwiche:
A New Clause Learning Scheme for Efficient Unsatisfiability Proofs. 1481-1484 - Marc J. V. Ponsen, Jan Ramon, Tom Croonenborghs, Kurt Driessens, Karl Tuyls:
Bayes-Relational Learning of Opponent Models from Incomplete Information in No-Limit Poker. 1485-1486 - Ian Porteous, Evgeniy Bart, Max Welling:
Multi-HDP: A Non Parametric Bayesian Model for Tensor Factorization. 1487-1490 - Ashutosh Saxena, Lawson L. S. Wong, Andrew Y. Ng:
Learning Grasp Strategies with Partial Shape Information. 1491-1494 - Alberto Venturini, Gregory M. Provan:
Incremental Algorithms for Approximate Compilation. 1495-1498 - William E. Walsh, David C. Parkes, Tuomas Sandholm, Craig Boutilier:
Computing Reserve Prices and Identifying the Value Distribution in Real-world Auctions with Market Disruptions. 1499-1502 - Yin Zhang, Zhi-Hua Zhou:
Multi-Label Dimensionality Reduction via Dependence Maximization. 1503-1505 - Xiaojin Zhu, Michael Coen, Shelley Prudom, Ricki Colman, Joseph W. Kemnitz:
Online Learning in Monkeys. 1506-1507
Nectar Papers
- Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith:
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. 1509-1512 - Ming-Wei Chang, Lev-Arie Ratinov, Nicholas Rizzolo, Dan Roth:
Learning and Inference with Constraints. 1513-1518 - Minh Binh Do, Wheeler Ruml, Rong Zhou:
On-line Planning and Scheduling: An Application to Controlling Modular Printers. 1519-1523 - Mark Dredze, Hanna M. Wallach, Danny Puller, Tova Brooks, Josh Carroll, Joshua Magarick, John Blitzer, Fernando Pereira:
Intelligent Email: Aiding Users with AI. 1524-1527 - Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Magic Sets for Data Integration. 1528-1531 - Krzysztof Z. Gajos, Daniel S. Weld, Jacob O. Wobbrock:
Decision-Theoretic User Interface Generation. 1532-1536 - Sylvain Gelly, David Silver:
Achieving Master Level Play in 9 x 9 Computer Go. 1537-1540 - Georg Gottlob, Reinhard Pichler, Fang Wei:
Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation. 1541-1546 - Malte Helmert, Patrik Haslum, Jörg Hoffmann:
Explicit-State Abstraction: A New Method for Generating Heuristic Functions. 1547-1550 - Anthony Hoogs, A. G. Amitha Perera:
Video Activity Recognition in the Real World. 1551-1554 - Vithal Kuchibatla, Héctor Muñoz-Avila:
An Analysis of Transformational Analogy: General Framework and Complexity. 1555-1558 - Praveen Paruchuri, Jonathan P. Pearce, Janusz Marecki, Milind Tambe, Fernando Ordóñez, Sarit Kraus:
Efficient Algorithms to Solve Bayesian Stackelberg Games for Security Applications. 1559-1562 - Kayur Patel, James Fogarty, James A. Landay, Beverly L. Harrison:
Examining Difficulties Software Developers Encounter in the Adoption of Statistical Machine Learning. 1563-1566 - Claude-Guy Quimper, Toby Walsh:
Decompositions of Grammar Constraints. 1567-1570 - Ashutosh Saxena, Min Sun, Andrew Y. Ng:
Make3D: Depth Perception from a Single Still Image. 1571-1576 - Krysta M. Svore, Lucy Vanderwende, Christopher J. C. Burges:
Using Signals of Human Interest to Enhance Single-document Summarization. 1577-1580 - Kagan Tumer, Adrian K. Agogino:
Adaptive Management of Air Traffic Flow: A Multiagent Coordination Approach. 1581-1584 - Toby Walsh:
Breaking Value Symmetry. 1585-1588
Senior Member Papers
- Christopher L. Barrett, Stephen G. Eubank, Madhav V. Marathe:
An Interaction-Based Approach to Computational Epidemiology. 1590-1593 - Vladimir Lifschitz:
What Is Answer Set Programming?. 1594-1597 - Raymond J. Mooney:
Learning to Connect Language and Perception. 1598-1601 - Erik Sandewall:
Artificial Intelligence Needs Open-Access Knowledgebase Contents. 1602-1605 - Yoav Shoham:
Game Theory Pragmatics: A Challenge for AI. 1606-1608 - Daniel S. Weld, Fei Wu, Eytan Adar, Saleema Amershi, James Fogarty, Raphael Hoffmann, Kayur Patel, Michael Skinner:
Intelligence in Wikipedia. 1609-1614
Innovative Applications of Artificial Intelligence
Deployed Papers
- Andy Hon Wai Chun:
Using AI for Olympic Equestrian Event Preparation. 1616-1623 - Jiyou Jia:
A Case Study of AI Application on Language Instruction: CSIEC. 1624-1631 - W. Lewis Johnson, André Valente:
Tactical Language and Culture Training Systems: Using Artificial Intelligence to Teach Foreign Languages and Cultures. 1632-1639 - David C. Wilson, Suzanne Leland, Kenneth Godwin, Andrew Baxter, Ashley Levy, Jamie Smart, Nadia Najjar, Jayakrishnan Andaparambil:
The Law of Choice and the Decision Not to Decide. 1640-1647
Emerging Papers
- Jennifer Abernethy, Robert Sharman, Elizabeth Bradley:
Application of Artificial Intelligence to Operational Real-Time Clear-Air Turbulence Prediction. 1649-1654 - Scott Dejmal, Alan Fern, Thinh P. Nguyen:
Reinforcement Learning for Vulnerability Assessment in Peer-to-Peer Networks. 1655-1662 - Glenn Fung, Sriram Krishnan, R. Bharat Rao, Hui Chen:
Learning Sparse Kernels from 3D Surfaces for Heart Wall Motion Abnormality Detection. 1663-1670 - Arthur Guez, Robert D. Vincent, Massimo Avoli, Joelle Pineau:
Adaptive Treatment of Epilepsy via Batch-mode Reinforcement Learning. 1671-1678 - Kalyan Moy Gupta, Michael Zang, Adam Gray, David W. Aha, Joe Kriege:
Enabling the Interoperability of Large-Scale Legacy Systems. 1679-1684 - Hamid Haidarian Shahri, Donald Perlis:
Finding Ontological Correspondences for a Domain-Independent Natural Language Dialog Agent. 1685-1692 - David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
Personalisation of Telecommunications Services as Combinatorial Optimisation. 1693-1698 - Ole J. Mengshoel, Adnan Darwiche, Keith Cascio, Mark Chavira, Scott Poll, N. Serdar Uckun:
Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft. 1699-1705 - Robert A. Morris, John Gasch, Lina Khatib, Steven Covington:
Local Search for Optimal Global Map Generation Using Mid-Decadal Landsat Images. 1706-1711 - Robert A. Morris, Nikunj C. Oza, Leslie Keely, Elif Kürklü, Anthony Strawa:
Learning to Improve Earth Observation Flight Planning. 1712-1717 - Nicolas Padoy, Tobias Blum, Hubertus Feußner, Marie-Odile Berger, Nassir Navab:
On-line Recognition of Surgical Activity for Monitoring in the Operating Room. 1718-1724 - Ariella Richardson, Sarit Kraus, Patrice L. Weiss, Sara Rosenblum:
COACH - Cumulative Online Algorithm for Classification of Handwriting Deficiencies. 1725-1730 - Reza Sadoddin, Ali A. Ghorbani:
Real-time Alert Correlation Using Stream Data Mining Techniques. 1731-1737 - Ramesh Thangarajoo, Lucas Agussurja, Hoong Chuin Lau:
A Hybrid Approach to Convoy Movement Planning in an Urban City. 1738-1744 - William H. Turkett Jr., Andrew V. Karode, Errin W. Fulp:
In-the-Dark Network Traffic Classification Using Support Vector Machines. 1745-1750 - Christian von Lücken, Ricardo Brunelli:
Crops Selection for Optimal Soil Planning using Multiobjective Evolutionary Algorithms. 1751-1756 - Zhaohui Wu, Tong Yu, Huajun Chen, Xiaohong Jiang, Chunying Zhou, Yu Zhang, Yuxin Mao, Yi Feng, Meng Cui, Aining Yin:
Semantic Web Development for Traditional Chinese Medicine. 1757-1762 - Jianfeng Zhu, Wenbin Zhu, Chan Hou Che, Andrew Lim:
A Vehicle Routing System to Solve a Periodic Vehicle Routing Problem for a Food Chain in Hong Kong. 1763-1768
Student Abstracts
- Dimitrios Antos, Avi Pfeffer:
Using Reasoning Patterns to Simplify Games. 1770-1771 - Tom Armstrong, Tim Oates:
Lexical and Grammatical Inference. 1772-1773 - Mark Austin, Matthew Kelly, Michael Brady:
The Benefits of an Ontological Patient Model in Clinical Decision-Support. 1774-1775 - Cosmin Adrian Bejan, Sanda M. Harabagiu:
Using Clustering Methods for Discovering Event Structures. 1776-1777 - Antonis Bikakis, Grigoris Antoniou:
Distributed Reasoning with Conflicts in a Multi-Context Framework. 1778-1779 - Dunbo Cai, Jigui Sun, Minghao Yin:
Conformant Planning Heuristics Based on Plan Reuse in Belief States. 1780-1781 - Shu-Bin Cai, Zhong Ming, Shixian Li:
Personalized Reasoner Based on Belief Strengths of Information Sources. 1782-1783 - Giovanna Castellano, Anna Maria Fanelli, Paola Plantamura, Maria Alessandra Torsello:
A Neuro-Fuzzy Strategy for Web Personalization. 1784-1785 - Heeyoul Choi, Tracy Hammond:
Sketch Recognition Based on Manifold Learning. 1786-1787 - Paul Corey, Tracy Hammond:
GLADDER: Combining Gesture and Geometric Sketch Recognition. 1788-1789 - Katie Dahmen, Tracy Hammond:
Distinguishing between Sketched Scribble Look Alikes. 1790-1791 - Luke Dickens:
Perpetual Learning for Non-Cooperative Multiple Agents. 1792-1793 - Brian Eoff, Tracy Hammond:
User Identification by Means of Sketched Stroke Features. 1794-1795 - Pooyan Fazli, Ara Bedrosian:
Unsupervised Categorization (Filtering) of Google Images Based on Visual Consistency. 1796-1797 - Paul Fodor:
Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs. 1798-1799 - Paul Fodor:
Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques. 1800-1801 - Lushan Han, Tim Finin:
Predicting Appropriate Semantic Web Terms from Words. 1802-1893 - Robert Holder:
Improving a Plan Library for Real-time Systems Using Nearly Orthogonal Latin Hypercube Sampling. 1804-1805 - Fahim Kawsar, Shaikh Mostafa Al Masum, Mitsuru Ishizuka:
Text Beautifier: An Affective-Text Tool to Tailor Written Text. 1806-1807 - Igor Kiselev, Reda Alhajj:
A Self-organizing Multi-agent System for Adaptive Continuous Unsupervised Learning in Complex Uncertain Environments. 1808-1809 - Lukas Kroc, Michael Chertkov:
Loop Calculus for Satisfiability. 1810-1811 - Chi-Hoon Lee, Matthew R. G. Brown, Russell Greiner, Shaojun Wang, Albert Murtha:
Constrained Classification on Structured Data. 1812-1813 - Chia-chun Lian, Jane Yung-jen Hsu:
Chatting Activity Recognition in Social Occasions Using Factorial Conditional Random Fields with Iterative Classification. 1814-1815 - Zhihui Luo, David A. Bell, Barry McCollum:
Discover Relevant Environment Feature Using Concurrent Reinforcement Learning. 1816-1817 - Ross Mead, Jerry B. Weinberg:
2-Dimensional Cellular Automata Approach for Robot Grid Formations. 1818-1819 - Matthew Miller, Alexander Stoytchev:
Hierarchical Voting Experts: An Unsupervised Algorithm for Segmenting Hierarchically Structured Sequences. 1820-1821 - Don Miner, Marie desJardins, Peter Hamilton:
The Swarm Application Framework. 1822-1823 - A. S. M. Mahbub Morshed, Mitsuru Ishizuka:
ADROIT: Automatic Discourse Relation Organizer of Internet-based Text. 1824-1825 - Keith Purrington, Edmund H. Durfee:
NP-Completeness of Outcome Optimization for Partial CP-Nets. 1826-1827 - Jivko Sinapov, Alexander Stoytchev:
Toward Autonomous Learning of an Ontology of Tool Affordances by a Robot. 1828-1829 - John C. Stamper, Tiffany Barnes:
The Validity of Providing Automated Hints in an ITS Using a MDP. 1830-1831 - Paul Taele, Tracy Hammond:
Using a Geometric-Based Sketch Recognition Approach to Sketch Chinese Radicals. 1832-1833 - Ferhan Türe, Esra Erdem:
Efficient Haplotype Inference with Answer Set Programming. 1834-1835 - Aaron Wolin, Brandon Paulson, Tracy Hammond:
Eliminating False Positives during Corner Finding by Merging Similar Segments. 1836-1837 - Jiayu Zhou, Youfang Lin, Xi Wang:
Visualization of Large-Scale Weighted Clustered Graph: A Genetic Approach. 1838-1839
Doctoral Consortium Abstracts
- Adam Anthony:
The Relational Push-Pull Model: A Generative Model for Relational Data Clustering. 1841-1842 - Sandeep Chintabathina:
Towards Answer Set Prolog Based Architectures for Intelligent Agents. 1843-1844 - Selina Chu:
Unstructured Audio Classification for Environment Recognition. 1845-1846 - Faezeh Ensan:
An Architecture and Formalism for Handling Modular Ontologies. 1847-1848 - Paul Fodor:
Optimizations and Extensions for the Horn Transaction Logic Programs. 1849-1850 - Noam Hazon:
Social Interaction under Uncertainty in Multi Agent Systems. 1851-1852 - Daylond Hooper:
Tightly Coupled Cooperation among Independent Agents. 1853-1854 - George Dimitri Konidaris:
Autonomous Robot Skill Acquisition. 1855-1856 - Li Li:
Generating Plans in Concurrent, Probabilistic, Over-Subscribed Domains. 1857-1858 - Paul Maier:
Adaptive Abstraction of Constraint-Based Models for Self-Diagnosis and Planning. 1859-1860 - Masahiro Ono:
Distributed Robust Execution of Qualitative State Plan with Chance Constraints. 1861-1862 - Siddharth Patwardhan:
Combining Global Relevance Information with Local Contextual Clues for Event-Oriented Information Extraction. 1863-1864 - David L. Roberts:
Computational Influence for Training and Entertainment. 1865-1866 - Sushmita Roy, Terran Lane, Margaret Werner-Washburne:
Integrative Construction and Analysis of Condition-specific Biological Networks. 1867-1868 - Francesco Santini:
Managing Quality of Service with Soft Constraints. 1869-1870
Intelligent Systems Demonstrations
- Mark Austin, Matthew Kelly, Michael Brady:
The Benefits of an Ontological Patient Model in Clinical Decision-Support. 1872-1873 - Hadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan:
A Hybrid Approach to Domino Portrait Generation. 1874-1875 - Andrew Faulring, Brad A. Myers, Ken Mohnkern, Michael Freed:
A Demonstration of the RADAR Personal Assistant. 1876-1877 - Kenneth D. Forbus, Andrew M. Lovett, Kate Lockwood, Jon Wetzel, Camillia Matuk, Benjamin D. Jee, Jeffrey M. Usher:
CogSketch. 1878-1879 - Sharad Goel, David M. Pennock, Daniel M. Reeves, Cong Yu:
Yoopick: A Combinatorial Sports Prediction Market. 1880-1881 - Lin Padgham, John Thangarajah, Michael Winikoff:
Prometheus Design Tool. 1882-1883 - James Pita, Manish Jain, Fernando Ordóñez, Christopher Portway, Milind Tambe, Craig Western, Praveen Paruchuri, Sarit Kraus:
ARMOR Security for Los Angeles International Airport. 1884-1885 - 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:
Human-Robot Collaboration for Remote Surveillance. 1886-1887 - Dan Tappan:
Knowledge-Based Spatial Reasoning for Scene Generation from Text Descriptions. 1888-1889 - Michael Zang, Adam Gray, Joe Kriege, Kalyan Moy Gupta, David W. Aha:
IMT: A Mixed-Initiative Data Mapping and Search Toolkit. 1890-1891
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-22 02:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
