660 search results - page 87 / 132 » The Implicit Calculus of Constructions |
JVCA
2008
13 years 8 months ago
2008
We present an efficient multigrid algorithm that is adequate to solve a heavy linear system given in cloth simulation. Although multigrid has been successfully applied to the Pois...
TSP
2008
13 years 8 months ago
2008
Risk-sensitive filters (RSF) put a penalty to higher-order moments of the estimation error compared to conventional filters as the Kalman filter minimizing the mean square error. ...
CC
2002
Springer
13 years 8 months ago
2002
Springer
In this paper we present the fusion of generalized LR parsing and scannerless parsing. This combination supports syntax definitions in which all aspects (lexical and context-free) ...
CAD
1999
Springer
13 years 8 months ago
1999
Springer
This article presents an efficient and robust algorithm that computes the intersection curve of two ruled surfaces. The surface intersection problem is reformulated as a zero-set ...
JCISE
2002
13 years 8 months ago
2002
An approach to modeling heterogeneous objects as multidimensional point sets with multiple attributes (hypervolumes) is presented. Attributes given at each point represent object ...