7167 search results - page 528 / 1434 » Answer Set Programming |
138
click to vote
LATA
2009
Springer
15 years 11 months ago
2009
Springer
We study the effects of faulty data on NP-hard sets. We consider hard sets for several polynomial time reductions, add corrupt data and then analyze whether the resulting sets are...
135
click to vote
MP
2008
15 years 4 months ago
2008
We explore one method for finding the convex hull of certain mixed integer sets. The approach is to break up the original set into a small number of subsets, find a compact polyhed...
788
click to vote
Book
"Bxbasic is presented as a programming tutorial, to develop and construct a Console Mode Scripting Engine and
Byte Code Compiler. The Bxbasic dialect, included here, is a sub...
144
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...
136
click to vote
SEUS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. Describing parallel hardware and software is difficult, especially in an embedded setting. Five years ago, we started the shim project to address this challenge by develo...