5687 search results - page 758 / 1138 » Visualizing Evaluation in Scheme |
199
click to vote
SAT
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that incorporates the best SAT and Max-SAT techniques. It can handle hard clauses (clauses of mandatory satisfaction as ...
171
click to vote
WDAG
2007
Springer
16 years 1 months ago
2007
Springer
In contrast to peer-to-peer file sharing, live streaming based on peer-to-peer technology is still awaiting its breakthrough. This may be due to the additional challenges live str...
200
click to vote
CGI
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a purely hardware-accelerated shadow volume algorithm for subdivision surface based models. By introducing SP (subdivision patterns), all procedures, including ...
240
click to vote
DEXAW
2006
IEEE
16 years 1 months ago
2006
IEEE
The effective grouping, or partitioning, of semistructured data is of fundamental importance when providing support for queries. Partitions allow items within the data set that sh...
211
click to vote
ESCIENCE
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we present a checkpoint-based scheme to improve the turnaround time of bag-of-tasks applications executed on institutional desktop grids. We propose to share checkp...