Sciweavers

4266 search results - page 422 / 854
» The container loading problem
Sort
View
ICDAR
2009
IEEE
16 years 1 months ago
A Self-Adaptive Method for Extraction of Document-Specific Alphabets
Recognition and encoding of digitized historical documents is still a challenging and difficult task. A major problem is the occurrence of unknown glyphs and symbols which might n...
Stefan Pletschacher
ICRA
2009
IEEE
241views Robotics» more  ICRA 2009»
16 years 1 months ago
Robust edge extraction for SwissRanger SR-3000 range images
—This paper presents a new method for extracting object edges from range images obtained by a 3D range imaging sensor⎯the SwissRanger SR-3000. In range image preprocessing stag...
Cang Ye, Guruprasad M. Hegde
AAIM
2009
Springer
105views Algorithms» more  AAIM 2009»
16 years 1 months ago
On Acyclicity of Games with Cycles
We study restricted improvement cycles (ri-cycles) in finite positional n-person games with perfect information modeled by directed graphs (digraphs) that may contain cycles. We o...
Daniel Andersson, Vladimir Gurvich, Thomas Dueholm...
EMO
2009
Springer
174views Optimization» more  EMO 2009»
16 years 1 months ago
Constraint Programming
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision...
Pascal Van Hentenryck
FMICS
2009
Springer
16 years 1 months ago
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-...