Sciweavers

53 search results - page 4 / 11
» A Constraint Satisfaction Approach to Parametric Differentia...
Sort
View
KI
2010
Springer
14 years 4 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer
CDC
2009
IEEE
131views Control Systems» more  CDC 2009»
15 years 2 months ago
An algebraic approach for the NCE principle with massive subpopulations
— We study large population stochastic dynamic games where each agent receives influences from multi-classes of agents according to intra- and inter-subpopulation cost coupling....
Minyi Huang
CAD
2010
Springer
14 years 9 months ago
3D ball skinning using PDEs for generation of smooth tubular surfaces
We present an approach to compute a smooth, interpolating skin of an ordered set of 3D balls. By construction, the skin is constrained to be C1 continuous, and for each ball, it i...
Gregory G. Slabaugh, Brian Whited, Jarek Rossignac...
DAC
2004
ACM
15 years 3 months ago
Parametric yield estimation considering leakage variability
Leakage current has become a stringent constraint in today’s processor designs in addition to traditional constraints on frequency. Since leakage current exhibits a strong inver...
Rajeev R. Rao, Anirudh Devgan, David Blaauw, Denni...
ICCV
2005
IEEE
15 years 11 months ago
A Shape-Based Segmentation Approach: An Improved Technique Using Level Sets
We propose a novel approach for shape-based segmentation based on a specially designed level set function format. This format permits us to better control the process of object re...
Hossam E. Abd El Munim, Aly A. Farag