Sciweavers

1071 search results - page 93 / 215
» Solving Geometric Constraint Systems
Sort
View
AMFG
2005
IEEE
256views Biometrics» more  AMFG 2005»
15 years 10 months ago
Robust Facial Landmark Detection for Intelligent Vehicle System
Abstract. This paper presents an integrated approach for robustly locating facial landmark for drivers. In the first step a cascade of probability learners is used to detect the f...
Junwen Wu, Mohan M. Trivedi
AUTOMATICA
2004
125views more  AUTOMATICA 2004»
15 years 4 months ago
Hamiltonian discretization of boundary control systems
A fundamental problem in the simulation and control of complex physical systems containing distributed-parameter components concerns finite-dimensional approximation. Numerical me...
Goran Golo, Viswanath Talasila, Arjan van der Scha...
SIAMCO
2002
77views more  SIAMCO 2002»
15 years 3 months ago
Robust Optimal Switching Control for Nonlinear Systems
Abstract. We formulate a robust optimal control problem for a general nonlinear system with finitely many admissible control settings and with costs assigned to switching of contro...
Joseph A. Ball, Jerawan Chudoung, Martin V. Day
CAD
1998
Springer
15 years 4 months ago
CAD and the product master model
We develop an architecture for a product master model that federates CAD systems with downstream application processes for di erent feature views that are part of the design proce...
Christoph M. Hoffmann, Robert Joan-Arinyo
ICFP
2005
ACM
16 years 4 months ago
Combining programming with theorem proving
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
Chiyan Chen, Hongwei Xi