Sciweavers

1086 search results - page 80 / 218
» Knowledge-based part correspondence
Sort
View
ECAI
2006
Springer
14 years 1 months ago
Resolving Conflicts in Action Descriptions
Abstract. We study resolving conflicts between an action description and a set of conditions (possibly obtained from observations), in the context of action languages. In this form...
Thomas Eiter, Esra Erdem, Michael Fink, Ján...
AINA
2010
IEEE
14 years 1 months ago
Mnesic Evocation: An Isochron-Based Analysis
—Mnesic evocation occurs under the action of a stimulus. A successful evocation is observed as the overrun of a certain threshold of the neuronal activity followed by a medical i...
Hedi Ben Amor, Jacques Demongeot, Nicolas Glade
ACL
2008
13 years 11 months ago
Collecting a Why-Question Corpus for Development and Evaluation of an Automatic QA-System
Question answering research has only recently started to spread from short factoid questions to more complex ones. One significant challenge is the evaluation: manual evaluation i...
Joanna Mrozinski, Edward W. D. Whittaker, Sadaoki ...
SAM
2000
89views Hardware» more  SAM 2000»
13 years 11 months ago
HyperMSC - a Graphical Representation of TTCN
The development of an MSC based graphical representation of TTCN is part of the ETSI project STF 156 on 'Specification of a Message Sequence Chart/UML format, including valid...
Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski
GG
2008
Springer
13 years 11 months ago
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
Abstract. Triple graph transformation has become an important approach for model transformations. Triple graphs consist of a source, a target and a connection graph. The correspond...
Hartmut Ehrig, Ulrike Prange