373 search results - page 45 / 75 » Automatic Generation of Symmetry-Breaking Constraints |
165
click to vote
WAC
2004
Springer
15 years 11 months ago
2004
Springer
The Internet network technology today does not allow a sufficient degree of autonomy to express user choices, constraints and preferences in order to dynamically obtain the most su...
179
click to vote
ENTCS
2008
15 years 6 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
192
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
—Recent advances in automated functional testing of Graphical User Interfaces (GUIs) rely on deriving graph models that approximate all possible sequences of events that may be e...
167
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Dermoscopy is a technique used to better visualize pigmented skin lesion and aid the clinician in determining if a lesion is benign or malignant. Automated segmentation of dermosc...
150
click to vote
ICRA
2009
IEEE
16 years 28 days ago
2009
IEEE
Abstract— Robotic manipulation is important for real, physical world applications. General Purpose manipulation with a robot (eg. delivering dishes, opening doors with a key, etc...