2479 search results - page 222 / 496 » Quantum complexity theory |
187
click to vote
IJFCS
2006
15 years 6 months ago
2006
This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the con...
164
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This philosophical paper discusses the benefits of describing the world as information, especially in the study of the evolution of life and cognition. Traditional studi...
164
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
190
click to vote
JCSS
2008
15 years 6 months ago
2008
We provide a characterization of the resolution width introduced in the context of propositional proof complexity in terms of the existential pebble game introduced in the context...
165
click to vote
JLP
2006
15 years 6 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...