3828 search results - page 304 / 766 » Proof-Based System Engineering Using a Virtual System Model |
173
click to vote
IR
2006
15 years 6 months ago
2006
In this paper we describe and evaluate a Question Answering (QA) system that goes beyond answering factoid questions. Our approach to QA assumes no restrictions on the type of que...
166
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
197
click to vote
JGO
2011
14 years 9 months ago
2011
Abstract In many problems from different disciplines such as engineering, physics, medicine, and biology, a series of experimental data is used in order to generate a model that ca...
161
click to vote
CIDU
2010
15 years 4 months ago
2010
Mathematical models of physical phenomena are of critical importance in virtually all applications of science and technology. This paper addresses the problem of how to use data to...
190
click to vote
EWSA
2004
Springer
16 years 20 hour ago
2004
Springer
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...