2740 search results - page 170 / 548 » A Model-Based Approach To Requirements Analysis |
145
Voted
CIVR
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we present an automatic semantic video analysis system to support interdisciplinary research efforts in the field of psychology and media science. The psychological...
137
Voted
NOMS
2000
IEEE
15 years 7 months ago
2000
IEEE
Management of large-scale Network-Centric Systems (NCS) and their applications is an extremely complex and challenging task due to factors such as centralized management architect...
127
Voted
CAD
2002
Springer
15 years 2 months ago
2002
Springer
Many engineering design applications require geometric modeling and mechanical simulation of thin flexible structures, such as those found in the automotive and aerospace industri...
122
Voted
SPIN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
127
click to vote
IDA
2009
Springer
15 years 7 months ago
2009
Springer
Knowledge extraction from data volumes of ever increasing size requires ever more flexible tools to facilitate interactive query. Interactivity enables real-time hypothesis testin...