950 search results - page 164 / 190 » Process Algebra in PVS |
ECCV
2004
Springer
14 years 8 months ago
2004
Springer
Low-level image processing algorithms generally provide noisy features that are far from being Gaussian. Medium-level tasks such as object detection must therefore be robust to out...
ECCV
2002
Springer
14 years 8 months ago
2002
Springer
The context of this work is lateral vehicle control using a camera as a sensor. A natural tool for controlling a vehicle is recursive filtering. The well-known Kalman fil...
MICCAI
2007
Springer
14 years 8 months ago
2007
Springer
We present a novel automatic multiscale algorithm applied to segmentation of anatomical structures in brain MRI. The algorithm which is derived from algebraic multigrid, uses a gra...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
ISBI
2008
IEEE
14 years 8 months ago
2008
IEEE
Dynamic functional imaging promises powerful tools for the visualization and elucidation of important diseasecausing biological processes, where the pixels often represent a compo...