Sciweavers

2577 search results - page 368 / 516
» Multimedia Question Answering
Sort
View
TARK
2005
Springer
15 years 10 months ago
Complexity results for logics of local reasoning and inconsistent belief
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...
Martin Allen
NORDICHI
2004
ACM
15 years 10 months ago
Mobile probes
This paper describes a new digital user study tool called Mobile Probes. Mobile Probes arose from a need to develop contextual and dynamic self-documenting tools for studying peop...
Sami Hulkko, Tuuli Mattelmäki, Katja Virtanen...
AIRS
2004
Springer
15 years 10 months ago
Using Verb Dependency Matching in a Reading Comprehension System
In this paper, we describe a reading comprehension system. This system can return a sentence in a given document as the answer to a given question. This system applies bag-of-words...
Kui Xu, Helen Meng
DFG
2004
Springer
15 years 10 months ago
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn,...
147
Voted
ER
2004
Springer
97views Database» more  ER 2004»
15 years 10 months ago
On the Updatability of XML Views Published over Relational Data
Updates over virtual XML views that wrap the relational data have not been well supported by current XML data management systems. This paper studies the problem of the existence of...
Ling Wang, Elke A. Rundensteiner