373 search results - page 21 / 75 » Automatic Generation of Symmetry-Breaking Constraints |
AMAST
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
CHI
1992
ACM
14 years 2 months ago
1992
ACM
We describe enhancements to graphical search and replace that allow users to extend the capabilities of a graphical editor. Interactive constraint-based search and replace can sea...
EVOW
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. A system for automatic composition using grammatical evolution is presented. Compositions are created under the constraints of a generative grammar, and under the bias of...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
It is difficult to view multipage, high resolution documents on devices with small displays. As a solution, we introduce a Multimedia Thumbnail representation, which can be seen a...
VL
1999
IEEE
14 years 2 months ago
1999
IEEE
Recently a new metaphor for diagramming, the intelligent diagram has emerged. This new metaphor provides an excellent basis for diagram beautification since it automatically colle...