4401 search results - page 234 / 881 » Computing with Default Logic |
135
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Parallel simulation techniques are often employed to meet the computational requirements of large hardware simulations in order to reduce simulation time. In addition, partitionin...
152
click to vote
DIS
2006
Springer
15 years 9 months ago
2006
Springer
Protein domains are the building blocks of proteins, and their interactions are crucial in forming stable protein-protein interactions (PPI) and take part in many cellular processe...
149
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
Non-standard reasoning in Description Logics (DLs) comprises computing a Least Common Subsumer (LCS), a Concept Difference, a Concept Unifier, or an Interpolant Concept, to name a ...
176
click to vote
ICCAD
2007
IEEE
16 years 2 months ago
2007
IEEE
— The research in the field of reversible logic is motivated by its application in low-power design, optical computing and quantum computing. Hence synthesis of reversible logic...
140
click to vote
TAMC
2009
Springer
15 years 12 months ago
2009
Springer
We show that logical and behavioral equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topological assumptions and in...