7167 search results - page 548 / 1434 » Answer Set Programming |
133
click to vote
SOFTVIS
2003
ACM
15 years 10 months ago
2003
ACM
Optimizing the performance of shared-memory NUMA programs remains something of a black art, requiring that application writers possess deep understanding of their programs’ beha...
136
click to vote
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
This work describes a generic database service for the lightweight Venice Service Grid, which has been developed at the University of Kaiserslautern, Germany. By using Web service...
128
click to vote
ICFP
1999
ACM
15 years 9 months ago
1999
ACM
Many properties of parametric, polymorphic functions can be determined simply by inspection of their types. Such results are usually proven using Reynolds's parametricity the...
137
click to vote
ANOR
2008
15 years 5 months ago
2008
Abstract Column generation techniques have become a widely used technique to successfully solve large (integer) linear programs. One of the keys to obtaining a practically efficien...
134
click to vote
TOG
2010
14 years 11 months ago
2010
We present a method for automated generation of building layouts for computer graphics applications. Our approach is motivated by the layout design process developed in architectu...