2526 search results - page 391 / 506 » A New Algorithm for Answer Set Computation |
108
Voted
ENTCS
2008
15 years 1 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 ...
152
Voted
SIGGRAPH
1997
ACM
15 years 6 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...
120
Voted
IMSCCS
2006
IEEE
15 years 8 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...
150
click to vote
SIGIR
2012
ACM
13 years 4 months 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...
116
Voted
SIGGRAPH
1997
ACM
15 years 6 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...