5550 search results - page 96 / 1110 » Different Approaches to Proof Systems |
184
click to vote
IPPS
2005
IEEE
15 years 12 months ago
2005
IEEE
Results of an experimental study of an anomaly detection system based on the paradigm of artificial immune systems (AISs) are presented. Network traffic data are mapped into ant...
158
click to vote
DAS
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a complete system that historians/archivists can use to digitize whole collections of documents relating to personal information. The system integrates tools an...
188
click to vote
EUSAI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we review different context classification systems that have been used to define elements of context. Although existing classification systems cover various types of...
152
click to vote
ACL
1993
15 years 7 months ago
1993
This paper presents a cooperative consultation system on a restricted domain. The system builds hypotheses on the user's plan and avoids misunderstandings (with consequent re...
157
click to vote
CC
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...