Table of Contents

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