2672 search results - page 327 / 535 » Hybridizing Concept Languages |
137
Voted
ER
2005
Springer
15 years 9 months ago
2005
Springer
In this paper a novel approach for the tool–based quality assurance of models is presented. The approach provides a meta model framework for domain specific and tool–independe...
178
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Turing complete Genetic Programming (GP) models introduce the concept of internal state, and therefore have the capacity for identifying interesting temporal properties. Surprisin...
129
click to vote
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generaliz...
93
Voted
IFIP
2003
Springer
15 years 8 months ago
2003
Springer
This paper describes TAPI, an offline scheme intended for general Internet-based micropayments. TAPI, which extends and combines concepts from the KeyNote Microchecks and OTPCoins...
127
click to vote
DEXAW
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we suggest that it should be possible to come closer to the Semantic Web goals by enhancing the ontology paradigm and, in particular, by supplementing the ‘tradit...