528 search results - page 72 / 106 » Modularizing error recovery |
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
Discovering associations between elements occurring in a stream is applicable in numerous applications, including predictive caching and fraud detection. These applications requir...
LOPSTR
2001
Springer
14 years 3 days ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
LREC
2008
13 years 9 months ago
2008
Morfette is a modular, data-driven, probabilistic system which learns to perform joint morphological tagging and lemmatization from morphologically annotated corpora. The system i...
ESM
2000
13 years 9 months ago
2000
A data simulator that can facilitate the development of improved sampling and analysis procedures for spatial analysis is proposed. The simulator, implemented in MATLAB, provides ...
DATAMINE
2008
13 years 7 months ago
2008
Rules are commonly used for classification because they are modular, intelligible and easy to learn. Existing work in classification rule learning assumes the goal is to produce ca...