6800 search results - page 155 / 1360 » Testing with Functions as Specifications |
SIGUCCS
2000
ACM
14 years 26 days ago
2000
ACM
Microsoft Windows 2000 represents a major change in desktop and network operating systems. This latest Windows operating system includes many new features and technologies that wi...
WSC
2008
13 years 11 months ago
2008
The performance of Kriging interpolation for enhancement, smoothing, reconstruction and optimization of a test data set is investigated. Specifically, the ordinary twodimensional ...
EMNLP
2008
13 years 10 months ago
2008
We present a novel method for discovering and modeling the relationship between informal Chinese expressions (including colloquialisms and instant-messaging slang) and their forma...
HCI
2001
13 years 10 months ago
2001
Usability testing typically focuses on methodology and metrics, while the specific interactions being tested are chosen in an ad hoc way. This paper demonstrates a framework for o...
CSDA
2008
13 years 9 months ago
2008
ABSTRACT. This paper introduces a tree-based model that combines aspects of CART (Classification and Regression Trees) and STR (Smooth Transition Regression). The model is called t...