3676 search results - page 496 / 736 » Scalable component abstractions |
166
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
Most known constructions of probabilistically checkable proofs (PCPs) either blow up the proof size by a large polynomial, or have a high (though constant) query complexity. In thi...
157
click to vote
WAIM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Broadcasting is a very effective technique to disseminate information to a massive number of clients when the data size is small. However, if the data size is large, the...
164
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...
210
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we address the object recognition problem in a probabilistic framework to detect and describe object appearance through image features organized by means of active c...
204
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes an infrastructure that enables transparent development of image processing software for parallel computers. The infrastructure’s main component is an image ...