1648 search results - page 86 / 330 » Structuring namespace descriptions |
136
Voted
CAV
2005
Springer
15 years 9 months ago
2005
Springer
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...
115
Voted
ACL
2008
15 years 5 months ago
2008
Underspecification-based algorithms for processing partially disambiguated discourse structure must cope with extremely high numbers of readings. Based on previous work on dominan...
117
click to vote
EUSFLAT
2001
15 years 5 months ago
2001
In this paper we shall describe a very natural extension of MV-algebras, the divisible MV-algebras (DMV). Such algebraic structures will be used to give a formal description of ru...
COLING
1990
15 years 4 months ago
1990
This paper presents a language for the description of morphological alternations which is based on syllable structure. The justification for such an approach is discussed with ref...
157
Voted
3DPH
2009
15 years 4 months ago
2009
Statistical Shape Models have been proven to be valuable tools for segmenting anatomical structures of arbitrary topology. Being based on the statistical description of representat...