1746 search results - page 184 / 350 » A Constructive Semantics for ALC |
141
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...
166
Voted
ESORICS
2008
Springer
15 years 7 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
144
click to vote
ACL
2007
15 years 7 months ago
2007
Surface realisers divide into those used in generation (NLG geared realisers) and those mirroring the parsing process (Reversible realisers). While the first rely on grammars not...
157
click to vote
CORIA
2008
15 years 7 months ago
2008
This paper presents a Web page indexation model. In this model, a Web page is not viewed as a whole, but as a combination of a set of blocks based on their visual rendering, where ...
138
Voted
EUSFLAT
2007
15 years 7 months ago
2007
One of the great challenges today is to index videos with high-level semantic concepts or features. The basis of our approach is to use a fuzzy decision trees (FDT) to construct t...