Sciweavers

10392 search results - page 1912 / 2079
» Introduction to Computer Science
Sort
View
AI
2008
Springer
15 years 25 days ago
What makes propositional abduction tractable
Abduction is a fundamental form of nonmonotonic reasoning that aims at finding explanations for observed manifestations. This process underlies many applications, from car configu...
Gustav Nordh, Bruno Zanuttini
105
Voted
COMPUTING
2008
94views more  COMPUTING 2008»
15 years 24 days ago
Two new methods for constructing double-ended priority queues from priority queues
We introduce two data-structural transformations to construct doubleended priority queues from priority queues. To apply our transformations the priority queues exploited must sup...
Amr Elmasry, Claus Jensen, Jyrki Katajainen
114
Voted
DC
2008
15 years 23 days ago
On implementing omega in systems with weak reliability and synchrony assumptions
We study the feasibility and cost of implementing --a fundamental failure detector at the core of many algorithms--in systems with weak reliability and synchrony assumptions. Intui...
Marcos Kawazoe Aguilera, Carole Delporte-Gallet, H...
105
Voted
ENVSOFT
2006
131views more  ENVSOFT 2006»
15 years 21 days ago
Hydrological models are so good, do we still need data?
Our ability to numerically model natural systems has progressed enormously over the last 10e20 years. During the last decade computational power has increased to the stage where w...
R. P. Silberstein
109
Voted
COMPUTING
2007
101views more  COMPUTING 2007»
15 years 21 days ago
Reverse engineering with subdivision surfaces
Reverse engineering is concerned with the reconstruction of surfaces from three-dimensional point clouds originating from laser-scanned objects. We present an adaptive surface rec...
P. Keller, Martin Bertram, Hans Hagen
« Prev « First page 1912 / 2079 Last » Next »