Sciweavers

757 search results - page 64 / 152
» Assessing tools for use with webcasts
Sort
View
AAAI
1997
14 years 11 months ago
DISXPERT: A Social Security Disability Screening Expert System
This case study paper reports on the development and implementation of DISXPERT, a rule-based expert system tool for referral of social security disability recipients to vocationa...
James R. Nolan
VSTTE
2010
Springer
14 years 7 months ago
Dafny Meets the Verification Benchmarks Challenge
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
K. Rustan M. Leino, Rosemary Monahan
DT
2006
98views more  DT 2006»
14 years 9 months ago
Handling variations and uncertainties
The widely used engineering decisions concerning the performance of technological equipment for process industries are usually deterministic. Since the early 1990s probabilistic m...
Tim Cheng
AUIC
2005
IEEE
14 years 11 months ago
A Taxonomic Analysis of User-Interface Metaphors in the Microsoft O ce Project Gallery
User-interface metaphors are not well understood in terms of their relationships and qualities. They are, however, constantly used both consciously and unconsciously in most user-...
Pippin Barr, Rilla Khaled, James Noble, Robert Bid...
KDD
2004
ACM
210views Data Mining» more  KDD 2004»
15 years 10 months ago
Visually mining and monitoring massive time series
Moments before the launch of every space vehicle, engineering discipline specialists must make a critical go/no-go decision. The cost of a false positive, allowing a launch in spi...
Jessica Lin, Eamonn J. Keogh, Stefano Lonardi, Jef...