Sciweavers

4987 search results - page 228 / 998
» Support Ordered Resolution
Sort
View
NPAR
2006
ACM
15 years 10 months 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
15 years 9 months 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
139
Voted
LPAR
2005
Springer
15 years 9 months 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 9 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 9 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