2834 search results - page 396 / 567 » Representing Trees with Constraints |
170
Voted
ATS
2005
IEEE
16 years 21 days 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...
188
Voted
ICRA
2005
IEEE
16 years 20 days 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...
204
click to vote
KBSE
2005
IEEE
16 years 20 days 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...
175
click to vote
WACV
2005
IEEE
16 years 19 days 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...
180
Voted
BIRTHDAY
2005
Springer
16 years 18 days 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...