Sciweavers

3954 search results - page 334 / 791
» Image-based Model Completion
Sort
View
ICPR
2002
IEEE
16 years 7 months ago
Adaptive Stack Algorithm in Document Image Decoding
The Stack algorithm, which is a best-first search algorithm widely used in speech recognition, is modified for application to the problem of recognizing machine printed text in th...
Kris Popat, Daniel H. Greene, Tze-Lei Poo
VMCAI
2009
Springer
16 years 1 months ago
Reducing Behavioural to Structural Properties of Programs with Procedures
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
Dilian Gurov, Marieke Huisman
IROS
2008
IEEE
142views Robotics» more  IROS 2008»
16 years 22 days ago
Probabilistic mapping of dynamic obstacles using Markov chains for replanning in dynamic environments
— Robots acting in populated environments must be capable of safe but also time efficient navigation. Trying to completely avoid regions resulting from worst case predictions of...
Florian Rohrmüller, Matthias Althoff, Dirk Wo...
PIMRC
2008
IEEE
16 years 21 days ago
A Distributed IP Mobility Approach for 3G SAE
—Future generations of mobile operator networks, based on an all-IP-based flat architecture and a multitude of different access technologies, require a proper IP-based mobility ...
Mathias Fischer, Frank-Uwe Andersen, Andreas K&oum...
148
Voted
ICEBE
2007
IEEE
79views Business» more  ICEBE 2007»
16 years 19 days ago
Partition-based Profit Optimisation for Multi-class Requests in Clusters of Servers
This paper investigates profit optimisation by the partitioning of server pools. Different types of web requests are considered in this paper: best-effort requests and multi-class...
Ligang He, James Wen Jun Xue, Stephen A. Jarvis