2008 search results - page 202 / 402 » Computing with Equations |
118
Voted
ISIPTA
1999
IEEE
15 years 7 months ago
1999
IEEE
A solution is provided to the problem of computing a convex set of conditional probability distributions that characterize the state of a nonlinear dynamic system as it evolves in...
110
Voted
ADG
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. This paper describes a complete implementation of Ritt-Wu's characteristic sets method in the Maple system. The implemented algorithms include those with variants fo...
147
Voted
ECOOP
1993
Springer
15 years 6 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
81
Voted
ANTS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We describe the invariants of plane quartic curves -- nonhyperelliptic genus 3 curves in their canonical model -- as determined by Dixmier and Ohno, with application to t...
129
click to vote
3DIM
2001
IEEE
15 years 6 months ago
2001
IEEE
In this paper we propose a robust method for recognition and pose determination of 3-D objects using range images in the eigenspace approach. Instead of computing the coefficients...