1746 search results - page 207 / 350 » A Constructive Semantics for ALC |
159
Voted
CC
2010
Springer
16 years 26 days ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
166
click to vote
ICASSP
2008
IEEE
16 years 15 days ago
2008
IEEE
We present a query-by-example audio retrieval framework by indexing audio clips in a generic database as points in a latent perceptual space. First, feature-vectors extracted from...
160
click to vote
ER
2007
Springer
16 years 6 days ago
2007
Springer
We present the semantic data model for an ontological database for subcellular anatomy for Neurosciences. The data model builds upon the foundations of OWL and the Basic Formal Ont...
173
Voted
ESORICS
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
144
click to vote
LTCONF
2007
Springer
16 years 5 days ago
2007
Springer
Recent work in sentiment analysis has begun to apply fine-grained semantic distinctions between expressions of attitude as features for textual analysis. Such methods, however, r...