Sciweavers

490 search results - page 34 / 98
» Automated Generation of Representations in Vision
Sort
View
ECEASST
2010
13 years 5 months ago
Open Source Verification under a Cloud
Abstract: An experiment in providing volunteer cloud computing support for automated audits of open source code is described here, along with the supporting theory. Certification a...
Peter T. Breuer, Simon Pickin
ITC
2003
IEEE
158views Hardware» more  ITC 2003»
14 years 29 days ago
Extraction Error Diagnosis and Correction in High-Performance Designs
Test model generation is crucial in the test generation process of a high-performance design targeted for large volume production. A key process in test model generation requires ...
Yu-Shen Yang, Jiang Brandon Liu, Paul J. Thadikara...
VTS
1999
IEEE
106views Hardware» more  VTS 1999»
13 years 12 months ago
RT-level TPG Exploiting High-Level Synthesis Information
High-level test pattern generation is today a widely investigated research topic. The present paper proposes a fully automated, simulation-based ATPG system, to address test patte...
Silvia Chiusano, Fulvio Corno, Paolo Prinetto
3DIM
2005
IEEE
14 years 1 months ago
Semi-Automatic Range to Range Registration: A Feature-Based Method
Our goal is the production of highly accurate photorealistic descriptions of the 3D world with a minimum of human interaction and increased computational efficiency. Our input is...
Chen Chao, Ioannis Chao
RR
2007
Springer
14 years 1 months ago
AceRules: Executing Rules in Controlled Natural Language
Expressing rules in controlled natural language can bring us closer to the vision of the Semantic Web since rules can be written in the notation of the application domain and are u...
Tobias Kuhn