886 search results - page 84 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
100
click to vote
ER
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
IS
2007
14 years 9 months ago
2007
Enterprise Systems (ES) are comprehensive off-the-shelf packages that have to be configured to suit the requirements of an organization. Most ES solutions provide reference models...
BMCBI
2007
14 years 10 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
RIVF
2007
14 years 11 months ago
2007
This paper illustrates the use of acoustic modeling of spoken dialog systems. One major problem with using speech three different structures, including syllables, fillers and recog...
101
click to vote
KCAP
2005
ACM
15 years 3 months ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...