15792 search results - page 281 / 3159 » Computational Abstraction Steps |
197
click to vote
CONTEXT
1999
Springer
15 years 11 months ago
1999
Springer
Appeared in: P. Bouquet, P. Br´ezillon, L. Serafini, M. Benerecetti, F. Castellani (Eds.), 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONT...
221
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
A key step in the design of multi-rate real-time systems is the determination of buffer capacities. In our multi-processor system, we apply back-pressure as caused by bounded buff...
214
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decompos...
158
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
In this paper, we present a surface reflectance descriptor based on the control points resulting from the interpolation of Non-Uniform Rational B-Spline (NURBS) curves to multispe...
199
click to vote
ECCV
2006
Springer
16 years 9 months ago
2006
Springer
Efficient direct solutions for the determination of a cylinder from points are presented. The solutions range from the well known direct solution of a quadric to the minimal soluti...