7978 search results - page 659 / 1596 » Combining shared-coin algorithms |
155
click to vote
CTCS
1989
Springer
15 years 11 months ago
1989
Springer
We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled s...
191
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
A new graph reduction approach to symbolic circuit analysis is developed in this paper. A Binary Decision Diagram (BDD) mechanism is formulated, together with a specially designed ...
181
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...
188
click to vote
AIRS
2006
Springer
15 years 11 months ago
2006
Springer
In data fusion, score normalization is a step to make scores, which are obtained from different component systems for all documents, comparable to each other. It is an indispensabl...
192
click to vote
CP
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. By introducing the Regular Membership Constraint, Gilles Pesant pioneered the idea of basing constraints on formal languages. The paper presented here is highly motivated...