4962 search results - page 362 / 993 » Stochastic Model Checking |
125
Voted
IJDMB
2010
15 years 2 months ago
2010
: Since we are limited in our knowledge of human demographic history and variations of recombination and mutation rates, large-scale computer simulation is a necessary tool in gene...
133
Voted
NIPS
1996
15 years 4 months ago
1996
Model learning combined with dynamic programming has been shown to be e ective for learning control of continuous state dynamic systems. The simplest method assumes the learned mod...
BMVC
2000
15 years 4 months ago
2000
This paper investigates the use of the Space Carving algorithm with outdoor image sequences, using a lambertian lighting model. A new consistency function is proposed that uses a ...
131
Voted
ECCV
2004
Springer
16 years 5 months ago
2004
Springer
We introduce a novel approach to modeling the dynamics of human facial motion induced by the action of speech for the purpose of synthesis. We represent the trajectories of a numbe...
124
Voted
WIOPT
2005
IEEE
15 years 9 months ago
2005
IEEE
Wireless ad hoc networks raised a series of challenging research tracks. In order to analyze and validate research results achieved, thorough performance evaluation efforts are ne...