1274 search results - page 150 / 255 » Graph lambda theories |
167
Voted
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
—In this paper we develop a unified theoretical framework for estimating various transmission costs of packet forwarding in wireless networks. Our framework can be applied to th...
119
Voted
STOC
2006
ACM
16 years 5 months ago
2006
ACM
We study the fundamental classification problems 0-Extension and Metric Labeling. A generalization of Multiway Cut, 0-Extension is closely related to partitioning problems in grap...
144
click to vote
COMSWARE
2007
IEEE
15 years 11 months ago
2007
IEEE
— Recent studies on wireless sensor networks (WSN) have shown that the duration of contacts and inter-contacts are power law distributed. While this is a strong property of these...
138
click to vote
TBILLC
2007
Springer
15 years 11 months ago
2007
Springer
In the line of some earlier work done on belief dynamics, we an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth. A modal la...
134
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...