5608 search results - page 97 / 1122 » On the Theory of Matchgate Computations |
106
click to vote
ICEIS
2005
IEEE
15 years 7 months ago
2005
IEEE
: Business Process Re-engineering (BPR) is an area that requires a lot of technical documents and an important feature of a well-written document is a coherent narrative. Even thou...
124
click to vote
DSN
2007
IEEE
15 years 5 months ago
2007
IEEE
Increasing interest is being paid to quantitative evaluation based on measurements of dependability attributes and metrics of computer systems and infrastructures. Despite measura...
157
click to vote
Lecture Notes
These are game theory notes from LSE. They cover the following topics: Nim and combinatorial games, Games as trees and in strategic form, Mixed strategy equilibria,
Game trees wit...
RTA
2009
Springer
15 years 8 months ago
2009
Springer
It is known that the first-order theory with a single predicate → that denotes one-step rewriting reduction on terms is undecidable already for formulae with ∃∀ prefix. Sev...