Sciweavers

1015 search results - page 157 / 203
» Fast and robust super-resolution
Sort
View
GLVLSI
2005
IEEE
85views VLSI» more  GLVLSI 2005»
15 years 3 months ago
Utilizing don't care states in SAT-based bounded sequential problems
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
Sean Safarpour, Görschwin Fey, Andreas G. Ven...
VISUALIZATION
2005
IEEE
15 years 3 months ago
Reconstructing Manifold and Non-Manifold Surfaces from Point Clouds
This paper presents a novel approach for surface reconstruction from point clouds. The proposed technique is general in the sense that it naturally handles both manifold and non-m...
Jianning Wang, Manuel M. Oliveira, Arie E. Kaufman
SI3D
2005
ACM
15 years 3 months ago
ZP+: correct Z-pass stencil shadows
We present a novel algorithm for the rendering of hard shadows cast by a point light source. The well-known Z-pass method for rasterizing shadow volumes is not always correct. Our...
Samuel Hornus, Jared Hoberock, Sylvain Lefebvre, J...
ATAL
2005
Springer
15 years 3 months ago
AgentSteel: an agent-based online system for the planning and observation of steel production
The steel production of the German company Saarstahl AG, a global respected steel manufacturer, represents a Supply Chain which comprehends several time-critical and highly interf...
Sven Jacobi, Cristián Madrigal-Mora, Esteba...
CIKM
2005
Springer
15 years 3 months ago
Rotation invariant indexing of shapes and line drawings
We present data representations, distance measures and organizational structures for fast and efficient retrieval of similar shapes in image databases. Using the Hough Transform w...
Michail Vlachos, Zografoula Vagena, Philip S. Yu, ...