536 search results - page 59 / 108 » A Translational Approach to Constraint Answer Set Solving |
147
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
The puzzle assembly problem has many application areas such as restoration and reconstruction of archeological findings, repairing of broken objects, solving jigsaw type puzzles, ...
112
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
Abstract. Physical database design tools rely on a DBA-provided workload to pick an "optimal" set of indexes and materialized views. Such an approach fails to capture sce...
137
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
140
click to vote
CPAIOR
2010
Springer
15 years 7 months ago
2010
Springer
Cutting plane methods are widely used for solving convex optimization problems and are of fundamental importance, e.g., to provide tight bounds for Mixed-Integer Programs (MIPs). T...
144
Voted
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Attackers often take advantage of vulnerabilities in benign software, and the authors of benign software must search their code for bugs in hopes of finding vulnerabilities before...