338 search results - page 64 / 68 » Differential equations for algebraic functions |
TOG
2002
13 years 7 months ago
2002
We present a level set framework for implementing editing operators for surfaces. Level set models are deformable implicit surfaces where the deformation of the surface is control...
TPHOL
2005
IEEE
14 years 28 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
SSIAI
2002
IEEE
14 years 7 days ago
2002
IEEE
This paper introduces an active contour or snakebased method for tracking cells within a video sequence. Specifically, we apply our cell tracking techniques to rolling leukocytes ...
CDC
2008
IEEE
13 years 8 months ago
2008
IEEE
Abstract— We study asymptotic stability of an infinite dimensional system that switches between a finite set of modes. Each mode is governed by a system of one-dimensional, lin...
IPSN
2004
Springer
14 years 21 days ago
2004
Springer
We consider the rate-distortion problem for sensing the continuous space-time physical temperature in a circular ring on which a heat source is applied over space and time, and wh...