2783 search results - page 55 / 557 » The Nature Of Near-Synonymic Relations |
173
click to vote
JAR
2002
15 years 5 months ago
2002
We formalise natural deduction for first-order logic in the proof assistant Coq, using De Bruijn indices for variable binding. The main judgement we model is of the form d [:] , ...
137
click to vote
ICTAI
2007
IEEE
16 years 13 days ago
2007
IEEE
This paper introduces ELEON, an editor that allows the enrichment of OWL ontologies with linguistic and user-related annotations. The enriched ontologies are used by natural langu...
152
click to vote
ICCS
2007
Springer
16 years 9 days ago
2007
Springer
Designing and refining ontologies becomes a tedious task, once the boundary to real-world-size knowledge bases has been crossed. Hence semi-automatic methods supporting those task...
139
click to vote
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract. With this paper we intend to present a brief overview of the current means to describe architecture in different standards. We cover AADL as an example of Architecture De...
159
click to vote
ESA
1998
Springer
15 years 10 months ago
1998
Springer
Previous literature on the Traveling Salesman Problem (TSP) assumed that the sites to be visited are stationary. Motivated by practical applications, we introduce a time-dependent ...