Sciweavers

939 search results - page 22 / 188
» Semantic Abstraction and Quantum Computation
Sort
View
ICSE
2004
IEEE-ACM
15 years 3 months ago
Semantics-Aware Services for the Mobile Computing Environment
Abstract. Today's wireless networks and devices support the dynamic composition of mobile distributed systems according to networked services and re
Nikolaos Georgantas, Sonia Ben Mokhtar, Ferda Tart...
RULEML
2010
Springer
14 years 8 months ago
On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic
Abstract. In this paper we present the well founded variants of ambiguity blocking and ambiguity propagating defeasible logics. We also show how to extend SPINdle, a state of the a...
Ho-Pun Lam, Guido Governatori
IJCNLP
2005
Springer
15 years 3 months ago
Using the Structure of a Conceptual Network in Computing Semantic Relatedness
Abstract. We present a new method for computing semantic relatedness of concepts. The method relies solely on the structure of a conceptual network and eliminates the need for perf...
Iryna Gurevych
IMA
2001
Springer
78views Cryptology» more  IMA 2001»
15 years 2 months ago
Unconditionally Secure Key Agreement Protocol
Abstract. The key agreement protocol are either based on some computational infeasability, such as the calculus of the discrete logarithm in [1], or on theoretical impossibility un...
Cyril Prissette
PEPM
1995
ACM
15 years 1 months ago
Abstract Interpretation and Low-Level Code Optimization
Interpretation and Low-Level Code Optimization Saumya Debray Department of Computer Science University of Arizona Tucson, AZ 85715 Abstract interpretation is widely accepted as a ...
Saumya K. Debray