2830 search results - page 314 / 566 » No Science without Semantics |
135
click to vote
ICCHP
2004
Springer
15 years 9 months ago
2004
Springer
David tries not to use unfamiliar trains and buses, he doesn’t travel to places he doesn’t know, and he doesn’t travel in unusual environments without a companion. David is v...
126
click to vote
CRYPTO
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Non-committing encryption enables the construction of multiparty computation protocols secure against an adaptive adversary in the computational setting where private cha...
144
click to vote
DBPL
1999
Springer
15 years 8 months ago
1999
Springer
Applications have an increasing need to manage semistructured data such as data encoded in XML along with conventional structured data. We extend the structured object database ...
159
click to vote
KDD
1998
ACM
15 years 8 months ago
1998
ACM
This paper presents an algorithm for discovering conjunction rules with high reliability from data sets. The discovery of conjunction rules, each of which is a restricted form of ...
132
Voted
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...