809 search results - page 29 / 162 » 04421 Abstracts Collection - Algebraic Methods in Computatio... |
116
click to vote
FMCO
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
104
click to vote
RECOMB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Given the substantial computational requirements of stochastic simulation, approximation is essential for efficient analysis of any realistic biochemical system. This pap...
ACIVS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This article presents a new algorithm for spatial deinterlacing that could easily be integrated in a more complete deinterlacing system, typically a spatio-temporal motio...
129
click to vote
ICCV
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract. Visual detection and tracking of humans in complex scenes is a challenging problem with a wide range of applications, for example surveillance and human-computer interact...
149
click to vote
SAC
2008
ACM
15 years 23 days ago
2008
ACM
Abstract. In this paper we discuss new adaptive proposal strategies for sequential Monte Carlo algorithms--also known as particle filters--relying on new criteria evaluating the qu...