570 search results - page 66 / 114 » Robustness and Implementability of Timed Automata |
COMPGEOM
2009
ACM
14 years 5 months ago
2009
ACM
We describe a new implementation of the well-known incremental algorithm for constructing Delaunay triangulations in any dimension. Our implementation follows the exact computing ...
ECOOP
2004
Springer
14 years 4 months ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...
IPPS
2008
IEEE
14 years 5 months ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...
CVPR
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper describes a patch-based approach for rapid image correlation or template matching. By representing a template image with an ensemble of patches, the method is robust wi...
ICIP
2009
IEEE
15 years 1 days ago
2009
IEEE
A direct approach for parametric estimation of 2D affine deformations between compound shapes is proposed. It provides the result as a least-square solution of a linear system of ...