Sciweavers

4224 search results - page 142 / 845
» Reasoning about Choice
Sort
View
COLING
1990
15 years 8 months ago
Incremental Parsing and Reason Maintenance
The purpose of this paper is to compare different ways of adopting reason-maintenance techniques in incremental parsing (and interpretation). A reasonmaintenance system supports i...
Mats Wirén
ICMCS
2010
IEEE
156views Multimedia» more  ICMCS 2010»
15 years 8 months ago
Enriching music mood annotation by semantic association reasoning
Mood annotation of music is challenging as it concerns not only audio content but also extra-musical information. It is a representative research topic about how to traverse the w...
Jun Wang, Xavier Anguera, Xiaoou Chen, Deshun Yang
CORR
2010
Springer
202views Education» more  CORR 2010»
15 years 7 months ago
The Complexity of Reasoning for Fragments of Autoepistemic Logic
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...
Nadia Creignou, Arne Meier, Michael Thomas, Heribe...
PSB
2010
15 years 4 months ago
Synthesis of Pharmacokinetic Pathways through Knowledge Acquisition and Automated Reasoning
teness of the knowledge bases, our approach also obtains facts through automated extraction from Medline abstracts. An essential component of our approach is to apply logical reaso...
Luis Tari, Saadat Anwar, Shanshan Liang, Jörg...
AVSS
2009
IEEE
16 years 1 months ago
Context-Based Reasoning Using Ontologies to Adapt Visual Tracking in Surveillance
— Classical tracking methods are often insufficient when dealing with complex scenarios. In order to solve tracking errors, innovative techniques based on the use of information ...
Juan Gómez-Romero, Miguel A. Patricio, Jes&...