816 search results - page 37 / 164 » SAT-Based Image Computation with Application in Reachability... |
187
click to vote
ICIP
1997
IEEE
16 years 7 months ago
1997
IEEE
This paper describes an approach to the extraction of articulated objects which will be used for gait analysis. In most medical applications markers are used to determine trajecto...
145
click to vote
TITB
2008
15 years 5 months ago
2008
Abstract--This paper presents the application of a componentbased Grid middleware system for processing extremely large images obtained from digital microscopy devices. We have dev...
186
click to vote
MVA
2006
15 years 6 months ago
2006
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
163
click to vote
BMVC
2001
15 years 8 months ago
2001
The HLS colour space is widely used in image analysis as it is physically intuitive. As the hue component of this space is defined on the unit circle, standard greyscale image an...
191
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...