2409 search results - page 270 / 482 » On Extended Regular Expressions |
188
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
247
click to vote
SGP
2007
15 years 9 months ago
2007
Geometric flows are ubiquitous in mesh processing. Curve and surface evolutions based on functional minimization have been used in the context of surface diffusion, denoising, sha...
163
click to vote
FLAIRS
2008
15 years 9 months ago
2008
To facilitate more meaningful interpretation considering the internal interdependency relationships between data values, a new form of high-order (multiple-valued) pattern known a...
200
click to vote
ASAP
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we extend the domain of applicability of the E-method [7, 8], as a hardware-oriented method for evaluating elementary functions using polynomial and rational functio...
199
click to vote
CVPR
2007
IEEE
15 years 8 months ago
2007
IEEE
Topology-preserving geometric deformable models (TGDMs) are used to segment objects that have a known topology. Their accuracy is inherently limited, however, by the resolution of...