3384 search results - page 484 / 677 » More Testable Properties |
CMS
2006
13 years 11 months ago
2006
At the Asiacrypt 2003 conference Billet and Gilbert introduce a block cipher, which, to quote them, has the following paradoxical traceability properties: it is computationally ea...
CSC
2006
13 years 11 months ago
2006
- A variety of data analysis concerned with genome sequences support the proposal that each living organism owns a genomic signature. Classical approaches to the genomic signature ...
DLOG
2006
13 years 11 months ago
2006
The novel context of accessing and querying large data repositories through ontologies that are formalized in terms of expressive DLs requires on the one hand to consider query an...
AIPS
2003
13 years 11 months ago
2003
There have been several proposals for expressing planning problems with different forms of uncertainty, including nondeterminism and partial observability. In this paper we invest...
EFDBS
2001
13 years 11 months ago
2001
New applications from the areas of analytical data processing and data integration require powerful features to condense and reconcile available data. Object-relational and other d...