5525 search results - page 419 / 1105 » Verification of Model Transformations |
189
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
The objective of this work is automatic detection and identification of individuals in unconstrained consumer video, given a minimal number of labelled faces as training data. Whi...
170
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
This paper presents an approach for modeling landmark sites such as the Statue of Liberty based on large-scale contaminated image collections gathered from the Internet. Our system...
173
click to vote
DAC
2002
ACM
16 years 8 months ago
2002
ACM
Rapid approximation of the transient response of high-speed global interconnects is needed to estimate the time delay, crosstalk, and overshoot in a GSI multilevel wiring network....
182
click to vote
FMSD
2006
15 years 7 months ago
2006
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
166
Voted
ASE
2005
15 years 6 months ago
2005
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...