8780 search results - page 274 / 1756 » On the Feasibility of Consistent Computations |
227
click to vote
RT
2000
Springer
15 years 11 months ago
2000
Springer
Acceleration structures used for ray tracing have been designed and optimized for efficient traversal of static scenes. As it becomes feasible to do interactive ray tracing of movi...
208
click to vote
WSC
2007
15 years 9 months ago
2007
Network reduction techniques are mainly used with exact approaches such as factoring to compute network reliability. However, exact computation of network reliability is feasible ...
199
click to vote
ACMDIS
2008
ACM
15 years 9 months ago
2008
ACM
In this paper, we describe two interface designs for mobile video browsing on pen-based handheld devices. Both feature different interaction types, such as speed- and position-bas...
177
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
We provide a characterization of Horn cores for formulas in conjunctive normal form (CNF) and, based on it, a novel algorithm for computing Horn cores of disjunctions of Horn CNFs ...
179
click to vote
GC
2002
Springer
15 years 7 months ago
2002
Springer
One of the classical problems concerning the peg solitaire game is the feasibility issue. Tools used to show the infeasibility of various peg games include valid inequalities, know...