1746 search results - page 38 / 350 » A Constructive Semantics for ALC |
114
click to vote
LREC
2008
15 years 5 months ago
2008
We present an evaluation of inter-sentential coreference annotation in the context of manually created semantic networks. The semantic networks are constructed independently be ea...
153
click to vote
NAACL
2007
15 years 5 months ago
2007
We evaluate semantic relatedness measures on different German datasets showing that their performance depends on: (i) the definition of relatedness that was underlying the constr...
141
click to vote
ADG
2006
Springer
15 years 7 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
124
click to vote
WSC
2008
15 years 6 months ago
2008
In this paper we lay the foundations for studying decisionmaking in complex dynamic construction management scenarios using situational simulations as experimental testbeds. We dr...
110
click to vote
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
stone in the object-oriented paradigm is the abstraction mechanisms transcending analysis, design, and implementation. The notions of class, object, behaviour, and inheritance are...