Sciweavers

14084 search results - page 294 / 2817
» A Theory for Game Theories
Sort
View
CVPR
2010
IEEE
16 years 3 months ago
An Approach to Vectorial Total Variation based on Geometric Measure Theory
We analyze a previously unexplored generalization of the scalar total variation to vector-valued functions, which is motivated by geometric measure theory. A complete mathematical...
Bastian Goldluecke, Daniel Cremers
HICSS
2009
IEEE
155views Biometrics» more  HICSS 2009»
16 years 1 months ago
Explaining the Continuous Use of Social Virtual Worlds: An Applied Theory of Planned Behavior Approach
Social virtual worlds (SVWs) have become increasingly popular spaces for social interaction. To be attractive to engage with, maintaining a sufficient base of active users is a si...
Jani Merikivi, Matti Mäntymäki
AUSAI
2009
Springer
16 years 1 months ago
Simple Default Reasoning in Theories of Action
We extend a recent approach to integrate action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model t...
Hannes Strass, Michael Thielscher
TFM
2009
Springer
113views Formal Methods» more  TFM 2009»
16 years 1 months ago
Teaching Concurrency: Theory in Practice
Teaching courses that rely on sound mathematical principles is nowadays a challenging task at many universities. On the one hand there is an increased demand for educating students...
Luca Aceto, Anna Ingólfsdóttir, Kim ...
CSL
2009
Springer
16 years 1 months ago
Expanding the Realm of Systematic Proof Theory
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
Agata Ciabattoni, Lutz Straßburger, Kazushig...