Sciweavers

2096 search results - page 41 / 420
» Structured Parameter Elicitation
Sort
View
SSPR
2000
Springer
15 years 1 months ago
Assessing the Computational Effort for Structural 3D Vehicle Recognition
A model based structural recognition approach is used for 3D detection and localization of vehicles. It is theoretically founded by syntactic pattern recognition using coordinate g...
Eckart Michaelsen, Uwe Stilla
AIPS
2006
14 years 11 months ago
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
In AI Planning, as well as Verification, a successful method is to compile the application into boolean satisfiability (SAT), and solve it with state-of-the-art DPLL-based procedu...
Jörg Hoffmann, Carla P. Gomes, Bart Selman
DCG
2010
121views more  DCG 2010»
14 years 7 months ago
Compression Schemes, Stable Definable Families, and o-Minimal Structures
We show that any family of sets uniformly definable in an ominimal structure has an extended compression scheme of size equal to the number of parameters in the defining formula. ...
H. R. Johnson, M. C. Laskowski
ACL
1997
14 years 11 months ago
A Structured Language Model
A new language model for speech recognition inspired by linguistic analysis is presented. The model develops hidden hierarchical structure incrementally and uses it to extract mea...
Ciprian Chelba
CHI
2007
ACM
15 years 10 months ago
Computer aided observations of complex mobile situations
Designing mobile and wearable applications is a challenge. The context of use is more important than ever and traditional methodologies for elicitation and specification reach the...
Tobias Klug