2610 search results - page 344 / 522 » Computational Probabilistic Non-interference |
200
Voted
ICIC
2005
Springer
16 years 15 days 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...
190
Voted
SAT
2005
Springer
16 years 14 days 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...
196
Voted
COMPGEOM
2004
ACM
16 years 12 days 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...
207
Voted
CP
2004
Springer
16 years 11 days 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...
169
click to vote
FOSSACS
2004
Springer
16 years 11 days 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...