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 1 months 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
176
Voted
CAIP
2007
Springer
132views Image Analysis» more  CAIP 2007»
16 years 1 months 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 1 months 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