2610 search results - page 216 / 522 » Computational Probabilistic Non-interference |
118
click to vote
ICRA
1995
IEEE
15 years 7 months ago
1995
IEEE
A tractor-trailer robot consists of a carlike tractor towing a passive trailer. Due to its highly nonholonomic nature, the kinematics of this type of robot are complicated and di ...
253
click to vote
ASIAN
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper provides a Hoare-style logic for quantum computation. While the usual Hoare logic helps us to verify classical deterministic programs, our logic supports quant...
111
click to vote
ICML
2010
IEEE
15 years 5 months ago
2010
IEEE
For centuries, scholars have explored the deep links among human languages. In this paper, we present a class of probabilistic models that use these links as a form of naturally o...
146
click to vote
JPDC
2007
15 years 3 months ago
2007
We propose an algorithm to compute the optimal parameters of a probabilistic data propagation algorithm for wireless sensor networks (WSN). The probabilistic data propagation algo...
107
click to vote
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
Index trees created using distance based indexing are difficult to maintain online since the distance function involved is often costly to compute. This problem is intensified whe...