12774 search results - page 2251 / 2555 » A Framework for Proof Systems |
184
click to vote
ERCIMDL
2005
Springer
16 years 9 days ago
2005
Springer
The Alexandria Digital Library (ADL) project has been working on automating the processes of building ADL collections and gathering the collection statistics on which ADL’s disco...
175
click to vote
ESORICS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Hippocratic Databases have been proposed as a mechanism to guarantee the respect of privacy principles in data management. We argue that three major principles are missin...
184
click to vote
ESWS
2005
Springer
16 years 9 days ago
2005
Springer
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...
168
click to vote
FMCO
2005
Springer
16 years 9 days ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
153
Voted
FPL
2005
Springer
16 years 9 days ago
2005
Springer
This paper describes a method based on polynomial approximation for transferring ROM resources used in FPGA designs to multiplication and addition operations. The technique can be...