4298 search results - page 509 / 860 » Computing at the top of the world |
191
click to vote
LPKR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. This paper presents an extension of disjunctive datalog (DatalogāØ ) by nested rules. Nested rules are (disjunctive) rules where elements of the head may be also rules. ...
191
click to vote
VISUALIZATION
1993
IEEE
15 years 11 months ago
1993
IEEE
This paper presents an environment for telecollaborative data exploration. It provides the following capabilities essential to data exploration: (1) Users can probe the data, deļ¬...
191
click to vote
ECOOP
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
175
click to vote
FC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper introduces certified sets to the private set intersection problem. A private set intersection protocol allows Alice and Bob to jointly compute the set intersec...
167
Voted
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Despite of their advertisement as task independent representations, the reuse of ontologies in different contexts is difficult. An explanation for this is that when devel...