2834 search results - page 396 / 567 » Representing Trees with Constraints |
152
click to vote
ATS
2005
IEEE
16 years 23 hour ago
2005
IEEE
— Structural transformation of a design to enhance its testability while satisfying design constraints on power and performance, can result in improved test cost and test confid...
167
click to vote
ICRA
2005
IEEE
16 years 25 min ago
2005
IEEE
— A good localization ability is essential for an autonomous vehicle to perform any functions. For ground vehicles operating in outdoor, uneven and unstructured environments, the...
178
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
152
click to vote
WACV
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper, we present a novel solution of image segmentation based on positiveness by regarding the segmentation as one of the graph-theoretic clustering problems. On the cont...
153
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...