809 search results - page 80 / 162 » Requirements by Contracts allow Automated System Testing |
108
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Distributed Constraint Optimization (DCOP) is useful for solving agent-coordination problems. Any-space DCOP search algorithms require only a small amount of memory but can be spe...
DAC
2006
ACM
16 years 25 days ago
2006
ACM
Multimedia SoCs are characterized by a main controller that directs the activity of several cores, each of which is in charge of a stage in the processing of a media stream. The v...
119
click to vote
CSL
2010
Springer
14 years 12 months ago
2010
Springer
Robust speech recognition in everyday conditions requires the solution to a number of challenging problems, not least the ability to handle multiple sound sources. The specific ca...
KBS
2008
14 years 11 months ago
2008
Image registration is the process of geometrically aligning images taken from different sensors, viewpoints or instances in time. It plays a key role in the detection of defects o...
SOSP
2005
ACM
15 years 8 months ago
2005
ACM
We present a method for automatically extracting from a running system an indexable signature that distills the essential characteristic from a system state and that can be subjec...