896 search results - page 157 / 180 » Stepwise Refinement of Processes |
129
click to vote
KBSE
2010
IEEE
15 years 10 days ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...
123
click to vote
CONCURRENCY
2010
15 years 7 days ago
2010
SCALASCA is a performance toolset that has been specifically designed to analyze parallel application execution behavior on large-scale systems. It offers an incremental performan...
103
click to vote
ICPR
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--In this paper we propose a new multi-view semisupervised learning algorithm called Local Co-Training (LCT). The proposed algorithm employs a set of local models with vect...
122
click to vote
ICRA
2010
IEEE
14 years 12 months ago
2010
IEEE
We present an approach for efficiently recognizing all objects in a scene and estimating their full pose from multiple views. Our approach builds upon a state of the art single-vie...
148
click to vote
ICST
2009
IEEE
14 years 11 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...