Sciweavers

1368 search results - page 178 / 274
» Avoiding Simplicity Is Complex
Sort
View
ACCV
2007
Springer
15 years 8 months ago
Depth from Stationary Blur with Adaptive Filtering
This work achieves an efficient acquisition of scenes and their depths along long streets. A camera is mounted on a vehicle moving along a path and a sampling line properly set in ...
Jiang Yu Zheng, Min Shi
112
Voted
CAV
2007
Springer
121views Hardware» more  CAV 2007»
15 years 8 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
122
Voted
DAGM
2007
Springer
15 years 8 months ago
Curvature Guided Level Set Registration Using Adaptive Finite Elements
Abstract. We consider the problem of non-rigid, point-to-point registration of two 3D surfaces. To avoid restrictions on the topology, we represent the surfaces as a level-set of t...
Andreas Dedner, Marcel Lüthi, Thomas Albrecht...
116
Voted
ILP
2007
Springer
15 years 8 months ago
ILP : - Just Trie It
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
Rui Camacho, Nuno A. Fonseca, Ricardo Rocha, V&iac...
ISSAC
2007
Springer
153views Mathematics» more  ISSAC 2007»
15 years 8 months ago
On exact and approximate interpolation of sparse rational functions
The black box algorithm for separating the numerator from the denominator of a multivariate rational function can be combined with sparse multivariate polynomial interpolation alg...
Erich Kaltofen, Zhengfeng Yang