606 search results - page 26 / 122 » A computable approach to measure and integration theory |
120
click to vote
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
We take a dual view of Markov processes ? advocated by Kozen ? as transformers of bounded measurable functions. We redevelop the theory of labelled Markov processes from this view ...
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
This article presents a novel integrated approach to object of interest extraction, including learning to define target pattern and extracting by combining detection and segmenta...
103
click to vote
FOSSACS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
91
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this note we reinvestigate the task of computing creative telescoping relations in differential-difference operator algebras. Our approach is based on an ansatz that e...
111
Voted
CSDA
2006
15 years 1 months ago
2006
For the last decades, research studies have been developed in which a coalition of Fuzzy Sets Theory and Statistics has been established with different purposes. These namely are:...