Sciweavers

8025 search results - page 1019 / 1605
» Combinators Introduction: An Algorithm
Sort
View
ITC
2003
IEEE
222views Hardware» more  ITC 2003»
16 years 20 days ago
Race: A Word-Level ATPG-Based Constraints Solver System For Smart Random Simulation
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
Mahesh A. Iyer
VISUALIZATION
2003
IEEE
16 years 20 days ago
Accelerating Large Data Analysis by Exploiting Regularities
We present techniques for discovering and exploiting regularity in large curvilinear data sets. The data can be based on a single mesh or a mesh composed of multiple submeshes (al...
David Ellsworth, Patrick J. Moran
VISUALIZATION
2003
IEEE
16 years 20 days ago
Visualization, Optimization, and Business Strategy: A Case Study
We describe a visualization application intended for operational use in formulating business strategy in the customer service arena. The visualization capability provided in this ...
Donna L. Gresh, Eugene I. Kelton
MM
2003
ACM
135views Multimedia» more  MM 2003»
16 years 19 days ago
Detail-on-demand hypervideo
We demonstrate the use of detail-on-demand hypervideo in interactive training and video summarization. Detail-on-demand video allows viewers to watch short video segments and to f...
John Doherty, Andreas Girgensohn, Jonathan Helfman...
SI3D
2003
ACM
16 years 19 days ago
Interactive image-based rendering using feature globalization
Image-based rendering (IBR) systems enable virtual walkthroughs of photorealistic environments by warping and combining reference images to novel viewpoints under interactive user...
Daniel G. Aliaga, Dimah Yanovsky, Thomas A. Funkho...
« Prev « First page 1019 / 1605 Last » Next »