Sciweavers

3678 search results - page 313 / 736
» On the Stable Paths Problem
Sort
View
LPNMR
2004
Springer
16 years 3 days ago
Towards Automated Integration of Guess and Check Programs in Answer Set Programming
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...
Thomas Eiter, Axel Polleres
AGP
2003
IEEE
16 years 1 days ago
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
Thomas Eiter, Axel Polleres
SIAMSC
2008
104views more  SIAMSC 2008»
15 years 6 months ago
Deblurring Methods Using Antireflective Boundary Conditions
In this note we consider the numerical solution of selfadjoint deblurring problems on bounded intervals. For these problems it has recently been shown that appropriate modelling of...
Martin Christiansen, Martin Hanke
IROS
2008
IEEE
158views Robotics» more  IROS 2008»
16 years 1 months ago
A model-predictive approach to formation control of omnidirectional mobile robots
— This paper presents a solution to the problem of steering a group of real omnidirectional mobile robots along a given path, while maintaining a desired formation pattern. This ...
Kiattisin Kanjanawanishkul, Andreas Zell
ANOR
2005
102views more  ANOR 2005»
15 years 6 months ago
Locating Active Sensors on Traffic Networks
Sensors are used to monitor traffic in networks. For example, in transportation networks, they may be used to measure traffic volumes on given arcs and paths of the network. This p...
Monica Gentili, Pitu B. Mirchandani