4690 search results - page 322 / 938 » An operational semantics for Scheme |
191
click to vote
PKC
1998
Springer
15 years 11 months ago
1998
Springer
The ElGamal encryption scheme has been proposed several years ago and is one of the few probabilistic encryption schemes. However, its security has never been concretely proven bas...
170
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose the use of Semantic Web technologies to bridge the gap between authoring systems and authors. The core part of our solution is the ontology-based framewo...
162
click to vote
GLOBECOM
2006
IEEE
16 years 25 days ago
2006
IEEE
— Anycast routing is very useful for many applications such as resource discovery in Delay Tolerant Networks (DTNs). In this paper, based on a new DTN model, we first analyze th...
154
click to vote
AAAI
2004
15 years 8 months ago
2004
We introduce mCP nets, an extension of the CP net formalism to model and handle the qualitative and conditional preferences of multiple agents. We give a number of different seman...
179
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Propositional representations of biomedical knowledge are a critical component of most aspects of semantic mining in biomedicine. However, the proper set of propositio...