Sciweavers

13489 search results - page 2252 / 2698
» Operating System
Sort
View
EC
2008
146views ECommerce» more  EC 2008»
15 years 7 months ago
Automated Discovery of Local Search Heuristics for Satisfiability Testing
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
Alex S. Fukunaga
COMPUTING
2006
100views more  COMPUTING 2006»
15 years 6 months ago
Interval Arithmetic with Containment Sets
The idea of containment sets (csets) is due to Walster and Hansen, and the theory is mainly due to the first author. Now that floating point computation with infinities is widely a...
John D. Pryce, George F. Corliss
PAMI
2000
129views more  PAMI 2000»
15 years 6 months ago
Constraint-Based Sensor Planning for Scene Modeling
We describe an automated scene modeling system that consists of two components operating in an interleaved fashion: an incremental modeler that builds solid models from range imag...
Michael K. Reed, Peter K. Allen
ICDE
2005
IEEE
122views Database» more  ICDE 2005»
16 years 8 months ago
Uncovering Database Access Optimizations in the Middle Tier with TORPEDO
A popular architecture for enterprise applications is one of a stateless object-based server accessing persistent data through Object-Relational mapping software. The reported ben...
Bruce E. Martin
VIS
2009
IEEE
304views Visualization» more  VIS 2009»
16 years 8 months ago
GL4D: A GPU-based Architecture for Interactive 4D Visualization
This paper describes GL4D, an interactive system for visualizing 2-manifolds and 3-manifolds embedded in four Euclidean dimensions and illuminated by 4D light sources. It is a tetr...
Alan Chu, Chi-Wing Fu, Andrew J. Hanson, Pheng-...
« Prev « First page 2252 / 2698 Last » Next »