Sciweavers

11017 search results - page 277 / 2204
» Closure Systems and their Structure
Sort
View
AUTOMATICA
2007
75views more  AUTOMATICA 2007»
15 years 6 months ago
Systematic ultimate bound computation for sampled-data systems with quantization
We present a novel systematic method to obtain componentwise ultimate bounds in perturbed sampled-data systems, especially when the perturbations arise due to quantization. The pr...
Hernan Haimovich, Ernesto Kofman, María M. ...
ACL
1998
15 years 7 months ago
A Test Environment for Natural Language Understanding Systems
The Natural Language Understanding Engine Test Environment (ETE) is a GUI software tool that aids in the development and maintenance of large, modular, natural language understand...
Li Li, Deborah A. Dahl, Lewis M. Norton, Marcia C....
ECCV
1994
Springer
16 years 7 months ago
Visual Tracking of High DOF Articulated Structures: an Application to Human Hand Tracking
Passive sensing of human hand and limb motion is important for a wide range of applications from human-computer interaction to athletic performance measurement. High degree of free...
James M. Rehg, Takeo Kanade
POPL
2007
ACM
16 years 6 months ago
Geometry of synthesis: a structured approach to VLSI design
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
Dan R. Ghica
GBRPR
2007
Springer
16 years 5 days ago
Matching of Tree Structures for Registration of Medical Images
Many medical applications require a registration of different images of the same organ. In many cases, such a registration is accomplished by manually placing landmarks in the ima...
Jan Hendrik Metzen, Tim Kröger, Andrea Schenk...