2610 search results - page 344 / 522 » Computational Probabilistic Non-interference |
136
Voted
ICIC
2005
Springer
15 years 9 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...
142
Voted
SAT
2005
Springer
15 years 9 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...
144
Voted
COMPGEOM
2004
ACM
15 years 9 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...
142
Voted
CP
2004
Springer
15 years 9 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...
117
Voted
FOSSACS
2004
Springer
15 years 9 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...