Sciweavers

14084 search results - page 215 / 2817
» A Theory for Game Theories
Sort
View
174
Voted
CORR
2008
Springer
104views Education» more  CORR 2008»
15 years 6 months ago
Coalgebraic Automata Theory: Basic Results
Abstract. We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata ope...
Clemens Kupke, Yde Venema
EOR
2008
74views more  EOR 2008»
15 years 6 months ago
From decision theory to decision aiding methodology
The paper presents the author's partial and personal historical reconstruction of how decision theory is evolving to a decision aiding methodology. The presentation shows mai...
Alexis Tsoukiàs
FUIN
2008
89views more  FUIN 2008»
15 years 6 months ago
A Foundational Theory of Contracts for Multi-party Service Composition
Abstract. In the context of Service Oriented Computing, contracts are descriptions of the observable message-passing behavior of services. Contracts have been already successfully ...
Mario Bravetti, Gianluigi Zavattaro
CAD
2007
Springer
15 years 6 months ago
A formal theory for estimating defeaturing-induced engineering analysis errors
Defeaturing is a popular CAD/ CAE simplification technique where ‘small or irrelevant features’ are suppressed within a CAD model for speeding-up downstream processes, especia...
Sankara Hari Gopalakrishnan, Krishnan Suresh
MMS
2006
15 years 6 months ago
Forms and theories of communication: from multimedia to Kansei Mediation
Abstract In this paper we describe a form of communication that could be used for lifelong learning as contribution to cultural computing. We call it Kansei Mediation. It is a mult...
Ryohei Nakatsu, Matthias Rauterberg, Ben Salem