default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th AAAI 2012: Toronto, Ontario, Canada
- Jörg Hoffmann, Bart Selman:
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada. AAAI Press 2012
Artificial Intelligence and the Web
- Cornelia Caragea, Adrian Silvescu, Prasenjit Mitra:
Combining Hashing and Abstraction in Sparse High Dimensional Feature Spaces. 3-9 - Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda:
SPARQL Query Containment Under SHI Axioms. 10-16 - Chen Cheng, Haiqin Yang, Irwin King, Michael R. Lyu:
Fused Matrix Factorization with Geographical and Social Influence in Location-Based Social Networks. 17-23 - Na Dai:
Building Contextual Anchor Text Representation using Graph Regularization. 24-30 - Achille Fokoue, Felipe Meneguzzi, Murat Sensoy, Jeff Z. Pan:
Querying Linked Ontological Data through Distributed Summarization. 31-37 - Xi Alice Gao, Yoram Bachrach, Peter B. Key, Thore Graepel:
Quality Expectation-Variance Tradeoffs in Crowdsourcing Contests. 38-44 - Chien-Ju Ho, Jennifer Wortman Vaughan:
Online Task Assignment in Crowdsourcing Markets. 45-51 - Ben Horsburgh, Susan Craw, Stewart Massie:
Music-Inspired Texture Representation. 52-58 - Yuheng Hu, Ajita John, Fei Wang, Subbarao Kambhampati:
ET-LDA: Joint Topic Modeling for Aligning Events and their Twitter Feedback. 59-65 - Myungha Jang, Jin-Woo Park, Seung-won Hwang:
Predictive Mining of Comparable Entities from the Web. 66-72 - Hiroshi Kajino, Yuta Tsuboi, Hisashi Kashima:
A Convex Formulation for Learning from Crowds. 73-79 - Freddy Lécué:
Diagnosing Changes in An Ontology Stream: A DL Reasoning Approach. 80-86 - Christopher H. Lin, Mausam, Daniel S. Weld:
Dynamically Switching between Synergistic Workflows for Crowdsourcing. 87-93 - Xiao Ling, Daniel S. Weld:
Fine-Grained Entity Recognition. 94-100 - Guanfeng Liu
, Yan Wang, Mehmet A. Orgun:
Social Context-Aware Trust Network Discovery in Complex Contextual Social Networks. 101-107 - Roberto Navigli, Simone Paolo Ponzetto:
BabelRelate! A Joint Multilingual Approach to Computing Semantic Relatedness. 108-114 - Nozomi Nori, Danushka Bollegala, Hisashi Kashima:
Multinomial Relation Prediction in Social Data: A Dimension Reduction Approach. 115-121 - Thomas Pfeiffer, Xi Alice Gao, Yiling Chen, Andrew Mao, David G. Rand:
Adaptive Polling for Information Aggregation. 122-128 - Giuseppe Pirrò:
REWOrD: Semantic Relatedness in the Web of Data. 129-135 - Adam Sadilek, Henry A. Kautz, Vincent Silenzio:
Predicting Disease Transmission from Geo-Tagged Micro-Blog Data. 136-142 - Hengjie Song, Ruoxue Liao, Xiangliang Zhang, Chunyan Miao, Qiang Yang:
A Mouse-Trajectory Based Model for Predicting Query-URL Relevance. 143-149 - Uthayasanker Thayasivam, Prashant Doshi:
Improved Convergence of Iterative Ontology Alignment using Block-Coordinate Descent. 150-156 - Congle Zhang, Raphael Hoffmann, Daniel S. Weld:
Ontological Smoothing for Relation Extraction with Minimal Supervision. 157-163 - Tom Chao Zhou, Xiance Si, Edward Y. Chang, Irwin King, Michael R. Lyu:
A Data-Driven Approach to Question Subjectivity Identification in Community Question Answering. 164-170 - Yin Zhu, Xiao Wang, Erheng Zhong, Nathan Nan Liu, He Li, Qiang Yang:
Discovering Spammers in Social Networks. 171-177 - Guobing Zou, Yixin Chen, You Xu, Ruoyun Huang, Yang Xiang:
Towards Automated Choreographing of Web Services Using Planning. 178-184
Cognitive Systems
- Erik Cambria, Daniel Olsher, Kenneth Kwok:
Sentic Activation: A Two-Level Affective Common Sense Reasoning Framework. 186-192 - Nate Derbinsky, Justin Li, John E. Laird:
A Multi-Domain Evaluation of Scaling in a General Episodic Memory. 193-199 - Nick Hawes, Matthew Klenk, Kate Lockwood, Graham S. Horn, John D. Kelleher:
Towards a Cognitive System that Can Recognize Spatial Regions Based on Context. 200-206 - Thomas R. Hinrichs, Kenneth D. Forbus:
Learning Qualitative Models by Demonstration. 207-213 - Evan A. Krause, Paul W. Schermerhorn, Matthias Scheutz:
Crossing Boundaries: Multi-Level Introspection in a Complex Robotic Architecture for Automatic Performance Improvements. 214-220 - Unmesh Kurup, Christian Lebiere, Anthony Stentz, Martial Hebert:
Using Expectations to Drive Cognitive Behavior. 221-227 - Justin Li, Nate Derbinsky, John E. Laird:
Functional Interactions Between Memory and Recognition Judgments. 228-234 - Sushobhan Nayak, Amitabha Mukerjee:
A Grounded Cognitive Model for Metaphor Acquisition. 235-241 - David Reitter, Christian Lebiere:
Social Cognition: Memory Decay and Adaptive Information Filtering for Robust Information Maintenance. 242-248 - Brandon Robert Tearse, Peter A. Mawhorter, Michael Mateas, Noah Wardrip-Fruin:
Lessons Learned From a Rational Reconstruction of Minstrel. 249-255 - Ljupco Todorovski, Will Bridewell, Pat Langley:
Discovering Constraints for Inductive Process Modeling. 256-262
Computational Sustainability and Artificial Intelligence
- Ramón Béjar, Cèsar Fernández, Carles Mateu, Felip Manyà, Francina Sole-Mauri, David Vidal:
The Automated Vacuum Waste Collection Optimization Problem. 264-266 - Iadine Chades, Josie Carwardine, Tara G. Martin, Samuel Nicol, Régis Sabbadin, Olivier Buffet:
MOMDPs: A Solution for Modelling Adaptive Management Problems. 267-273 - Prithwish Chakraborty, Manish Marwah, Martin F. Arlitt, Naren Ramakrishnan:
Fine-Grained Photovoltaic Output Prediction Using a Bayesian Ensemble. 274-280 - James H. Faghmous, Yashu Chamber, Shyam Boriah, Frode Vikebø, Stefan Liess, Michel dos Santos Mesquita, Vipin Kumar:
A Novel and Scalable Spatio-Temporal Technique for Ocean Eddy Monitoring. 281-287 - Sahil Garg, Amarjeet Singh, Fabio Ramos:
Learning Non-Stationary Space-Time Models for Environmental Monitoring. 288-294 - Matthew Paul Johnson, Fei Fang, Milind Tambe:
Patrol Strategies to Maximize Pristine Forest Area. 295-301 - Kristian Kersting, Zhao Xu, Mirwaes Wahabzada, Christian Bauckhage, Christian Thurau, Christoph Römer, Agim Ballvora, Uwe Rascher, Jens Leon, Lutz Plümer:
Pre-Symptomatic Prediction of Plant Drought Stress Using Dirichlet-Aggregation Regression on Hyperspectral Images. 302-308 - Akshat Kumar, XiaoJian Wu, Shlomo Zilberstein:
Lagrangian Relaxation Techniques for Scalable Spatial Conservation Planning. 309-315 - Donghun Lee, Warren B. Powell:
An Intelligent Battery Controller Using Bias-Corrected Q-learning. 316-322 - Jason Jingshi Li, Boi Faltings, Olga Saukh, David Hasenfratz, Jan Beutel:
Sensing the Air We Breathe - The OpenSense Zurich Dataset. 323-325 - Neo D. Martinez, Perrine Tonnin, Barbara Bauer, Rosalyn C. Rael, Rahul Singh, Sanghyuk Yoon, Ilmi Yoon, Jennifer A. Dunne:
Sustaining Economic Exploitation of Complex Ecosystems in Computational Models of Coupled Human-Natural Networks. 326-334 - Scott McQuade, Claire Monteleoni:
Global Climate Model Tracking Using Geospatial Neighborhoods. 335-341 - Martin Gordon Mubangizi, Caterine Ikae, Athina Spiliopoulou, John A. Quinn:
Coupling Spatiotemporal Disease Modeling with Diagnosis. 342-348 - Michael A. Osborne, Roman Garnett, Kevin Swersky, Nando de Freitas:
Prediction and Fault Detection of Environmental Signals with Uncharacterised Faults. 349-355 - Oliver Parson, Siddhartha Ghosh, Mark J. Weal, Alex Rogers:
Non-Intrusive Load Monitoring Using Prior Models of General Appliance Types. 356-362 - Prashant P. Reddy, Manuela M. Veloso:
Factored Models for Multiscale Decision-Making in Smart Grid Customers. 363-369 - Valentin Robu, Ramachandra Kota, Georgios Chalkiadakis, Alex Rogers, Nicholas R. Jennings:
Cooperative Virtual Power Plant Formation Using Scoring Rules. 370-376 - Gwen Spencer:
Robust Cuts Over Time: Combatting the Spread of Invasive Species with Unreliable Biological Control. 377-383 - Adam Vogel, Deepak Ramachandran, Rakesh Gupta, Antoine Raux:
Improving Hybrid Vehicle Fuel Efficiency Using Inverse Reinforcement Learning. 384-390 - Shan Xue, Alan Fern, Daniel Sheldon:
Scheduling Conservation Designs via Network Cascade Optimization. 391-397 - Yisong Yue, Lavanya Marla, Ramayya Krishnan:
An Efficient Simulation-Based Approach to Ambulance Fleet Allocation and Dynamic Redeployment. 398-405
Constraints, Satisfiability, and Search
- David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex:
Filtering Decomposable Global Cost Functions. 407-413 - Joseph Kelly Barker, Richard E. Korf:
Solving Peg Solitaire with Bidirectional BFIDA. 420-426 - Joseph Kelly Barker, Richard E. Korf:
Solving Dots-And-Boxes. 414-419 - Andrea Bartolini, Michele Lombardi, Michela Milano, Luca Benini:
Optimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching. 427-433 - Shaowei Cai, Kaile Su:
Configuration Checking with Aspiration in Local Search for SAT. 434-440 - Shaowei Cai, Kaile Su, Abdul Sattar:
Two New Local Search Strategies for Minimum Vertex Cover. 441-447 - Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Solving Temporal Problems Using SMT: Weak Controllability. 448-454 - Carleton Coffrin, Pascal Van Hentenryck, Russell Bent:
Last-Mile Restoration for Multiple Interdependent Infrastructures. 455-463 - Martin C. Cooper, Guillaume Escamocher:
A Dichotomy for 2-Constraint Forbidden CSP Patterns. 464-470 - Ariel Felner, Meir Goldenberg, Guni Sharon, Roni Stern, Tal Beja, Nathan R. Sturtevant, Jonathan Schaeffer, Robert Holte:
Partial-Expansion A* with Selective Node Generation. 471-477 - Alex Fukunaga, Akihiro Kishimoto, Adi Botea:
Iterative Resource Allocation for Memory Intensive Parallel Search Algorithms on Clouds, Grids, and Shared Clusters. 478-486 - Serge Gaspers, Eun Jung Kim, Sebastian Ordyniak, Saket Saurabh, Stefan Szeider:
Don't Be Strict in Local Search! 486-492 - Serdar Kadioglu, Yuri Malitsky, Meinolf Sellmann:
Non-Model-Based Search Guidance for Set Partitioning Problems. 493-498 - Ronan LeBras, Carla P. Gomes, Bart Selman:
From Streamlined Combinatorial Search to Efficient Constructive Procedures. 499-506 - Jimmy Ho-Man Lee, Ka Lun Leung, Yi Wu:
Polynomially Decomposable Global Cost Functions in Weighted Constraint Satisfaction. 507-513 - Levi Lelis, Sandra Zilles, Robert C. Holte:
Fast and Accurate Predictions of IDA*'s Performance. 514-520 - Yuliya Lierler:
On the Relation of Constraint Answer Set Programming Languages and Algorithms. 521-527 - Brammert Ottens, Christos Dimitrakakis, Boi Faltings:
DUCT: An Upper Confidence Bound Approach to Distributed Constraint Optimization Problems. 528-534 - Anastasia Paparrizou, Kostas Stergiou:
An Efficient Higher-Order Consistency Algorithm for Table Constraints. 535-541 - Duc Nghia Pham, Thach-Thao Duong, Abdul Sattar:
Trap Avoidance in Local Search Using Pseudo-Conflict Learning. 542-548 - Mark Richards, Eyal Amir:
Information Set Generation in Partially Observable Games. 549-555 - Abdallah Saffidine, Hilmar Finnsson, Michael Buro:
Alpha-Beta Pruning for Games with Simultaneous Moves. 556-562 - Guni Sharon, Roni Stern, Ariel Felner, Nathan R. Sturtevant:
Conflict-Based Search For Optimal Multi-Agent Path Finding. 563-569 - David Tolpin, Solomon Eyal Shimony:
MCTS Based on Simple Regret. 570-576 - Philippe Van Kessel, Claude-Guy Quimper:
Filtering Algorithms Based on the Word-RAM Model. 577-583 - Lin Xu, Holger H. Hoos, Kevin Leyton-Brown:
Predicting Satisfiability at the Phase Transition. 584-590
Knowledge-Based Information Systems
- Wei Chen, Wei Lu, Ning Zhang:
Time-Critical Influence Maximization in Social Networks with Time-Delayed Diffusion Process. 591-598 - Jing Fang, Prasenjit Mitra, Zhi Tang, C. Lee Giles:
Table Header Detection and Classification. 599-605 - Ankush Gupta, Yashaswi Verma, C. V. Jawahar:
Choosing Linguistics over Vision to Describe Images. 606-612 - Andreas Harth, Sebastian Speiser:
On Completeness Classes for Query Evaluation on Linked Data. 613-619 - Zhanying He, Chun Chen, Jiajun Bu, Can Wang, Lijun Zhang, Deng Cai, Xiaofei He:
Document Summarization Based on Data Reconstruction. 620-626 - Hongxia Jin:
Content Recommendation for Attention Management in Unified Social Messaging. 627-633 - Weihao Kong, Wu-Jun Li:
Double-Bit Quantization for Hashing. 634-640 - Yue Lin, Rong Jin, Deng Cai, Xiaofei He:
Random Projection with Filtering for Nearly Duplicate Search. 641-647 - Zhunchen Luo, Miles Osborne, Sasa Petrovic, Ting Wang:
Improving Twitter Retrieval by Exploiting Structural Information. 648-654 - Feiping Nie, Heng Huang, Chris H. Q. Ding:
Low-Rank Matrix Recovery via Efficient Schatten p-Norm Minimization. 655-661 - Weike Pan, Evan Wei Xiang, Qiang Yang:
Transfer Learning in Collaborative Filtering with Uncertain Ratings. 662-668 - Abhishek B. Sharma, Kenneth D. Forbus:
Modeling the Evolution of Knowledge in Learning Systems. 669-675 - Truyen Tran, Dinh Q. Phung, Svetha Venkatesh:
A Sequential Decision Approach to Ordinal Preferences in Recommender Systems. 676-682 - Dingding Wang, Tao Li, Mitsunori Ogihara:
Generating Pictorial Storylines Via Minimum-Weight Connected Dominating Set Approximation in Multi-View Graphs. 683-689
Knowledge Representation and Reasoning
- Vernon Asuncion, Yan Zhang, Yi Zhou:
Ordered Completion for Logic Programs with Aggregates. 691-697 - Elias Bareinboim, Judea Pearl:
Transportability of Causal Effects: Completeness Results. 698-704 - Meghyn Bienvenu:
On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies. 705-711 - Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive:
Symbolic Synthesis of Observability Requirements for Diagnosability. 712-718 - Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Ontology-Based Data Access with Dynamic TBoxes in DL-Lite. 719-725 - Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao:
Query Rewriting for Horn-SHIQ Plus Rules. 726-733 - Yi Fan, Minghui Cai, Naiqi Li, Yongmei Liu:
A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning. 734-742 - Michael R. Fellows, Andreas Pfandler, Frances A. Rosamond, Stefan Rümmele:
The Parameterized Complexity of Abduction. 743-749 - Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak, Stefan Szeider:
On Finding Optimal Polytrees. 750-756 - Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz:
Equality-Friendly Well-Founded Semantics and Applications to Description Logics. 757-764 - Xiaowei Huang, Kaile Su, Chenyi Zhang:
Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. 765-771 - Xiaowei Huang, Ron van der Meyden:
Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games. 772-778 - Martha Imprialou, Giorgos Stoilos, Bernardo Cuenca Grau:
Benchmarking Ontology-Based Query Rewriting Systems. 779-785 - Joohyung Lee, Ravi Palla:
Reformulating Temporal Action Logics in Answer Set Programming. 786-792 - Amit Metodi, Roni Stern, Meir Kalech, Michael Codish:
Compiling Model-Based Diagnosis to Boolean Satisfaction. 793-799 - Guilin Qi, Kewen Wang:
Conflict-Based Belief Revision Operators in Possibilistic Logic. 800-806 - Ariel Raviv, Shaul Markovitch:
Concept-Based Approach to Word-Sense Disambiguation. 807-813 - Adam Sadilek, John Krumm:
Far Out: Predicting Long-Term Human Mobility. 814-820 - Yi-Dong Shen, Kewen Wang:
FLP Semantics Without Circular Justifications for General Logic Programs. 821-827 - Roni Tzvi Stern, Meir Kalech, Alexander Feldman, Gregory M. Provan:
Exploring the Duality in Conflict-Directed Model-Based Diagnosis. 828-834 - Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You:
A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms. 835-841 - Yexiang Xue, Arthur Choi, Adnan Darwiche:
Basing Decisions on Sentences in Decision Diagrams. 842-849
Machine Learning
- Saeed Abdullah, Nicholas D. Lane, Tanzeem Choudhury:
Towards Population Scale Activity Recognition: A Framework for Handling Data Diversity. 851-857 - Margareta Ackerman, Shai Ben-David, Simina Brânzei, David Loker:
Weighted Clustering. 858-863 - Marc G. Bellemare, Joel Veness, Michael Bowling:
Investigating Contingency Awareness Using Atari 2600 Games. 864-871 - William Dabney, Andrew G. Barto:
Adaptive Step-Size for Online Temporal Difference Learning. 872-878 - Sajib Dasgupta, Richard M. Golden, Vincent Ng:
Clustering Documents Along Multiple Dimensions. 879-885