Sciweavers

3604 search results - page 183 / 721
» All Common Subsequences
Sort
View
ICASSP
2009
IEEE
16 years 1 months ago
Combining mixture weight pruning and quantization for small-footprint speech recognition
Semi-continuous acoustic models, where the output distributions for all Hidden Markov Model states share a common codebook of Gaussian density functions, are a well-known and prov...
David Huggins-Daines, Alexander I. Rudnicky
ATAL
2009
Springer
16 years 1 months ago
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common an...
Valentin Goranko, Dmitry Shkatov
HAPTICS
2007
IEEE
16 years 23 days ago
Finger Force Direction Recognition by Principal Component Analysis of Fingernail Coloration Pattern
A method based on Principal Component Analysis of the fingernail coloration pattern is presented to infer fingertip force direction during planar contact. Images from 7 subjects...
Yu Sun, John M. Hollerbach, Stephen A. Mascaro
CAIP
2007
Springer
132views Image Analysis» more  CAIP 2007»
16 years 19 days ago
Decomposing a Simple Polygon into Trapezoids
Chazelle’s triangulation [1] forms today the common basis for linear-time Euclidean shortest path (ESP) calculations (where start and end point are given within a simple polygon)...
Fajie Li, Reinhard Klette
WOLLIC
2007
Springer
16 years 17 days ago
Computational Interpretations of Classical Linear Logic
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...
Paulo Oliva