6404 search results - page 143 / 1281 » Blocks |
177
click to vote
IPMI
2003
Springer
16 years 7 months ago
2003
Springer
In this paper, we focus on velocity estimation in ultrasound images sequences. Ultrasound images present many difficulties in image processing because of the typically high level o...
141
click to vote
OSDI
2004
ACM
16 years 6 months ago
2004
ACM
A fundamental piece of information required in intelligent storage systems is the liveness of data. We formalize the notion of liveness within storage, and present two classes of ...
191
click to vote
MOBIHOC
2007
ACM
16 years 5 months ago
2007
ACM
A number of studies have shown the abundance of unused spectrum in the TV bands. This is in stark contrast to the overcrowding of wireless devices in the ISM bands. A recent trend...
177
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
Vehicular networks are emerging as a new distributed system environment with myriad possible applications. Most studies on vehicular networks are carried out via simulation, given...
168
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...