748 search results - page 73 / 150 » Time and Probability in Process Algebra |
88
Voted
JAR
2006
15 years 14 days ago
2006
We use some recent techniques from process algebra to draw several conclusions about the well studied class of ping-pong protocols introduced by Dolev and Yao. In particular we sho...
207
Voted
PODS
2009
ACM
16 years 1 months ago
2009
ACM
Querying uncertain data has emerged as an important problem in data management due to the imprecise nature of many measurement data. In this paper we study answering range queries...
168
click to vote
CORR
2012
Springer
13 years 8 months ago
2012
Springer
A typical web search engine consists of three principal parts: crawling engine, indexing engine, and searching engine. The present work aims to optimize the performance of the cra...
204
Voted
ICDE
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract-- Skyline computation has many applications including multi-criteria decision making. In this paper, we study the problem of efficient processing of continuous skyline que...
103
click to vote
ICIP
2007
IEEE
16 years 2 months ago
2007
IEEE
The Bayesian filtering for recursive state estimation and the shape-based matching methods are two of the most commonly used approaches for target tracking. The Multiple Hypothesi...