440 search results - page 73 / 88 » Local reasoning for abstraction and sharing |
111
Voted
SASO
2008
IEEE
15 years 8 months ago
2008
IEEE
—Distance sensitivity is a locality concept that is useful for designing scalable wireless sensor network applications. In this paper, we formally define distance sensitivity an...
112
click to vote
CISS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— It is well-known that perfect channel state information (CSI) at the transmitter and the receiver (CSIT/CSIR) can be used to decompose a multi-antenna channel into a ba...
153
click to vote
ATAL
2007
Springer
15 years 8 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 ...
CSL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Although Cai, F¨urer and Immerman have shown that fixedpoint logic with counting (IFP + C) does not express all polynomialtime properties of finite structures, there h...
113
click to vote
PAM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Techniques for authenticating BGP protocol objects entail the inspection of additional information in the form of authentication credentials that can be used to validate ...