125 search results - page 18 / 25 » Verifying Model Oriented Specifications through Animation |
TCSV
2008
13 years 6 months ago
2008
This paper presents a graphical model for learning and recognizing human actions. Specifically, we propose to encode actions in a weighted directed graph, referred to as action gra...
WWW
2004
ACM
14 years 7 months ago
2004
ACM
This paper presents a Service-Oriented Process Model (SOM) to build a web-services based process management system, called MIDAS that would support distributed Design and Manufact...
SSIAI
2002
IEEE
13 years 11 months 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 ...
BCS
2008
13 years 8 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
CHI
2009
ACM
2009
ACM
Social immersive media: pursuing best practices for multi-user interactive camera/projector exhibits
14 years 7 months ago
Based on ten years' experience developing interactive camera/projector systems for public science and culture exhibits, we define a distinct form of augmented reality focused...