1329 search results - page 153 / 266 » Constraint-based model synthesis |
272
click to vote
VLSI
2012
Springer
14 years 6 days ago
2012
Springer
e technique is based on abstract execution profiles, called event signatures, and it operates at a higher level of abstraction than, for example, commonly used instruction-set sim...
139
click to vote
ISCAS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract– This paper presents an improved topological algorithm for device-level analog placement with symmetry constraints. Based on the exploration of symmetric-feasible sequen...
120
click to vote
ER
2004
Springer
15 years 10 months ago
2004
Springer
This paper uses a knowledge-based approach to querying heterogeneous spatial databases based on an ontology and conceptual and attribute similarities. The ontology, which may be in...
154
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...
147
click to vote
ICPR
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we address the problem of fluid motion estimation in image sequences. For such motions, standard optical flow methods, based on intensity conservation and spatial...