3604 search results - page 183 / 721 » All Common Subsequences |
127
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
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...
115
Voted
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
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...
136
Voted
HAPTICS
2007
IEEE
15 years 11 months ago
2007
IEEE
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...
139
click to vote
CAIP
2007
Springer
15 years 10 months ago
2007
Springer
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)...
139
click to vote
WOLLIC
2007
Springer
15 years 10 months ago
2007
Springer
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 ...