Sciweavers

3001 search results - page 444 / 601
» Recursive type generativity
Sort
View
SIGGRAPH
2000
ACM
15 years 10 months ago
QSplat: a multiresolution point rendering system for large meshes
Advances in 3D scanning technologies have enabled the practical creation of meshes with hundreds of millions of polygons. Traditional algorithms for display, simplification, and ...
Szymon Rusinkiewicz, Marc Levoy
SIGSOFT
2000
ACM
15 years 10 months ago
Automated systematic testing for constraint-based interactive services
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
Patrice Godefroid, Lalita Jategaonkar Jagadeesan, ...
CVPR
2010
IEEE
15 years 10 months ago
Taxonomic Classification for Web-based Videos
Categorizing web-based videos is an important yet challenging task. The difficulties arise from large data diversity within a category, lack of labeled data, and degradation of vi...
Yang Song, Ming Zhao, Jay Yagnik, Xiaoyun Wu
DATE
1999
IEEE
147views Hardware» more  DATE 1999»
15 years 10 months ago
Efficient BIST Hardware Insertion with Low Test Application Time for Synthesized Data Paths
In this paper, new and efficient BIST methodology and BIST hardware insertion algorithms are presented for RTL data paths obtained from high level synthesis. The methodology is ba...
Nicola Nicolici, Bashir M. Al-Hashimi
CIKM
1999
Springer
15 years 10 months ago
A Method of Geographical Name Extraction from Japanese Text for Thematic Geographical Search
A text retrieval method called the thematic geographical search method has been developed and applied to a Japanese encyclopedia called the World Encyclopædia. In this method, th...
Yasusi Kanada