3791 search results - page 565 / 759 » Packing sets of patterns |
130
click to vote
RTSS
2006
IEEE
15 years 10 months ago
2006
IEEE
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...
110
click to vote
SEW
2006
IEEE
15 years 10 months ago
2006
IEEE
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...
117
Voted
SIBGRAPI
2006
IEEE
15 years 10 months ago
2006
IEEE
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...
141
Voted
ACCV
2006
Springer
15 years 10 months ago
2006
Springer
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...
131
click to vote
CSCW
2006
ACM
15 years 10 months ago
2006
ACM
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....