361 search results - page 48 / 73 » Characterization of Semantics for Argument Systems |
163
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
169
Voted
SISAP
2010
IEEE
15 years 2 months ago
2010
IEEE
The retrieval of videos of interest from large video collections is a main open problem which calls for the definition of new video content characterization techniques in term of ...
138
click to vote
ACMICEC
2003
ACM
15 years 8 months ago
2003
ACM
Current eCommerce is still mainly characterized by the relatively straightforward trading of commodity goods. Nextgeneration efforts in worldwide information infrastructure, espec...
122
click to vote
KR
2000
Springer
15 years 8 months ago
2000
Springer
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...
146
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...