4962 search results - page 749 / 993 » Stochastic Model Checking |
ENTCS
2007
13 years 9 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
CVPR
2001
IEEE
14 years 11 months ago
2001
IEEE
Texture replacement in real images has many applications, such as interior design, digital movie making and computer graphics. The goal is to replace some specified texture patter...
ICIP
2004
IEEE
14 years 11 months ago
2004
IEEE
The aim of Optical Motion Capture is to sequentially estimate the true state X of the subject (generally an articulated body) at any time instant tk from a set of data Dk, capture...
MICCAI
2004
Springer
14 years 10 months ago
2004
Springer
Abstract. Deformable template models are valuable tools in medical image segmentation. Current methods elegantly incorporate global shape and appearance, but can not cope with loca...
KDD
2007
ACM
14 years 9 months ago
2007
ACM
Abstract. As more and more person-specific data like health information becomes available, increasing attention is paid to confidentiality and privacy protection. One proposed mode...