10051 search results - page 1773 / 2011 » A Dynamic Separator Algorithm |
140
Voted
OTM
2005
Springer
15 years 9 months ago
2005
Springer
The strong dynamics of peer-to-peer networks, coupled with the diversity of peer vocabularies, makes query processing in peer database systems a very challenging task. In this pape...
122
Voted
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
127
Voted
ROBOCUP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Self-localization in dynamic environments is a central problem in mobile robotics and is well studied in the literature. One of the most popular methods is the Monte Carl...
122
Voted
SAT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
117
Voted
SCALESPACE
2005
Springer
15 years 9 months ago
2005
Springer
Stabilised backward diffusion processes have shown their use for a number of image enhancement tasks. The goal of this paper is to show that they are also highly useful for designi...