437 search results - page 27 / 88 » Automatic Generation of Implied Constraints |
APCCM
2008
13 years 10 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 8 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 9 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 6 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...
SIGMOD
2011
ACM
12 years 11 months ago
2011
ACM
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...