3545 search results - page 223 / 709 » Computational methods for case-cohort studies |
226
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
162
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we present a study on the fault tolerance nature of the island model when applied to Genetic Algorithms. Parallel and distributed models have been extensively appli...
189
click to vote
SIBGRAPI
2005
IEEE
16 years 6 days ago
2005
IEEE
In this paper we study the use of computer vision techniques for for underwater visual tracking and counting of fishes in vivo. The methodology is based on the application of a B...
178
click to vote
NOSSDAV
2010
Springer
15 years 11 months ago
2010
Springer
A new paradigm in video streaming is emerging, that of personal video servers in the home streaming video to remote clients on the Internet. The potential impact of such technolog...
165
Voted
EMMCVPR
2001
Springer
15 years 11 months ago
2001
Springer
After [15, 31, 19, 8, 25, 5] minimum cut/maximum flow algorithms on graphs emerged as an increasingly useful tool for exact or approximate energy minimization in low-level vision...