7495 search results - page 585 / 1499 » Intelligent Document Processing |
157
click to vote
APN
1999
Springer
15 years 11 months ago
1999
Springer
We show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover...
164
click to vote
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
We present a framework for eliminating redundancies during the reconstruction of sequent proofs from matrix proofs. We show that search-free proof reconstruction requires knowledge...
211
click to vote
EPIA
1997
Springer
15 years 11 months ago
1997
Springer
Argumentation semantics in extended logic programming has been defined in [5,12] for a single agent which determines its believes by an internal argumentation process. In this pap...
133
click to vote
ICAIL
2007
ACM
15 years 11 months ago
2007
ACM
Coherence and alignment of the legislative language highly contribute to the quality of legislative processes, to the clarity of legislative texts and to their accessibility. DALOS...
202
click to vote
DRM
2006
Springer
15 years 10 months ago
2006
Springer
Identification is a two part system comprising of a token or label (an identifier) that can be used to reference an entity and a process that can be used to create label-entity as...