489 search results - page 55 / 98 » Computing robust basestock levels |
CBMS
2006
IEEE
14 years 4 months ago
2006
IEEE
Recognition of shapes in images is an important problem in computer vision with application in various medical problems, including robotic surgery and cell analysis. The similarit...
TRUSTBUS
2005
Springer
14 years 3 months ago
2005
Springer
The executions of operating system services based on smart cards allow one to personalize some functionalities of the operating system by using the secret information stored in a s...
IPMI
2003
Springer
14 years 3 months ago
2003
Springer
A novel method for the segmentation of multiple objects from 3D medical images using inter-object constraints is presented. Our method is motivated by the observation that neighbor...
CVPR
2007
IEEE
15 years 13 days ago
2007
IEEE
The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach...
PODC
1999
ACM
14 years 2 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...