1528 search results - page 124 / 306 » Implementing Generalized Operator Overloading |
DATESO
2004
15 years 3 months ago
2004
In this paper we present a storage method for sets of first order logic terms in a relational database using function symbols based indexing method of Discrimination trees. This is...
116
click to vote
MIC
2003
15 years 3 months ago
2003
The paper deals with an innovative parallel robot (PKM) for rapid assembly tasks, developed within the Italian research programme PRIDE. The aim of this threedegree-of-freedom, pu...
108
Voted
DBSEC
2000
15 years 3 months ago
2000
The premises of this paper are 1) security is application dependent because application semantics directly influence proper protection; but 2) applications are generally too compl...
111
Voted
ACL
1990
15 years 3 months ago
1990
This paper presents an implemented, psychologicallyplausible parsing model for Government Binding theory grammars. I make use of two main ideas: (1) a generalization of the licens...
126
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...