6249 search results - page 1202 / 1250 » Topological Informational Spaces |
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
MLDM
2005
Springer
14 years 2 months ago
2005
Springer
Assessing the similarity between objects is a prerequisite for many data mining techniques. This paper introduces a novel approach to learn distance functions that maximizes the c...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a separation of concerns approach to solve the tangling problem of functional and Quality of Service (QoS) concerns in traditional Component-based Software Eng...
SSS
2005
Springer
14 years 2 months ago
2005
Springer
This paper considers the self-stabilizing unison problem. The contribution of this paper is threefold. First, we establish that when any self-stabilizing asynchronous unison protoc...
TCC
2005
Springer
14 years 2 months ago
2005
Springer
Russell and Wang [22] recently introduced an elegant, information-theoretic notion called entropic security of encryption: they required that the cipher text leak no predicate of ...