Sciweavers

7167 search results - page 110 / 1434
» Answer Set Programming
Sort
View
MICRO
1994
IEEE
99views Hardware» more  MICRO 1994»
14 years 1 days ago
Data relocation and prefetching for programs with large data sets
Numerical applications frequently contain nested loop structures that process large arrays of data. The execution of these loop structures often produces memory preference pattern...
Yoji Yamada, John Gyllenhall, Grant Haab, Wen-mei ...
ELP
1992
14 years 5 hour ago
Embedding Finite Sets in a Logic Programming Language
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontell...
AAAI
2006
13 years 9 months ago
Elementary Sets of Logic Programs
Martin Gebser, Joohyung Lee, Yuliya Lierler
IPCO
1996
92views Optimization» more  IPCO 1996»
13 years 9 months ago
Test Sets and Inequalities for Integer Programs
abstract Preprint SC-95-36 (Dezember 1995)
Rekha R. Thomas, Robert Weismantel