Sciweavers

1382 search results - page 209 / 277
» Procedural Generation of Roads
Sort
View
ITC
2003
IEEE
139views Hardware» more  ITC 2003»
15 years 3 months ago
Fault Pattern Oriented Defect Diagnosis for Memories
Failure analysis (FA) and diagnosis of memory cores plays a key role in system-on-chip (SOC) product development and yield ramp-up. Conventional FA based on bitmaps and the experi...
Chih-Wea Wang, Kuo-Liang Cheng, Jih-Nung Lee, Yung...
PG
2003
IEEE
15 years 3 months ago
Lightweight Face Relighting
In this paper we present a method to relight human faces in real time, using consumer-grade graphics cards even with limited 3D capabilities. We show how to render faces using a c...
Sylvain Paris, François X. Sillion, Long Qu...
JCDL
2003
ACM
160views Education» more  JCDL 2003»
15 years 3 months ago
Automatic Document Metadata Extraction Using Support Vector Machines
Automatic metadata generation provides scalability and usability for digital libraries and their collections. Machine learning methods offer robust and adaptable automatic metadat...
Hui Han, C. Lee Giles, Eren Manavoglu, Hongyuan Zh...
SMA
2003
ACM
154views Solid Modeling» more  SMA 2003»
15 years 3 months ago
Discretization of functionally based heterogeneous objects
The presented approach to discretization of functionally defined heterogeneous objects is oriented towards applications associated with numerical simulation procedures, for exampl...
Elena Kartasheva, Valery Adzhiev, Alexander A. Pas...
FM
2003
Springer
109views Formal Methods» more  FM 2003»
15 years 3 months ago
Certifying and Synthesizing Membership Equational Proofs
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
Grigore Rosu, Steven Eker, Patrick Lincoln, Jos&ea...