433 search results - page 82 / 87 » Static Information Flow Analysis of Workflow Models |
SSIAI
2002
IEEE
14 years 11 days ago
2002
IEEE
This paper introduces an active contour or snakebased method for tracking cells within a video sequence. Specifically, we apply our cell tracking techniques to rolling leukocytes ...
CVPR
1998
IEEE
14 years 9 months ago
1998
IEEE
We have developed a computer vision system, including both facial feature extraction and recognition, that automatically discriminates among subtly different facial expressions. E...
AROBOTS
2007
13 years 7 months ago
2007
— A team of small, low-cost robots instead of a single large, complex robot is useful in operations such as search and rescue, urban exploration etc. However, the performance of ...
BIRTHDAY
2010
Springer
14 years 8 days ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...