Sciweavers

1466 search results - page 170 / 294
» ABL: Alignment-Based Learning
Sort
View
PRDC
2005
IEEE
15 years 3 months ago
On Automating Failure Mode Analysis and Enhancing its Integrity
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
Kam S. Tso, Ann T. Tai, Savio N. Chau, Leon Alkala...
IBPRIA
2005
Springer
15 years 3 months ago
Performance Driven Facial Animation by Appearance Based Tracking
We present a method that estimates high level animation parameters (muscle contractions, eye movements, eye lids opening, jaw motion and lips contractions) from a marker-less face ...
José Miguel Buenaposada, Enrique Muñ...
SAT
2005
Springer
162views Hardware» more  SAT 2005»
15 years 3 months ago
Heuristics for Fast Exact Model Counting
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
Tian Sang, Paul Beame, Henry A. Kautz
KES
2004
Springer
15 years 3 months ago
Representing Knowledge in Controlled Natural Language: A Case Study
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...
Rolf Schwitter
MLMI
2004
Springer
15 years 3 months ago
Mapping from Speech to Images Using Continuous State Space Models
In this paper a system that transforms speech waveforms to animated faces are proposed. The system relies on continuous state space models to perform the mapping, this makes it po...
Tue Lehn-Schiøler, Lars Kai Hansen, Jan Lar...