4809 search results - page 688 / 962 » CajunBot: Architecture and algorithms |
167
click to vote
ATAL
2004
Springer
16 years 1 days ago
2004
Springer
To anticipate and prevent acts of terrorism, Indications and Warnings analysts try to connect clues gleaned from massive quantities of complex data. Multi-agent approaches to supp...
157
click to vote
CAV
2004
Springer
16 years 1 days ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
159
click to vote
CPAIOR
2004
Springer
16 years 1 days ago
2004
Springer
ng Abstractions for Local Search Pascal Van Hentenryck1 and Laurent Michel2 1 Brown University, Box 1910, Providence, RI 02912 2 University of Connecticut, Storrs, CT 06269-3155 Ab...
181
Voted
EGH
2004
Springer
16 years 1 days ago
2004
Springer
The only surface primitives that are supported by common graphics hardware are triangles and more complex shapes have to be triangulated before being sent to the rasterizer. Even ...
223
click to vote
EGPGV
2004
Springer
16 years 1 days ago
2004
Springer
We describe a system for the texture-based direct volume visualization of large data sets on a PC cluster equipped with GPUs. The data is partitioned into volume bricks in object ...