Sciweavers

1606 search results - page 252 / 322
» Using task analysis in documentation field research
Sort
View
ICCAD
2002
IEEE
142views Hardware» more  ICCAD 2002»
16 years 2 days ago
SAT and ATPG: Boolean engines for formal hardware verification
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
Armin Biere, Wolfgang Kunz
CE
2008
91views more  CE 2008»
15 years 3 months ago
Mining e-Learning domain concept map from academic articles
Recent researches have demonstrated the importance of concept map and its versatile applications especially in e-Learning. For example, while designing adaptive learning materials...
Nian-Shing Chen, Kinshuk, Chun-Wang Wei, Hong-Jhe ...
COMCOM
2006
119views more  COMCOM 2006»
15 years 3 months ago
From content distribution networks to content networks - issues and challenges
Due to the technical developments in electronics the amount of digital content is continuously increasing. In order to make digital content respectively multimedia content availab...
Thomas Plagemann, Vera Goebel, Andreas Mauthe, Lau...
ISMDA
2005
Springer
15 years 8 months ago
Foreseeing Promising Bio-medical Findings for Effective Applications of Data Mining
Abstract. The increasing availability of automated data collection tools, database technologies and Information and Communication Technologies in biomedicine and health care have l...
Stefano Bonacina, Marco Masseroli, Francesco Pinci...
HVC
2005
Springer
97views Hardware» more  HVC 2005»
15 years 8 months ago
An Extensible Open-Source Compiler Infrastructure for Testing
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
Daniel J. Quinlan, Shmuel Ur, Richard W. Vuduc