3229 search results - page 510 / 646 » The Theory of Timed Automata |
312
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Virtual colonoscopy is a minimally invasive technique allowing early detection of colorectal polyps. A path or centerline through the colon can be very useful to perform ...
186
click to vote
MMMACNS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
219
click to vote
FGR
2000
IEEE
15 years 11 months ago
2000
IEEE
Colorhasbeen widelyused for handsegmentation. However, many approaches rely on predefined skin color models. It is very difficult to predefine a color model in a mobile applica...
200
click to vote
ECBS
2010
IEEE
15 years 11 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
176
click to vote
ISLPED
1999
ACM
15 years 11 months ago
1999
ACM
-- The goal of a dynamic power management policy is to reduce the power consumption of an electronic system by putting system components into different states, each representing ce...