313 search results - page 37 / 63 » Lazy Abstraction with Interpolants |
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract-In fast time varying systems, the problem of acquiring the channel coefficients required for symbol decoding commonly arises. A method of resolving this problem is the use...
IWCIA
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. The expressiveness of a lot of image analysis algorithms depends on the question whether shape information is preserved during digitization. Most existing approaches to a...
ROBOCUP
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. This paper presents a new approach to optimize gait parameter sets using evolutionary algorithms. It separates the crossover-step of the evolutionary algorithm into an in...
ICCSA
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. We introduce a pure-streamfunction formulation for the incompressible Navier-Stokes equations. The idea is to replace the vorticity in the vorticity- streamfunction evolu...
DGCI
2009
Springer
14 years 7 days ago
2009
Springer
Abstract. The exact, subpixel watershed algorithm delivers very accurate watershed boundaries based on a spline interpolation, but is slow and only works in 2D. On the other hand, ...