3081 search results - page 544 / 617 » A Formal Ontology of Properties |
118
click to vote
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
The Church-Turing Thesis has been the subject of many variations and interpretations over the years. Specifically, there are versions that refer only to functions over the natural ...
145
click to vote
ASIACRYPT
2006
Springer
15 years 1 months ago
2006
Springer
We introduce a primitive called Hierarchical Identity-Coupling Broadcast Encryption (HICBE) that can be used for constructing efficient collusion-resistant public-key broadcast enc...
107
click to vote
DAWAK
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Data warehouses (DW) main objective is to facilitating decisionmaking. Thus their development has to take into account DW project actor requirements. While much recent re...
CSL
2008
Springer
15 years 1 months ago
2008
Springer
not use pointer arithmetic. Such "pure pointer algorithms" thus are a useful abstraction for studying the nature of logspace-computation. In this paper we introduce a for...
107
click to vote
DASFAA
2008
IEEE
15 years 1 months ago
2008
IEEE
We study a novel problem of mining significant recurrent rules from a sequence database. Recurrent rules have the form "whenever a series of precedent events occurs, eventuall...