1912 search results - page 196 / 383 » On the evaluation of argumentation formalisms |
158
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we propose a formalization of access control policies based on term rewriting. The state of the system to which policies are enforced is represented as an algebraic ...
184
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
152
click to vote
ACL
2009
15 years 4 months ago
2009
This paper describes our system for generating Chinese aspect expressions. In the system, the semantics of different aspects is characterized by specific temporal and conceptual f...
171
click to vote
ACL
2009
15 years 4 months ago
2009
This paper presents the first stochastic finite-state morphological parser for Turkish. The non-probabilistic parser is a standard finite-state transducer implementation of two-le...
146
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper proposes a syntactic method for detection and correction of misrecognized mathematical formulae for a practical mathematical OCR system. Linear monadic context-free tre...