2526 search results - page 342 / 506 » A New Algorithm for Answer Set Computation |
154
Voted
PG
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a new approach to isosurface visualization that we call “iso-splatting.” We use point primitives for representing and rendering isosurfaces. The method consists of ...
161
click to vote
SIBGRAPI
2003
IEEE
15 years 11 months ago
2003
IEEE
We report on new results on the use of Algebraic Reconstruction Techniques (ART) for reconstructing from helical cone-beam Computerized Tomography (CT) data. We investigate two va...
183
click to vote
NOSSDAV
2010
Springer
15 years 4 months ago
2010
Springer
In P2P assisted multi-channel live streaming systems, it is commonly believed that in unpopular channels, quality degradation is due to the small number of participating peers wit...
180
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
315
click to vote
PVLDB
2011
15 years 1 months ago
2011
With the recent surge of social networks such as Facebook, new forms of recommendations have become possible – recommendations that rely on one’s social connections in order t...