Sciweavers

6040 search results - page 485 / 1208
» Generating Instance Models from Meta Models
Sort
View
FORMATS
2003
Springer
16 years 23 days ago
Time-Optimal Test Cases for Real-Time Systems
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
Anders Hessel, Kim Guldstrand Larsen, Brian Nielse...
ICDM
2009
IEEE
156views Data Mining» more  ICDM 2009»
15 years 5 months ago
Scalable Classification in Large Scale Spatiotemporal Domains Applied to Voltage-Sensitive Dye Imaging
We present an approach for learning models that obtain accurate classification of large scale data objects, collected in spatiotemporal domains. The model generation is structured ...
Igor Vainer, Sarit Kraus, Gal A. Kaminka, Hamutal ...
3DPVT
2006
IEEE
276views Visualization» more  3DPVT 2006»
16 years 1 months ago
Dynamic 3D Urban Scene Modeling Using Multiple Pushbroom Mosaics
In this paper, a unified, segmentation-based approach is proposed to deal with both stereo reconstruction and moving objects detection problems using multiple stereo mosaics. Each...
Hao Tang, Zhigang Zhu, George Wolberg
ICCS
2001
Springer
15 years 12 months ago
Statistical Models for Automatic Performance Tuning
Achieving peak performance from library subroutines usually requires extensive, machine-dependent tuning by hand. Automatic tuning systems have emerged in response, and they typic...
Rich Vuduc, James Demmel, Jeff Bilmes
DRR
2010
15 years 10 months ago
Efficient automatic OCR word validation using word partial format derivation and language model
In this paper we present an OCR validation module, implemented for the System for Preservation of Electronic Resources (SPER) developed at the U.S. National Library of Medicine.1 ...
Siyuan Chen, Dharitri Misra, George R. Thoma