Sciweavers

5608 search results - page 242 / 1122
» On the Theory of Matchgate Computations
Sort
View
ICCS
2007
Springer
15 years 10 months ago
Belief Flow in Assertion Networks
We define an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth together with the Assertion Network Toolkit, a graphical inter...
Sujata Ghosh, Benedikt Löwe, Erik Scorelle
BIRTHDAY
2006
Springer
15 years 10 months ago
Institutional 2-cells and Grothendieck Institutions
Abstract. We propose to use Grothendieck institutions based on 2categorical diagrams as a basis for heterogeneous specification. We prove a number of results about colimits and (so...
Till Mossakowski
CW
2004
IEEE
15 years 10 months ago
Transmedial Worlds - Rethinking Cyberworld Design
In this paper we introduce the concept of transmedial worlds, relating it to genre and adaptation theory, and presenting a framework for how to look for transmedial traits in a wo...
Lisbeth Klastrup, Susana Pajares Tosca
CIE
2008
Springer
15 years 8 months ago
The Shrinking Property for NP and coNP
We study the shrinking and separation properties (two notions well-known in descriptive set theory) for NP and coNP and show that under reasonable complexity-theoretic assumptions...
Christian Glaßer, Christian Reitwießne...
FOCM
2006
87views more  FOCM 2006»
15 years 6 months ago
Index Pairs Algorithms
We introduce some modifications and extensions of the concept od index pair in the Conley index theory. We then show how these concepts may be used to overcome some difficulties in...
Marian Mrozek