10718 search results - page 1924 / 2144 » On the Circuit Implementation Problem |
134
click to vote
CAV
1999
Springer
15 years 9 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
155
click to vote
FMLDO
1999
Springer
15 years 9 months ago
1999
Springer
Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across mult...
187
click to vote
LPAR
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...
148
Voted
RAID
1999
Springer
15 years 9 months ago
1999
Springer
The rapid increase in network bandwidth from mega bits per second to giga bits per second and potentially to tera bits per second, is making it increasingly difficult to carry out...
149
click to vote
AGENTS
1998
Springer
15 years 9 months ago
1998
Springer
of other components. This abstract presents an implemented illustration of such explicit component synergy and its usefulness in dynamic multi-agent environments. In such environme...