4209 search results - page 546 / 842 » Abstract Dialectical Frameworks |
141
click to vote
ISVC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a novel multi-camera framework to extract reliable pathlets [1] from tracking data. The proposed approach weights tracks based on their spatial and orientation...
113
click to vote
JOLLI
2010
15 years 3 months ago
2010
Abstract PGF (Portable Grammar Format) is a low-level language used as a target of compiling grammars written in GF (Grammatical Framework). Low-level and simple, PGF is easy to re...
155
click to vote
LICS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain as much as possible fro...
118
click to vote
LOGCOM
2010
15 years 3 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ï...
138
click to vote
MCS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The Support Kernel Machine (SKM) and the Relevance Kernel Machine (RKM) are two principles for selectively combining objectrepresentation modalities of different kinds b...