Sciweavers

1582 search results - page 140 / 317
» Mathematical Tools for Physics
Sort
View
129
Voted
ISOLA
2010
Springer
15 years 1 months ago
Ten Years of Performance Evaluation for Concurrent Systems Using CADP
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
Nicolas Coste, Hubert Garavel, Holger Hermanns, Fr...
144
Voted
CVPR
2007
IEEE
16 years 5 months ago
On Stabilisation of Parametric Active Contours
Parametric active contours have been used extensively in computer vision for different tasks like segmentation and tracking. However, all parametric contours are known to suffer f...
Viswanathan Srikrishnan, Subhasis Chaudhuri, Suman...
ICCV
1999
IEEE
16 years 5 months ago
The Hamilton-Jacobi Skeleton
The eikonal equation and variants of it are of significant interest for problems in computer vision and image processing. It is the basis for continuous versions of mathematical m...
Kaleem Siddiqi, Sylvain Bouix, Allen Tannenbaum, S...
140
Voted
DAC
2008
ACM
16 years 4 months ago
Path smoothing via discrete optimization
A fundamental problem in timing-driven physical synthesis is the reduction of critical paths in a design. In this work, we propose a powerful new technique that moves (and can als...
Michael D. Moffitt, David A. Papa, Zhuo Li, Charle...
MOBIHOC
2006
ACM
16 years 2 months ago
Analysis of random mobility models with PDE's
In this paper we revisit two classes of mobility models which are widely used to represent users' mobility in wireless networks: Random Waypoint (RWP) and Random Direction (R...
Michele Garetto, Emilio Leonardi