4217 search results - page 70 / 844 » Computational indistinguishability logic |
GCC
2003
Springer
15 years 3 months ago
2003
Springer
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
CORR
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. We study algorithms for computing stable models of propositional logic programs and derive estimates on their worst-case performance that are asymptotically better than t...
HASE
2007
IEEE
15 years 4 months ago
2007
IEEE
We study recent developments in quantum computing (QC) testing and fault tolerance (FT) techniques and discuss several attempts to formalize quantum logic fault models. We illustr...
ECSQARU
2007
Springer
15 years 4 months ago
2007
Springer
Measuring inconsistency in knowledge bases has been recognized as an important problem in many research areas. Most of approaches proposed for measuring inconsistency are based on ...
ICCD
1999
IEEE
15 years 2 months ago
1999
IEEE
Continuing improvements in semiconductor density are enabling new classes of System-on-a-Chip architectures that combine extensive processing logic and high-density memory. Many o...