596 search results - page 60 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
181
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper addresses the problem of recovering 3D human pose from a single monocular image, using a discriminative bag-of-words approach. In previous work, the visual words are le...
151
click to vote
KBSE
2007
IEEE
16 years 12 days ago
2007
IEEE
Software systems have become more complex, with myriad features and multiple functionalities. A major challenge in developing and maintaining such complex software is to identify ...
182
Voted
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
163
Voted
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
185
click to vote
VRML
2004
ACM
15 years 11 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...