Sciweavers

4987 search results - page 228 / 998
» Support Ordered Resolution
Sort
View
203
Voted
NPAR
2006
ACM
16 years 1 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
151
Voted
CAISE
2005
Springer
16 years 18 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
206
Voted
LPAR
2005
Springer
16 years 17 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
16 years 13 days 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
175
Voted
VISUALIZATION
2003
IEEE
16 years 10 days 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