440 search results - page 73 / 88 » Local reasoning for abstraction and sharing |
160
click to vote
SASO
2008
IEEE
16 years 12 days 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...
175
click to vote
CISS
2007
IEEE
16 years 10 days 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...
212
click to vote
ATAL
2007
Springer
16 years 6 days 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 ...
151
click to vote
CSL
2007
Springer
16 years 5 days 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...
171
click to vote
PAM
2007
Springer
16 years 4 days 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 ...