116 search results - page 4 / 24 » A New Intersection Model and Improved Algorithms for Toleran... |
SPIN
2009
Springer
14 years 9 days ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
GLOBECOM
2006
IEEE
13 years 11 months ago
2006
IEEE
— Anycast routing is very useful for many applications such as resource discovery in Delay Tolerant Networks (DTNs). In this paper, based on a new DTN model, we first analyze th...
CSO
2009
IEEE
14 years 16 days ago
2009
IEEE
When a paid price discount activity occurs, the decisionmaker must decide whether or not and when to pay the additional fees for preferential price in an online fashion. This prob...
ECCV
2008
Springer
14 years 7 months ago
2008
Springer
Abstract. Shape retrieval/matching is a very important topic in computer vision. The recent progress in this domain has been mostly driven by designing smart features for providing...
BMCBI
2005
13 years 5 months ago
2005
Background: To study complex biochemical reaction networks in living cells researchers more and more rely on databases and computational methods. In order to facilitate computatio...