2610 search results - page 344 / 522 » Computational Probabilistic Non-interference |
181
click to vote
ICIC
2005
Springer
15 years 12 months ago
2005
Springer
: In this paper, a new approach for leaf recognition using the result of segmentation of leaf’s skeleton based on the combination of wavelet transform (WT) and Gaussian interpola...
178
click to vote
SAT
2005
Springer
15 years 12 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
180
click to vote
COMPGEOM
2004
ACM
15 years 12 months ago
2004
ACM
We consider the problem of approximate range counting over streams of d-dimensional points. In the data stream model, the algorithm makes a single scan of the data, which is prese...
190
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...
149
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...