Sciweavers

1466 search results - page 170 / 294
» ABL: Alignment-Based Learning
Sort
View
PRDC
2005
IEEE
15 years 12 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 12 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 11 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 11 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 11 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...