154 search results - page 23 / 31 » Comparison of Process Algebra Equivalences Using Formats |
SIAMREV
2010
14 years 4 months ago
2010
Computational Convex Analysis algorithms have been rediscovered several times in the past by researchers from different fields. To further communications between practitioners, we ...
120
click to vote
DOCENG
2004
ACM
15 years 3 months ago
2004
ACM
With the wide adoption of XML as a standard data representation and exchange format, querying XML documents becomes increasingly important. However, relational database systems co...
93
Voted
ATAL
2010
Springer
14 years 4 months ago
2010
Springer
The Affine ADD (AADD) is an extension of the Algebraic Decision Diagram (ADD) that compactly represents context-specific, additive and multiplicative structure in functions from a...
84
Voted
FC
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
BMCBI
2010
14 years 9 months ago
2010
Background: The incorporation of annotated sequence information from multiple related species in commonly used databases (Ensembl, Flybase, Saccharomyces Genome Database, Wormbase...