1187 search results - page 83 / 238 » Computation in Extended Argumentation Frameworks |
124
click to vote
ICMCS
2006
IEEE
15 years 7 months ago
2006
IEEE
We present an event-driven video adaptation system in this paper. Events are detected by audio/video analysis and annotated by the description schemes (DSs) provided by MPEG-7 Mul...
ECCC
2010
15 years 1 months ago
2010
Abstract--There has been a sequence of recent papers devoted to understanding the relation between the testability of properties of Boolean functions and the invariance of the prop...
129
click to vote
PERCOM
2003
ACM
15 years 6 months ago
2003
ACM
To programmatically discover and interact with services in ubiquitous computing environments, an application needs to solve two problems: (1) is it semantically meaningful to inte...
119
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
135
Voted
CONCUR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...