33 search results - page 3 / 7 » On countable choice and sequential spaces |
ENTCS
1998
13 years 6 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
IJCV
2008
13 years 7 months ago
2008
The recent development of Sequential Monte Carlo methods (also called particle filters) has enabled the definition of efficient algorithms for tracking applications in image sequen...
APAL
2010
13 years 7 months ago
2010
Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to ...
CIARP
2007
Springer
13 years 11 months ago
2007
Springer
The sequential approach to colour texture classification relies on colour histogram clustering before extracting texture features from indexed images. The basic idea of such method...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Phylospaces is a novel framework for reconstructing evolutionary trees in tuple space, a distributed shared memory that permits processes to communicate and coordinate with each o...