Sciweavers

61 search results - page 7 / 13
» Sensitivity analysis of differential-algebraic equations and...
Sort
View
LISP
2008
104views more  LISP 2008»
13 years 7 months ago
On the implementation of automatic differentiation tools
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...
Christian H. Bischof, Paul D. Hovland, Boyana Norr...
ICCV
2009
IEEE
15 years 14 days ago
A linear formulation of shape from specular flow
When a curved mirror-like surface moves relative to its environment, it induces a motion field—or specular flow— on the image plane that observes it. This specular flow is r...
Guillermo D. Canas, Yuriy Vasilyev, Yair Adato, To...
ICIP
2005
IEEE
14 years 9 months ago
Enhancement of cell boundaries in transmission electron microscopy images
Transmission electron microscopy (TEM) is an important modality for the analysis of cellular structures in neurobiology. The computational analysis of neurons entail their segment...
Tolga Tasdizen, Ross T. Whitaker, Robert Marc, Bry...
SSIAI
2002
IEEE
14 years 11 days ago
Active Contours for Cell Tracking
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 ...
Nilanjan Ray, Scott T. Acton
CAV
2010
Springer
227views Hardware» more  CAV 2010»
13 years 5 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé