592 search results - page 95 / 119 » Can Component Service-Based Systems Be Proved Correct |
119
click to vote
DAC
2000
ACM
16 years 4 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...
112
click to vote
ACCV
2009
Springer
15 years 10 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 (...
137
Voted
ICC
2008
IEEE
15 years 10 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...
137
Voted
ICCV
2007
IEEE
15 years 9 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 ...
133
click to vote
IFM
2004
Springer
15 years 9 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...