110 search results - page 17 / 22 » Interpolation in Local Theory Extensions |
ICCAD
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper presents an in-depth study of the theory and algorithms for the SPFD-based (Set of Pairs of Functions to be Distinguished) rewiring, and explores the flexibility in the...
104
click to vote
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
This paper proposes a framework for agent-based distributed machine learning and data mining based on (i) the exchange of meta-level descriptions of individual learning processes ...
90
Voted
WAC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper, we present and analyze a framework for selfevolving autonomic services in a wireless nomadic environment. We present a disconnected network architecture, w...
101
click to vote
CIKM
2006
Springer
15 years 1 months ago
2006
Springer
Data stream clustering has emerged as a challenging and interesting problem over the past few years. Due to the evolving nature, and one-pass restriction imposed by the data strea...
ESORICS
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...