5900 search results - page 1139 / 1180 » Dependable Systems |
3DPVT
2002
IEEE
14 years 2 months ago
2002
IEEE
Increasingly, models of the world are directly built from images. The paper discusses a number of recent developments that try to push the enveloppe of what image-based modeling c...
3DPVT
2002
IEEE
14 years 2 months ago
2002
IEEE
3D video is the ultimate image medium recording dynamic visual events in the real world as is. Recorded object behaviors can be observed from any viewpoint, because 3D video recor...
DSN
2002
IEEE
14 years 2 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
MICRO
2002
IEEE
14 years 2 months ago
2002
IEEE
The key issues for register file design in high-performance processors are access time and energy. While previous work has focused on reducing the number of registers, we propose...
ICDT
2010
ACM
14 years 2 months ago
2010
ACM
The paper formulates and investigates the aggregation problem for synthesized mediators of Web services (SWMs). An SWM is a finite-state transducer defined in terms of templates...