2664 search results - page 55 / 533 » Theory by Process |
ENTCS
2011
13 years 3 months ago
2011
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...
SEKE
2005
Springer
14 years 1 months ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
ENTCS
2006
13 years 8 months ago
2006
A generalization of the Reversed Compound Agent Theorem of Markovian process algebra is derived that yields separable, but non-product-form solutions for collections of interactin...
FOIS
2010
13 years 9 months ago
2010
Abstract. Taking for granted an ontological standpoint independent of any empirical or epistemological perspective, philosophical theories of properties are actually quite rarely a...
EPIA
2005
Springer
14 years 1 months ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...