Sciweavers

2651 search results - page 88 / 531
» Experiences with the Use of a Configuration Language
Sort
View
SIGADA
2007
Springer
14 years 3 months ago
Using SPARK for a beginner's course on reasoning about imperative programs
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
Kung-Kiu Lau
CORR
2000
Springer
67views Education» more  CORR 2000»
13 years 9 months ago
Recognition Performance of 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, Frederick Jelinek
ACL
1997
13 years 10 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
CVPR
2001
IEEE
14 years 11 months ago
Component-based Face Detection
We present a component-based, trainable system for detecting frontal and near-frontal views of faces in still gray images. The system consists of a two-level hierarchy of Support ...
Bernd Heisele, Thomas Serre, Massimiliano Pontil, ...
ECCV
2006
Springer
14 years 11 months ago
Located Hidden Random Fields: Learning Discriminative Parts for Object Detection
This paper introduces the Located Hidden Random Field (LHRF), a conditional model for simultaneous part-based detection and segmentation of objects of a given class. Given a traini...
Ashish Kapoor, John M. Winn