2526 search results - page 391 / 506 » A New Algorithm for Answer Set Computation |
ENTCS
2008
14 years 9 months ago
2008
The well-known notion of critical pairs already allows a static conflict detection, which is important for all kinds of applications and already implemented in AGG. Unfortunately ...
99
Voted
SIGGRAPH
1997
ACM
15 years 2 months ago
1997
ACM
We present a new Monte Carlo method for solving the light transport problem, inspired by the Metropolis sampling method in computational physics. To render an image, we generate a...
IMSCCS
2006
IEEE
15 years 4 months ago
2006
IEEE
Background: DNA Microarray technology is an innovative methodology in experimental molecular biology, which has produced huge amounts of valuable data in the profile of gene expre...
110
Voted
SIGIR
2012
ACM
13 years 19 days ago
2012
ACM
The intent-oriented search diversification methods developed in the field so far tend to build on generative views of the retrieval system to be diversified. Core algorithm compon...
89
Voted
SIGGRAPH
1997
ACM
15 years 2 months ago
1997
ACM
Interactively manipulating the geometry of complex, globally illuminated scenes has to date proven an elusive goal. Previous attempts have failed to provide interactive updates of...