Sciweavers

3791 search results - page 565 / 759
» Packing sets of patterns
Sort
View
RTSS
2006
IEEE
15 years 10 months ago
System-Level Energy Management for Periodic Real-Time Tasks
In this paper, we consider the system-wide energy management problem for a set of periodic real-time tasks running on a DVS-enabled processor. Our solution uses a generalized powe...
Hakan Aydin, Vinay Devadas, Dakai Zhu
SEW
2006
IEEE
15 years 10 months ago
Retrenching the Purse: Finite Exception Logs, and Validating the Small
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
Richard Banach, Michael Poppleton, Susan Stepney
117
Voted
SIBGRAPI
2006
IEEE
15 years 10 months ago
Extracting Discriminative Information from Medical Images: A Multivariate Linear Approach
Statistical discrimination methods are suitable not only for classification but also for characterisation of differences between a reference group of patterns and the population u...
Carlos E. Thomaz, Nelson A. O. Aguiar, Sergio H. A...
141
Voted
ACCV
2006
Springer
15 years 10 months ago
A Local Basis Representation for Estimating Human Pose from Cluttered Images
Recovering the pose of a person from single images is a challenging problem. This paper discusses a bottom-up approach that uses local image features to estimate human upper body p...
Ankur Agarwal, Bill Triggs
CSCW
2006
ACM
15 years 10 months ago
Enlightening a co-located community with a semi-public notification system
This work seeks to strengthen interaction within a research community through a centrally-located physical device that presents online presence information in a semi-public space....
Goldie B. Terrell, D. Scott McCrickard