592 search results - page 95 / 119 » Can Component Service-Based Systems Be Proved Correct |
DAC
2000
ACM
14 years 10 months ago
2000
ACM
Leading-edge systems-on-chip (SoC) being designed today could reach 20 Million gates and 0.5 to 1 GHz operating frequency. In order to implement such systems, designers are increa...
ACCV
2009
Springer
14 years 3 months ago
2009
Springer
In real world, a scene is composed by many characteristics. Intrinsic images represent these characteristics by two components, reflectance (the albedo of each point) and shading (...
ICC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— In this paper, a simple modulation code called symbol insertion for band-limited single-carrier systems is proposed. This code can reduce the peak-to-average power rati...
ICCV
2007
IEEE
14 years 3 months ago
2007
IEEE
Multi-camera networks offer potentials for a variety of novel human-centric applications through provisioning of rich visual information. In this paper, face orientation analysis ...
IFM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...