373 search results - page 22 / 75 » Automatic Generation of Symmetry-Breaking Constraints |
DSRT
2008
IEEE
13 years 11 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
APCCM
2008
13 years 11 months ago
2008
We identify established tableaux techniques as an invaluable tool for semantic knowledge acquisition in the design process of relational databases. Sample databases allow users an...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
ACL
2003
13 years 11 months ago
2003
Ordering information is a critical task for natural language generation applications. In this paper we propose an approach to information ordering that is particularly suited for ...
SEKE
2010
Springer
13 years 8 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...