1087 search results - page 15 / 218 » Generation under Space Constraints |
123
click to vote
SDM
2004
SIAM
15 years 3 months ago
2004
SIAM
Previous study has shown that mining frequent patterns with length-decreasing support constraint is very helpful in removing some uninteresting patterns based on the observation t...
106
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
113
click to vote
ICST
2009
IEEE
15 years 8 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
160
Voted
SPATIALCOGNITION
2000
Springer
15 years 5 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
ICRA
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents a randomized motion planner for kinodynamic asteroidavoidanceproblems, in which a robot must avoid collision with moving obstacles under kinematic, dynamic con...