5600 search results - page 17 / 1120 » Synthesizing robust systems |
ECOOP
1998
Springer
13 years 12 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
Constant-coefficient multipliers are fundamental components in digital signal processing and arithmetic-based systems. Their verification, however, remains difficult and time-cons...
CIVR
2007
Springer
14 years 1 months ago
2007
Springer
In this project (VIRSI) we investigate the promising contentbased retrieval paradigm known as interactive search or relevance feedback, and aim to extend it through the use of syn...
HICSS
2003
IEEE
14 years 28 days ago
2003
IEEE
Automatically creating images that give a sense of content can be useful in a number of settings. Such images can summarize a larger collection of media in novel ways, giving an e...
FGR
2000
IEEE
14 years 1 days ago
2000
IEEE
A novel approach is presented for estimating human body posture and motion from a video sequence. Human pose is defined as the instantaneous image plane configuration of a singl...