6355 search results - page 165 / 1271 » From Logic to Games |
151
click to vote
ALT
2009
Springer
15 years 11 months ago
2009
Springer
In this paper the sequential prediction problem with expert advice is considered for the case when the losses of experts suffered at each step can be unbounded. We present some mo...
157
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Image based human pose recovery has many applications in different industries such as games, entertainment, physiological rehabilitation and biometrics. This paper presents a new ...
161
click to vote
TABLEAUX
2007
Springer
16 years 18 days ago
2007
Springer
Subintuitionistic logics are a class of logics defined by using Kripke models with more general conditions than those for intuitionistic logic. In this paper we study predicate lo...
194
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...
148
click to vote
AIML
2004
15 years 8 months ago
2004
This paper aims to examine Horty's proposal of utilitarian deontic logic [7]. It will focus on his dominance operators by way of simplified semantics. An axiomatization of the...