946 search results - page 83 / 190 » Process Algebra and Non-Interference |
101
click to vote
SIGMOD
1996
ACM
15 years 4 months ago
1996
ACM
Magic sets rewriting is a well-known optimization heuristic for complex decision-support queries. There can be many variants of this rewriting even for a single query, which diffe...
112
click to vote
CSB
2005
IEEE
15 years 6 months ago
2005
IEEE
Our paper describes the first provably-efficient algorithm for determining protein structures de novo, solely from experimental data. We show how the global nature of a certain ...
WSC
2000
15 years 1 months ago
2000
Input modeling that involves fitting standard univariate parametric probability distributions is typically performed using an input modeling package. These packages typically fit ...
104
Voted
IJCINI
2007
15 years 16 days ago
2007
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...
110
click to vote
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Bisimulation equivalence is decidable in polynomial time for both sequential and commutative normed context-free processes, known as BPA and BPP, respectively. Despite apparent sim...