691 search results - page 51 / 139 » Path Consistency by Dual Consistency |
AIMS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Traditional approaches to multipath routing ignore the economic incentives necessary in aligning both networks and users towards a common goal. While theory suggests cong...
IPSN
2005
Springer
14 years 1 months ago
2005
Springer
— We consider the use of binary proximity sensors for tracking targets. Such sensors provide only 1-bit information regarding a target’s presence or absence in their vicinity, ...
RELMICS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
ICCS
2009
Springer
14 years 9 days ago
2009
Springer
This article introduces the Interactive Network concept and describes the design and implementation of the first prototype. In an Interactive Network humans become an integral par...
TLCA
2001
Springer
14 years 3 days ago
2001
Springer
In this paper we introduce a cut-elimination procedure for classical logic, which is both strongly normalising and consisting of local proof transformations. Traditional cut-elimin...