12670 search results - page 313 / 2534 » Requirements Modeling |
193
click to vote
IJCAI
2001
15 years 8 months ago
2001
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
178
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
201
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose a novel utterance comparison model based on probability theory and factor analysis that computes the likelihood of two speech utterances originating from the same speak...
204
click to vote
KES
2007
Springer
16 years 26 days ago
2007
Springer
Biological systems consist of many components and interactions between them. In Systems Biology the principal problem is modeling complex biological systems and reconstructing inte...
205
click to vote
CGVR
2006
15 years 8 months ago
2006
- This paper describes the capabilities of a parametric model developed to perform design and analysis tasks in the areas of advanced engineering activities during the development ...