Sciweavers

6693 search results - page 72 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
15 years 7 months ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
WWW
2008
ACM
16 years 3 months ago
Generating diverse and representative image search results for landmarks
Can we leverage the community-contributed collections of rich media on the web to automatically generate representative and diverse views of the world's landmarks? We use a c...
Lyndon S. Kennedy, Mor Naaman
MM
2003
ACM
118views Multimedia» more  MM 2003»
15 years 7 months ago
Generation of interactive multi-level video summaries
In this paper, we describe how a detail-on-demand representation for interactive video is used in video summarization. Our approach automatically generates a hypervideo composed o...
Frank M. Shipman III, Andreas Girgensohn, Lynn Wil...
134
Voted
EDCC
2005
Springer
15 years 8 months ago
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
Nicky Williams, Bruno Marre, Patricia Mouy, Muriel...
CAISE
2009
Springer
15 years 6 months ago
Defining and Using Schematic Correspondences for Automatically Generating Schema Mappings
Mapping specification has been recognised as a critical bottleneck to the large scale deployment of data integration systems. A mapping is a description using which data structured...
Lu Mao, Khalid Belhajjame, Norman W. Paton, Alvaro...