6740 search results - page 541 / 1348 » Using Classification as a Programming Language |
129
click to vote
LPNMR
2007
Springer
15 years 11 months ago
2007
Springer
Answer-set programming (ASP) has become an important paradigm for declarative problem solving in recent years. However, to further improve the usability of answer-set programs, the...
161
Voted
CC
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
175
click to vote
ICS
1994
Tsinghua U.
15 years 9 months ago
1994
Tsinghua U.
This paper describes the design of a compiler which can translate out-of-core programs written in a data parallel language like HPF. Such a compiler is required for compiling larg...
137
click to vote
ACTA
2010
15 years 5 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
131
click to vote
NCA
2010
IEEE
14 years 11 months ago
2010
IEEE
Programmability is an increasingly important barrier to the deployment of multi-robot systems, as no prior approach allows routine composition and reuse of general aggregate behavi...