6014 search results - page 950 / 1203 » Structural Testing with Use Cases |
146
click to vote
ICIP
2002
IEEE
16 years 6 months ago
2002
IEEE
In this paper, we address the issue of joint space-time segmentation of image sequences. Typical approaches to such segmentation consider two image frames at a time, and perform t...
138
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
150
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
139
click to vote
ALT
2008
Springer
16 years 1 months ago
2008
Springer
In this paper we consider the problem of learning hidden independent cascade social networks using exact value injection queries. These queries involve activating and suppressing a...
120
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— EMG-to-force estimation for voluntary muscle contraction has many applications in human-machine interaction, motion analysis, and rehabilitation robotics for prosthetic limbs o...