1972 search results - page 347 / 395 » Hidden semi-Markov models |
PLILP
1995
Springer
15 years 3 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
131
click to vote
STOC
1995
ACM
15 years 3 months ago
1995
ACM
Genomes frequently evolve by reversals (i, j) that transform a gene order 1 . . . iiϩ1 . . . jϪ1j . . . n into 1 . . . ijϪ1 . . . iϩ1j . . ....
UIST
1995
ACM
15 years 3 months ago
1995
ACM
We introduce a new genre of user interface applications that can migrate from one machine to another, taking their user interface and application contexts with them, and continue ...
108
click to vote
EUROCRYPT
2010
Springer
15 years 3 months ago
2010
Springer
We present a family of verifiable random functions which are provably secure for exponentially-large input spaces under a non-interactive complexity assumption. Prior construction...
FLAIRS
2010
15 years 2 months ago
2010
A vision-based machine learner is presented that learns characteristic hand and object movement patterns for using certain objects, and uses this information to recreate the "...