6014 search results - page 381 / 1203 » Structural Testing with Use Cases |
117
click to vote
MICCAI
2003
Springer
16 years 6 months ago
2003
Springer
We present a method for estimating the 3-D structure of the cortical surface using an operating microscope whose binocular optics are fitted with two CCD cameras. The cortical surf...
148
Voted
WSCG
2003
15 years 6 months ago
2003
In this paper, a recursive algorithm that can build complex tree structure quickly is presented briefly. The plant structural growth is based on a dual-scale automaton, in which ā...
157
click to vote
CPAIOR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper proposes to use local search inside filtering algorithms of combinatorial structures for which achieving a desired level of consistency is too computationally ...
132
Voted
CASCON
1993
15 years 6 months ago
1993
When debugging a distributed application, a display showing the events causing interactions between processes can be very useful. If the number of processes is large, displaying a...
145
Voted
GI
2009
Springer
15 years 9 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints speciļ¬ed by the progra...