Sciweavers

292 search results - page 37 / 59
» Proving Consistency of Pure Methods and Model Fields
Sort
View
CGF
2006
132views more  CGF 2006»
14 years 9 months ago
Verification of Physically Based Rendering Algorithms
Within computer graphics, the field of predictive rendering is concerned with those methods of image synthesis which yield results that do not only look real, but are also radiome...
Christiane Ulbricht, Alexander Wilkie, Werner Purg...
GMP
2002
IEEE
199views Solid Modeling» more  GMP 2002»
15 years 2 months ago
Hex-Dominant Mesh Generation with Directionality Control via Packing Rectangular Solid Cells
A new computational method that creates a hex-dominant mesh of an arbitrary 3D geometric domain is presented. The proposed method generates a high-quality hexdominant mesh by: (1)...
Soji Yamakawa, Kenji Shimada
ISSS
2000
IEEE
109views Hardware» more  ISSS 2000»
15 years 2 months ago
Verification of Embedded Systems using a Petri Net based Representation
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
VLSISP
2010
106views more  VLSISP 2010»
14 years 8 months ago
A Multi-Pronged Approach to Improving Semantic Extraction of News Video
In this paper we describe a multi-strategy approach to improving semantic extraction from news video. Experiments show the value of careful parameter tuning, exploiting multiple fe...
Alexander G. Hauptmann, Ming-yu Chen, Michael G. C...
CVPR
2007
IEEE
15 years 11 months ago
Groupwise Shape Registration on Raw Edge Sequence via A Spatio-Temporal Generative Model
Groupwise shape registration of raw edge sequence is addressed. Automatically extracted edge maps are treated as noised input shape of the deformable object and their registration...
Huijun Di, Rao Naveed Iqbal, Guangyou Xu, Linmi Ta...