Sciweavers

295 search results - page 49 / 59
» Automatic Choice of Control Measurements
Sort
View
95
Voted
ICPR
2006
IEEE
16 years 25 days ago
Boosted Markov Chain Monte Carlo Data Association for Multiple Target Detection and Tracking
In this paper, we present a probabilistic framework for automatic detection and tracking of objects. We address the data association problem by formulating the visual tracking as ...
Bo Wu, Gérard G. Medioni, Isaac Cohen, Qian...
DAC
2003
ACM
16 years 21 days ago
Clock-tree power optimization based on RTL clock-gating
As power consumption of the clock tree in modern VLSI designs tends to dominate, measures must be taken to keep it under control. This paper introduces an approach for reducing cl...
Monica Donno, Alessandro Ivaldi, Luca Benini, Enri...
WWW
2009
ACM
16 years 12 days ago
What's up CAPTCHA?: a CAPTCHA based on image orientation
We present a new CAPTCHA which is based on identifying an image's upright orientation. This task requires analysis of the often complex contents of an image, a task which hum...
Rich Gossweiler, Maryam Kamvar, Shumeet Baluja
VLSID
2007
IEEE
142views VLSI» more  VLSID 2007»
16 years 3 days ago
Controllability-driven Power Virus Generation for Digital Circuits
The problem of peak power estimation in CMOS circuits is essential for analyzing the reliability and performance of circuits at extreme conditions. The Power Virus problem involves...
K. Najeeb, Karthik Gururaj, V. Kamakoti, Vivekanan...
80
Voted
FM
2009
Springer
123views Formal Methods» more  FM 2009»
15 years 6 months ago
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, ...