1912 search results - page 192 / 383 » On the evaluation of argumentation formalisms |
148
click to vote
IAT
2008
IEEE
16 years 29 days 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...
182
click to vote
ICASSP
2008
IEEE
16 years 29 days 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...
164
click to vote
CSFW
2007
IEEE
16 years 26 days 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...
156
click to vote
MODELS
2007
Springer
16 years 19 days 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-...
155
click to vote
FROCOS
2005
Springer
16 years 1 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...