Sciweavers

1071 search results - page 93 / 215
» Solving Geometric Constraint Systems
Sort
View
AMFG
2005
IEEE
256views Biometrics» more  AMFG 2005»
15 years 3 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»
14 years 9 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»
14 years 9 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
14 years 9 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
15 years 9 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