1567 search results - page 67 / 314 » Compressing Relations and Indexes |
TABLEAUX
2000
Springer
14 years 20 days ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
JCDL
2006
ACM
14 years 3 months ago
2006
ACM
The Perseus Project at Tufts University produces tools to enhance the study of humanities texts. Perseus’ new named-entity browser lets users browse an index of references to pe...
IEEESCC
2005
IEEE
14 years 2 months ago
2005
IEEE
Discovering and assembling individual Web services into more complex yet new and more useful Web processes has received significant attention from academia recently. In this thesi...
VR
2003
IEEE
14 years 2 months ago
2003
IEEE
We examine the law of steering – a quantitative model of human movement time in relation to path width and length previously established in hand drawing movement – in a VR loc...
ASIACRYPT
2009
Springer
14 years 3 months ago
2009
Springer
In this work, we apply the rebound attack to the AES based SHA-3 candidate Lane. The hash function Lane uses a permutation based compression function, consisting of a linear messag...