4767 search results - page 772 / 954 » Structures for Abstract Rewriting |
MMB
2010
Springer
14 years 10 days ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
ASPDAC
2005
ACM
14 years 10 days ago
2005
ACM
Abstract— The sparsification of the reluctance matrix L−1 (where L denotes the usual inductance matrix L) has been widely used in several recent investigations to make the pro...
CAMP
2005
IEEE
14 years 9 days ago
2005
IEEE
Abstract— This paper describes a work in progress on a multisensor system for 3D data acquisition. The system core structure is a 3D-range scan based on the well known active tri...
CONCUR
2006
Springer
14 years 9 days ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
ECCV
2006
Springer
14 years 9 days ago
2006
Springer
Abstract. Robust face alignment is crucial for many face processing applications. As face detection only gives a rough estimation of face region, one important problem is how to al...