2123 search results - page 296 / 425 » Composition of Cyber-Physical Systems |
163
click to vote
STOC
2006
ACM
16 years 4 months ago
2006
ACM
The PCP theorem [3, 2] says that every language in NP has a witness format that can be checked probabilistically by reading only a constant number of bits from the proof. The cele...
130
Voted
SI3D
1997
ACM
15 years 8 months ago
1997
ACM
A pair of rendered images and their Z-buffers contain almost all of the information necessary to re-render from nearby viewpoints. For the small changes in viewpoint that occur in...
142
Voted
ICIP
2007
IEEE
16 years 6 months ago
2007
IEEE
The segmentation and recognition modules are usually implemented sequentially in most traditional automatic license recognition (LPR) systems. In this work, we integrate segmentat...
118
click to vote
ICSE
2009
IEEE-ACM
16 years 5 months ago
2009
IEEE-ACM
Research in the fields of software quality and maintainability requires the analysis of large quantities of data, which often originate from open source software projects. Pre-pro...
126
Voted
ICSE
2009
IEEE-ACM
16 years 5 months ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...