3495 search results - page 478 / 699 » On the random satisfiable process |
181
click to vote
PDP
2007
IEEE
16 years 24 days ago
2007
IEEE
We present an algorithm to compute the cycle structure of large directed graphs where each node has exactly one outgoing edge. Such graphs appear as state diagrams of finite stat...
200
click to vote
QEST
2007
IEEE
16 years 24 days ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
201
click to vote
CPM
2007
Springer
16 years 21 days ago
2007
Springer
Extracting motifs from a set of DNA sequences is important in computational biology. Occurrence probability is a common used statistics to evaluate the statistical significance of...
174
click to vote
DAWAK
2007
Springer
16 years 21 days ago
2007
Springer
We propose a privacy-preserving protocol for computing aggregation queries over the join of private tables. In this problem, several parties wish to share aggregated information ov...
173
click to vote
IFL
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...