Sciweavers

232 search results - page 39 / 47
» Using logical relevance for question answering
Sort
View
SEKE
2004
Springer
14 years 4 months ago
Case Study Methodology Designed Research in Software Engineering Methodology Validation
One of the challenging research problems in validating a software engineering methodology (SEM), and a part of its validation process, is to answer “How to fairly collect, presen...
Seok Won Lee, David C. Rine
BIOCOMP
2006
14 years 5 days ago
A Clinical Decision Support System For Managing Flexor Tendon Injuries
A Clinical Decision Support System has been developed using the Exsys software for the flexor tendon injuries in Zone II encompassing the continuum from injury to complete rehabil...
Prashant Junankar, Dinesh P. Mital, Syed Haque, Sh...
EMSOFT
2001
Springer
14 years 3 months ago
Interface Theories for Component-Based Design
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
Luca de Alfaro, Thomas A. Henzinger
FLAIRS
2007
14 years 1 months ago
Indexing Documents by Discourse and Semantic Contents from Automatic Annotations of Texts
The basic aim of the model proposed here is to automatically build semantic metatext structure for texts that would allow us to search and extract discourse and semantic informati...
Brahim Djioua, Jean-Pierre Desclés
ICLP
2007
Springer
14 years 5 months ago
Declarative Diagnosis of Temporal Concurrent Constraint Programs
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...