1912 search results - page 192 / 383 » On the evaluation of argumentation formalisms |
170
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...
201
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
A knowledge representation formalism for SLU is introduced. It is used for incremental and partially automated annotation of the MEDIA corpus in terms of semantic structures. An a...
178
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
Interrupt-driven communication with hardware devices can be exploited for establishing covert channels. In this article, we propose an information-theoretic framework for analyzin...
181
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
175
click to vote
FROCOS
2005
Springer
16 years 22 days ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...