2016 search results - page 36 / 404 » Megamaps: Construction and Examples |
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
This paper addresses the methodology of ontology construction. It identifies five styles of approach to ontologizing (deriving from philosophy, cognitive science, linguistics, AI/c...
ADG
2004
Springer
14 years 1 months ago
2004
Springer
Construction of geometrical objects by origami, the Japanese traditional art of paper folding, is enjoyable and intriguing. It attracted the minds of artists, mathematicians and co...
IADIS
2004
13 years 10 months ago
2004
This study contributes to the field of electronic government by discussing the concept of electronic markets for public services. Through the study the market makers' roles i...
COLING
1990
13 years 9 months ago
1990
Mandarin Chinese is a highly flexible and context-sensitive language. It is difficult to do the case marking and index assignment during the parsing of Chinese sentences. This pap...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Abstract We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Construct...