


Остановите войну!
for scientists:


default search action
26th 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. - Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda:
SPARQL Query Containment Under SHI Axioms. - Chen Cheng, Haiqin Yang, Irwin King, Michael R. Lyu:
Fused Matrix Factorization with Geographical and Social Influence in Location-Based Social Networks. - Na Dai:
Building Contextual Anchor Text Representation using Graph Regularization. - Achille Fokoue, Felipe Meneguzzi, Murat Sensoy, Jeff Z. Pan:
Querying Linked Ontological Data through Distributed Summarization. - Xi Alice Gao, Yoram Bachrach, Peter B. Key, Thore Graepel:
Quality Expectation-Variance Tradeoffs in Crowdsourcing Contests. - Chien-Ju Ho, Jennifer Wortman Vaughan:
Online Task Assignment in Crowdsourcing Markets. - Ben Horsburgh, Susan Craw, Stewart Massie:
Music-Inspired Texture Representation. - Yuheng Hu, Ajita John, Fei Wang, Subbarao Kambhampati:
ET-LDA: Joint Topic Modeling for Aligning Events and their Twitter Feedback. - Myungha Jang, Jin-Woo Park, Seung-won Hwang:
Predictive Mining of Comparable Entities from the Web. - Hiroshi Kajino, Yuta Tsuboi, Hisashi Kashima:
A Convex Formulation for Learning from Crowds. - Freddy Lécué:
Diagnosing Changes in An Ontology Stream: A DL Reasoning Approach. - Christopher H. Lin, Mausam, Daniel S. Weld:
Dynamically Switching between Synergistic Workflows for Crowdsourcing. - Xiao Ling, Daniel S. Weld:
Fine-Grained Entity Recognition. - Guanfeng Liu, Yan Wang, Mehmet A. Orgun:
Social Context-Aware Trust Network Discovery in Complex Contextual Social Networks. - Nozomi Nori, Danushka Bollegala, Hisashi Kashima:
Multinomial Relation Prediction in Social Data: A Dimension Reduction Approach. - Thomas Pfeiffer, Xi Alice Gao, Yiling Chen, Andrew Mao, David G. Rand:
Adaptive Polling for Information Aggregation. - Giuseppe Pirrò:
REWOrD: Semantic Relatedness in the Web of Data. - Adam Sadilek, Henry A. Kautz, Vincent Silenzio:
Predicting Disease Transmission from Geo-Tagged Micro-Blog Data. - Hengjie Song, Ruoxue Liao, Xiangliang Zhang, Chunyan Miao, Qiang Yang:
A Mouse-Trajectory Based Model for Predicting Query-URL Relevance. - Uthayasanker Thayasivam, Prashant Doshi:
Improved Convergence of Iterative Ontology Alignment using Block-Coordinate Descent. - Congle Zhang, Raphael Hoffmann, Daniel S. Weld:
Ontological Smoothing for Relation Extraction with Minimal Supervision. - 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. - Yin Zhu, Xiao Wang, Erheng Zhong, Nathan Nan Liu, He Li, Qiang Yang:
Discovering Spammers in Social Networks. - Guobing Zou, Yixin Chen, You Xu, Ruoyun Huang, Yang Xiang:
Towards Automated Choreographing of Web Services Using Planning.
Cognitive Systems
- Erik Cambria, Daniel Olsher, Kenneth Kwok:
Sentic Activation: A Two-Level Affective Common Sense Reasoning Framework. - Nate Derbinsky, Justin Li, John E. Laird:
A Multi-Domain Evaluation of Scaling in a General Episodic Memory. - Nick Hawes, Matthew Klenk, Kate Lockwood, Graham S. Horn, John D. Kelleher:
Towards a Cognitive System that Can Recognize Spatial Regions Based on Context. - Thomas R. Hinrichs, Kenneth D. Forbus:
Learning Qualitative Models by Demonstration. - Evan A. Krause, Paul W. Schermerhorn, Matthias Scheutz:
Crossing Boundaries: Multi-Level Introspection in a Complex Robotic Architecture for Automatic Performance Improvements. - Unmesh Kurup, Christian Lebiere, Anthony Stentz, Martial Hebert:
Using Expectations to Drive Cognitive Behavior. - Justin Li, Nate Derbinsky, John E. Laird:
Functional Interactions Between Memory and Recognition Judgments. - Sushobhan Nayak, Amitabha Mukerjee:
A Grounded Cognitive Model for Metaphor Acquisition. - David Reitter, Christian Lebiere:
Social Cognition: Memory Decay and Adaptive Information Filtering for Robust Information Maintenance. - Brandon Robert Tearse, Peter A. Mawhorter, Michael Mateas, Noah Wardrip-Fruin:
Lessons Learned From a Rational Reconstruction of Minstrel. - Ljupco Todorovski, Will Bridewell, Pat Langley:
Discovering Constraints for Inductive Process Modeling.
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. - Iadine Chades, Josie Carwardine, Tara G. Martin, Samuel Nicol, Régis Sabbadin, Olivier Buffet:
MOMDPs: A Solution for Modelling Adaptive Management Problems. - Prithwish Chakraborty, Manish Marwah, Martin F. Arlitt, Naren Ramakrishnan:
Fine-Grained Photovoltaic Output Prediction Using a Bayesian Ensemble. - 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. - Sahil Garg, Amarjeet Singh, Fabio Ramos:
Learning Non-Stationary Space-Time Models for Environmental Monitoring. - Matthew Paul Johnson, Fei Fang, Milind Tambe:
Patrol Strategies to Maximize Pristine Forest Area. - 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. - Akshat Kumar, XiaoJian Wu, Shlomo Zilberstein:
Lagrangian Relaxation Techniques for Scalable Spatial Conservation Planning. - Donghun Lee, Warren B. Powell:
An Intelligent Battery Controller Using Bias-Corrected Q-learning. - Jason Jingshi Li, Boi Faltings, Olga Saukh, David Hasenfratz, Jan Beutel:
Sensing the Air We Breathe - The OpenSense Zurich Dataset. - 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. - Scott McQuade, Claire Monteleoni:
Global Climate Model Tracking Using Geospatial Neighborhoods. - Martin Gordon Mubangizi, Caterine Ikae, Athina Spiliopoulou, John A. Quinn:
Coupling Spatiotemporal Disease Modeling with Diagnosis. - Michael A. Osborne, Roman Garnett, Kevin Swersky, Nando de Freitas:
Prediction and Fault Detection of Environmental Signals with Uncharacterised Faults. - Oliver Parson, Siddhartha Ghosh, Mark J. Weal, Alex Rogers:
Non-Intrusive Load Monitoring Using Prior Models of General Appliance Types. - Prashant P. Reddy, Manuela M. Veloso:
Factored Models for Multiscale Decision-Making in Smart Grid Customers. - Valentin Robu, Ramachandra Kota, Georgios Chalkiadakis, Alex Rogers, Nicholas R. Jennings:
Cooperative Virtual Power Plant Formation Using Scoring Rules. - Gwen Spencer:
Robust Cuts Over Time: Combatting the Spread of Invasive Species with Unreliable Biological Control. - Adam Vogel, Deepak Ramachandran, Rakesh Gupta, Antoine Raux:
Improving Hybrid Vehicle Fuel Efficiency Using Inverse Reinforcement Learning. - Shan Xue, Alan Fern, Daniel Sheldon:
Scheduling Conservation Designs via Network Cascade Optimization. - Yisong Yue, Lavanya Marla, Ramayya Krishnan:
An Efficient Simulation-Based Approach to Ambulance Fleet Allocation and Dynamic Redeployment.
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. - Joseph Kelly Barker, Richard E. Korf:
Solving Peg Solitaire with Bidirectional BFIDA. - Joseph Kelly Barker, Richard E. Korf:
Solving Dots-And-Boxes. - Andrea Bartolini, Michele Lombardi, Michela Milano, Luca Benini:
Optimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching. - Shaowei Cai, Kaile Su:
Configuration Checking with Aspiration in Local Search for SAT. - Shaowei Cai, Kaile Su, Abdul Sattar:
Two New Local Search Strategies for Minimum Vertex Cover. - Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Solving Temporal Problems Using SMT: Weak Controllability. - Carleton Coffrin, Pascal Van Hentenryck, Russell Bent:
Last-Mile Restoration for Multiple Interdependent Infrastructures. - Martin C. Cooper, Guillaume Escamocher:
A Dichotomy for 2-Constraint Forbidden CSP Patterns. - Ariel Felner, Meir Goldenberg, Guni Sharon, Roni Stern, Tal Beja, Nathan R. Sturtevant, Jonathan Schaeffer, Robert Holte:
Partial-Expansion A* with Selective Node Generation. - Alex Fukunaga, Akihiro Kishimoto, Adi Botea:
Iterative Resource Allocation for Memory Intensive Parallel Search Algorithms on Clouds, Grids, and Shared Clusters. - Serge Gaspers, Eun Jung Kim, Sebastian Ordyniak
, Saket Saurabh, Stefan Szeider:
Don't Be Strict in Local Search! - Serdar Kadioglu, Yuri Malitsky, Meinolf Sellmann:
Non-Model-Based Search Guidance for Set Partitioning Problems. - Ronan LeBras, Carla P. Gomes, Bart Selman:
From Streamlined Combinatorial Search to Efficient Constructive Procedures. - Jimmy Ho-Man Lee, Ka Lun Leung, Yi Wu:
Polynomially Decomposable Global Cost Functions in Weighted Constraint Satisfaction. - Levi Lelis, Sandra Zilles, Robert C. Holte:
Fast and Accurate Predictions of IDA*'s Performance. - Yuliya Lierler:
On the Relation of Constraint Answer Set Programming Languages and Algorithms. - Brammert Ottens, Christos Dimitrakakis, Boi Faltings:
DUCT: An Upper Confidence Bound Approach to Distributed Constraint Optimization Problems. - Anastasia Paparrizou, Kostas Stergiou:
An Efficient Higher-Order Consistency Algorithm for Table Constraints. - Duc Nghia Pham, Thach-Thao Duong, Abdul Sattar:
Trap Avoidance in Local Search Using Pseudo-Conflict Learning. - Mark Richards, Eyal Amir:
Information Set Generation in Partially Observable Games. - Abdallah Saffidine, Hilmar Finnsson, Michael Buro:
Alpha-Beta Pruning for Games with Simultaneous Moves. - Guni Sharon, Roni Stern, Ariel Felner, Nathan R. Sturtevant:
Conflict-Based Search For Optimal Multi-Agent Path Finding. - David Tolpin, Solomon Eyal Shimony:
MCTS Based on Simple Regret. - Philippe Van Kessel, Claude-Guy Quimper:
Filtering Algorithms Based on the Word-RAM Model. - Lin Xu, Holger H. Hoos, Kevin Leyton-Brown:
Predicting Satisfiability at the Phase Transition.
Knowledge-Based Information Systems
- Wei Chen, Wei Lu, Ning Zhang:
Time-Critical Influence Maximization in Social Networks with Time-Delayed Diffusion Process. - Jing Fang, Prasenjit Mitra, Zhi Tang, C. Lee Giles
:
Table Header Detection and Classification. - Ankush Gupta, Yashaswi Verma, C. V. Jawahar:
Choosing Linguistics over Vision to Describe Images. - Andreas Harth, Sebastian Speiser:
On Completeness Classes for Query Evaluation on Linked Data. - Zhanying He, Chun Chen, Jiajun Bu, Can Wang, Lijun Zhang, Deng Cai, Xiaofei He:
Document Summarization Based on Data Reconstruction. - Hongxia Jin:
Content Recommendation for Attention Management in Unified Social Messaging. - Weihao Kong, Wu-Jun Li:
Double-Bit Quantization for Hashing. - Yue Lin, Rong Jin, Deng Cai, Xiaofei He:
Random Projection with Filtering for Nearly Duplicate Search. - Zhunchen Luo, Miles Osborne, Sasa Petrovic, Ting Wang:
Improving Twitter Retrieval by Exploiting Structural Information. - Feiping Nie, Heng Huang, Chris H. Q. Ding:
Low-Rank Matrix Recovery via Efficient Schatten p-Norm Minimization. - Weike Pan, Evan Wei Xiang, Qiang Yang:
Transfer Learning in Collaborative Filtering with Uncertain Ratings. - Abhishek B. Sharma, Kenneth D. Forbus:
Modeling the Evolution of Knowledge in Learning Systems. - Truyen Tran, Dinh Q. Phung, Svetha Venkatesh:
A Sequential Decision Approach to Ordinal Preferences in Recommender Systems. - Dingding Wang, Tao Li, Mitsunori Ogihara:
Generating Pictorial Storylines Via Minimum-Weight Connected Dominating Set Approximation in Multi-View Graphs.
Knowledge Representation and Reasoning
- Vernon Asuncion, Yan Zhang, Yi Zhou:
Ordered Completion for Logic Programs with Aggregates. - Elias Bareinboim, Judea Pearl:
Transportability of Causal Effects: Completeness Results. - Meghyn Bienvenu:
On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies. - Benjamin Bittner, Marco Bozzano
, Alessandro Cimatti, Xavier Olive:
Symbolic Synthesis of Observability Requirements for Diagnosability. - Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Ontology-Based Data Access with Dynamic TBoxes in DL-Lite. - Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao:
Query Rewriting for Horn-SHIQ Plus Rules. - 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. - Michael R. Fellows, Andreas Pfandler, Frances A. Rosamond, Stefan Rümmele:
The Parameterized Complexity of Abduction. - Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak
, Stefan Szeider:
On Finding Optimal Polytrees. - Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz:
Equality-Friendly Well-Founded Semantics and Applications to Description Logics. - Xiaowei Huang, Kaile Su, Chenyi Zhang:
Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. - Xiaowei Huang, Ron van der Meyden:
Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games. - Martha Imprialou, Giorgos Stoilos, Bernardo Cuenca Grau:
Benchmarking Ontology-Based Query Rewriting Systems. - Joohyung Lee, Ravi Palla:
Reformulating Temporal Action Logics in Answer Set Programming. - Amit Metodi, Roni Stern, Meir Kalech, Michael Codish:
Compiling Model-Based Diagnosis to Boolean Satisfaction. - Guilin Qi, Kewen Wang:
Conflict-Based Belief Revision Operators in Possibilistic Logic. - Ariel Raviv, Shaul Markovitch:
Concept-Based Approach to Word-Sense Disambiguation. - Adam Sadilek, John Krumm:
Far Out: Predicting Long-Term Human Mobility. - Yi-Dong Shen, Kewen Wang:
FLP Semantics Without Circular Justifications for General Logic Programs. - Roni Tzvi Stern, Meir Kalech, Alexander Feldman, Gregory M. Provan:
Exploring the Duality in Conflict-Directed Model-Based Diagnosis. - Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You:
A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms. - Yexiang Xue, Arthur Choi, Adnan Darwiche:
Basing Decisions on Sentences in Decision Diagrams.
Machine Learning
- Saeed Abdullah, Nicholas D. Lane, Tanzeem Choudhury:
Towards Population Scale Activity Recognition: A Framework for Handling Data Diversity. - Margareta Ackerman, Shai Ben-David, Simina Brânzei, David Loker:
Weighted Clustering. - Marc G. Bellemare, Joel Veness, Michael Bowling:
Investigating Contingency Awareness Using Atari 2600 Games. - William Dabney, Andrew G. Barto:
Adaptive Step-Size for Online Temporal Difference Learning. - Sajib Dasgupta, Richard M. Golden, Vincent Ng:
Clustering Documents Along Multiple Dimensions. - Bruno Castro da Silva, Andrew G. Barto:
TD-DeltaPi: A Model-Free Algorithm for Efficient Exploration. - Nemanja Djuric, Mihajlo Grbovic, Slobodan Vucetic:
Convex Kernelized Sorting. - Eric Eaton, Rachael Mansbach:
A Spin-Glass Model for Semi-Supervised Community Detection. - Alireza Ghasemi, Hamid R. Rabiee, Mohammad Taghi Manzuri, Mohammad Hossein Rohban:
A Bayesian Approach to the Data Description Problem. - Mohammad Ghavamzadeh, Alessandro Lazaric:
Conservative and Greedy Approaches to Classification-Based Policy Iteration. - Pinghua Gong, Changshui Zhang:
Efficient Multi-Stage Conjugate Gradient for Trust Region Step. - Josif Grabocka, Alexandros Nanopoulos, Lars Schmidt-Thieme:
Classification of Sparse Time Series via Supervised Matrix Factorization. - Mihajlo Grbovic, Christopher R. Dance, Slobodan Vucetic:
Sparse Principal Component Analysis with Constraints. - Suicheng Gu, Yuhong Guo:
Learning SVM Classifiers with Indefinite Kernels. - Sheng-Jun Huang, Zhi-Hua Zhou:
Multi-Label Learning by Exploiting Label Correlations Locally.