Sciweavers

1458 search results - page 160 / 292
» Monads for incremental computing
Sort
View
138
Voted
CONCUR
2008
Springer
15 years 5 months ago
R-Automata
R-automata are finite state machines extended with counters which can be incremented or reset to zero along the transitions. The universality question asks whether there is a cons...
Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
130
Voted
CCCG
2008
15 years 5 months ago
An Efficient Query Structure for Mesh Refinement
We are interested in the following mesh refinement problem: given an input set of points P in Rd , we would like to produce a good-quality triangulation by adding new points in P....
Benoît Hudson, Duru Türkoglu
122
Voted
ESANN
2006
15 years 5 months ago
Efficient Forward Regression with Marginal Likelihood
We propose an efficient forward regression algorithm based on greedy optimization of marginal likelihood. It can be understood as a forward selection procedure which adds a new bas...
Ping Sun, Xin Yao
109
Voted
NSDI
2004
15 years 5 months ago
Session State: Beyond Soft State
The cost and complexity of administration of large systems has come to dominate their total cost of ownership. Stateless and soft-state components, such as Web servers or network ...
Benjamin C. Ling, Emre Kiciman, Armando Fox
145
Voted
VMV
2001
161views Visualization» more  VMV 2001»
15 years 5 months ago
Efficient Generation of 3-D Models Out of Depth Maps
Depth reconstruction or acquisition with a 3-D camera results in a video sequence where each pixel of a frame is annotated with a depth value. We propose an approach to combine th...
Fabian Ernst, Cornelius W. A. M. van Overveld, Pio...