2509 search results - page 292 / 502 » Abstract Geometrical Computation and Computable Analysis |
194
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
201
click to vote
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The effectiveness of service oriented computing relies on the trustworthiness of sharing of data between services. We advocate a semi-automated approach for information d...
164
click to vote
ICUMT
2009
15 years 4 months ago
2009
Abstract--A new approach to the design of wireless data broadcasting systems is introduced. The proposed approach is based on the mathematical analysis of the aforementioned system...
183
click to vote
MVA
2011
15 years 1 months ago
2011
Abstract This paper describes novel implementations of the KLT feature tracking and SIFT feature extraction algorithms that run on the graphics processing unit (GPU) and is suitabl...
163
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—High computational effort in modern image processing applications like medical imaging or high-resolution video processing often demands for massively parallel special p...