1746 search results - page 76 / 350 » A Constructive Semantics for ALC |
125
click to vote
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
116
click to vote
ICLP
1994
Springer
15 years 8 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
146
click to vote
ACL
2008
15 years 5 months ago
2008
We propose using large-scale clustering of dependency relations between verbs and multiword nouns (MNs) to construct a gazetteer for named entity recognition (NER). Since dependen...
141
click to vote
CICLING
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We describe a semantic clustering method designed to address shortcomings in the common bag-of-words document representation for functional semantic classification tasks....
122
Voted
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...