3166 search results - page 237 / 634 » Translation By Structural Correspondences |
145
click to vote
ICCS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Bilingual word association networks can be beneficial as a tool in foreign language education because they show relationships among cognate words of different languages ...
176
click to vote
SEMWEB
2007
Springer
16 years 22 days ago
2007
Springer
In this paper we present SEMA tool for the automatic mapping of ontologies. The main purpose of SEMA is to locate one to one equivalence correspondences (mappings) between elements...
174
click to vote
CIE
2005
Springer
16 years 5 days ago
2005
Springer
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while...
153
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
A simple model of dynamic databases is studied from a modal logic perspecitve. A state α of a database is an atomic update of a state β if at most one atomic statement is evaluat...
215
click to vote
ERSHOV
1999
Springer
15 years 11 months ago
1999
Springer
We introduce an object-oriented design pattern called Twin that allows us to model multiple inheritance in programming languages that do not support this feature (e.g. Java, Modula...