5398 search results - page 334 / 1080 » Markov Face Models |
201
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
159
click to vote
ASAP
2007
IEEE
16 years 1 months ago
2007
IEEE
Profile based Hidden Markov Model is a widely used tool in bioinformatics. While being very valuable to biologists, it is extremely compute intensive and suffers from prohibitive...
192
click to vote
AB
2007
Springer
16 years 29 days ago
2007
Springer
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...
149
click to vote
ACII
2007
Springer
16 years 29 days ago
2007
Springer
In this paper we describe an artistic exhibition that took place in our highly-immersive virtual-reality laboratory. We have allowed visitors to explore a virtual landscape based o...
179
click to vote
ISMIR
2005
Springer
16 years 8 days ago
2005
Springer
In the “query-by-humming” problem, we attempt to retrieve a specific song from a target set based on a sung query. Recent evaluations of query-by-humming systems show that th...