14515 search results - page 238 / 2903 » Efficient Embedded Computing |
174
click to vote
ACCV
2007
Springer
15 years 8 months ago
2007
Springer
In the scope of level set image segmentation, the number of regions is fixed beforehand. This number occurs as a constant in the objective functional and its optimization. In this...
150
Voted
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
—Today, RFID is used to identify a wide range of work pieces or individual products for tracking their movements through the logistics chain. For future purposes the idea of stor...
193
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
The dQUOB system satis es client need for speci c information from high-volume data streams. The data streams we speak of are the ow of data existing during large-scale visualizat...
153
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
166
click to vote
CANDC
2005
ACM
15 years 8 months ago
2005
ACM
The traditional view of the “home computer” is as a selfcontained appliance: computation, on this view, is something that takes place within a desktop box, and that produces i...