410 search results - page 74 / 82 » Tools for System Validation with B Abstract Machines |
101
click to vote
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Inferring AS-level end-to-end paths can be a valuable tool for both network operators and researchers. A widely known technique for inferring end-to-end paths is to per...
132
click to vote
IWRIDL
2006
ACM
15 years 8 months ago
2006
ACM
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
132
click to vote
LLL
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Automatic lemmatisation is a core application for many language processing tasks. In inflectionally rich languages, such as Slovene, assigning the correct lemma to each ...
149
click to vote
DILS
2006
Springer
15 years 5 months ago
2006
Springer
Scientific experiments are becoming increasingly large and complex, with a commensurate increase in the amount and complexity of data generated. Data, both intermediate and final r...
103
click to vote
ICAIL
1995
ACM
15 years 5 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...