Sciweavers

4987 search results - page 228 / 998
» Support Ordered Resolution
Sort
View
NPAR
2006
ACM
16 years 15 days ago
The electric sheep and their dreams in high fidelity
Electric Sheep is a distributed screen-saver that harnesses idle computers into a render farm with the purpose of animating and evolving artificial life-forms known as sheep. The...
Scott Draves
CAISE
2005
Springer
16 years 2 days ago
Operation-based Merging of Hierarchical Documents
Abstract. Version control systems allow a group of people to work together on a set of documents over a network by merging their changes into the same source repository. The existi...
Claudia-Lavinia Ignat, Moira C. Norrie
LPAR
2005
Springer
16 years 1 days ago
Automating Coherent Logic
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
Marc Bezem, Thierry Coquand
ISMS
2004
Springer
15 years 12 months ago
Real-Time Incision Simulation Using Discontinuous Free Form Deformation
Abstract. Surgical simulations with the aid of computers is a topic of increasingly extensive research. Realtime response and interactivity are crucial components of any such syste...
Guy Sela, Sagi Schein, Gershon Elber
VISUALIZATION
2003
IEEE
15 years 11 months ago
Fairing scalar fields by variational modeling of contours
Volume rendering and isosurface extraction from three-dimensional scalar fields are mostly based on piecewise trilinear representations. In regions of high geometric complexity s...
Martin Bertram