2944 search results - page 60 / 589 » Robust Semantic Construction |
113
click to vote
ADG
2006
Springer
15 years 4 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...
WSC
2008
15 years 2 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...
82
Voted
TOOLS
1999
IEEE
15 years 4 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...
97
Voted
ESWS
2004
Springer
15 years 4 months ago
2004
Springer
In order to realize the on-the-fly ontology construction for the Semantic Web, this paper proposes DODDLE-R, a support environment for user-centered ontology development. It consis...
102
Voted
WWW
2006
ACM
16 years 1 months ago
2006
ACM
One of the main hurdles towards a wide endorsement of ontologies is the high cost of constructing them. Reuse of existing ontologies offers a much cheaper alternative than buildin...