Sciweavers

2610 search results - page 146 / 522
» Computational Probabilistic Non-interference
Sort
View
ICLP
2005
Springer
14 years 3 months ago
A Distributed and Probabilistic Concurrent Constraint Programming Language
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
Luca Bortolussi, Herbert Wiklicky
ICCAD
1999
IEEE
78views Hardware» more  ICCAD 1999»
14 years 2 months ago
Probabilistic state space search
This paper describes a probabilistic approach to state space search. The presented method applies a ranking of the design states according to their probability of reaching a given...
Andreas Kuehlmann, Kenneth L. McMillan, Robert K. ...
ESWS
2008
Springer
13 years 12 months ago
Mapping Validation by Probabilistic Reasoning
In the semantic web environment, where several independent ontologies are used in order to describe knowledge and data, ontologies have to be aligned by defining mappings among the...
Silvana Castano, Alfio Ferrara, Davide Lorusso, To...
EMNLP
2008
13 years 11 months ago
Learning with Probabilistic Features for Improved Pipeline Models
We present a novel learning framework for pipeline models aimed at improving the communication between consecutive stages in a pipeline. Our method exploits the confidence scores ...
Razvan C. Bunescu
GECCO
2008
Springer
140views Optimization» more  GECCO 2008»
13 years 11 months ago
A bivariate probabilistic model-building genetic algorithm for graph bipartitioning
We investigate a bi-variate probabilistic model-building GA for the graph bipartitioning problem. The graph bipartitioning problem is a grouping problem that requires some modifi...
Dirk Thierens