Sciweavers

7404 search results - page 201 / 1481
» New Tools in Education
Sort
View
ITC
2003
IEEE
126views Hardware» more  ITC 2003»
15 years 12 months ago
Diagnosis-Based Post-Silicon Timing Validation Using Statistical Tools and Methodologies
This paper describes a new post-silicon validation problem for diagnosing systematic timing errors. We illustrate the differences between timing validation and the traditional log...
Angela Krstic, Li-C. Wang, Kwang-Ting Cheng, T. M....
AAAI
2000
15 years 8 months ago
GeoRep: A Flexible Tool for Spatial Representation of Line Drawings
A central problem in qualitative reasoning is understanding how people reason about space and shape with diagrams. We claim that progress in diagrammatic reasoning is being slowed...
Ronald W. Ferguson, Kenneth D. Forbus
AC
2008
Springer
15 years 6 months ago
DARPA's HPCS Program- History, Models, Tools, Languages
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
Jack Dongarra, Robert Graybill, William Harrod, Ro...
CG
1999
Springer
15 years 6 months ago
Virtual reality as a tool for verification of assembly and maintenance processes
Business process re-engineering is becoming a main focus in today's efforts to overcome problems and deficits in the automotive and aerospace industries (e.g., integration in...
Antonino Gomes de Sá, Gabriel Zachmann
BMCBI
2006
166views more  BMCBI 2006»
15 years 6 months ago
bioNMF: a versatile tool for non-negative matrix factorization in biology
Background: In the Bioinformatics field, a great deal of interest has been given to Non-negative matrix factorization technique (NMF), due to its capability of providing new insig...
Alberto D. Pascual-Montano, Pedro Carmona-Saez, Mo...