7167 search results - page 633 / 1434 » Answer Set Programming |
164
click to vote
VMCAI
2007
Springer
16 years 15 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
166
click to vote
IPPS
2006
IEEE
16 years 13 days ago
2006
IEEE
This paper describes the high-level execution and communication support provided in JGrid, a serviceoriented dynamic grid framework. One of its core services, the Compute Service,...
140
click to vote
ICMCS
2005
IEEE
16 years 11 hour ago
2005
IEEE
A robust learning-based TV commercial detection approach is proposed in this paper. Firstly a set of basic features that facilitate distinguishing commercials from general program...
148
click to vote
ISLPED
2005
ACM
15 years 12 months ago
2005
ACM
Previous work has shown that intra-program optimizations, i.e., optimizations performed on individual programs in isolation, can be very effective in reducing disk energy in stre...
165
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...