5855 search results - page 173 / 1171 » Test generation and minimization with |
176
click to vote
APSEC
2005
IEEE
16 years 4 days ago
2005
IEEE
We describe the “STSC” prototype tool that supports the statistical testing of software components. The tool supports a wide range of operational profiles and test oracles for...
290
click to vote
FOSSACS
2011
Springer
14 years 10 months ago
2011
Springer
Traditional automata accept or reject their input, and are therefore Boolean. In contrast, weighted automata map each word to a value from a semiring over a large domain. The speci...
178
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Accurate denition of similarity measure is a key component
in image registration. Most commonly used intensitybased
similarity measures rely on the assumptions of independence
...
222
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
In this paper we propose a robust visual tracking method
by casting tracking as a sparse approximation problem in a
particle filter framework. In this framework, occlusion, corru...
162
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
: Conventional laparoscopic tools do not have the ability of providing force feedback to a surgeon during surgical procedures. Loss of haptic feedback in MIS procedures is a disadv...