3527 search results - page 371 / 706 » Test Automation in Practice |
138
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
167
click to vote
DLOG
2000
15 years 5 months ago
2000
In this paper, we demonstrate that the main standard optimization techniques dependency directed backtracking and model merging can be adapted to description logics with concrete ...
136
Voted
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Recently, discriminative training (DT) methods have achieved tremendous progress in automatic speech recognition (ASR). In this survey article, all mainstream DT methods in speech...
149
click to vote
ICIP
2004
IEEE
16 years 6 months ago
2004
IEEE
In this proposal a novel implementation to find and recognize person actions in image sequences of meeting scenarios is introduced. Such extracted information can be used as the b...
101
Voted
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
Some of the most convincing film and video effects are created in digital post-production by removing apparatus that supports or manipulates actors and objects. Wires and people, ...