6800 search results - page 537 / 1360 » Testing with Functions as Specifications |
205
click to vote
SIGIR
1999
ACM
15 years 12 months ago
1999
ACM
This paper reports a controlled study with statistical signi cance tests on ve text categorization methods: the Support Vector Machines (SVM), a k-Nearest Neighbor (kNN) classi er...
207
click to vote
VR
1999
IEEE
15 years 12 months ago
1999
IEEE
A technique is proposed for object manipulation with a virtual tool using multiple exact interactions. Exact test is introduced that uses real-time collision detection for both ha...
165
click to vote
ATS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper considers the testability implications of low power design methodologies. Low power and high testability are shown to be highly contrasting requirements, and an optimiz...
165
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
The functional validation of a state-of-the-art digital design is usually performed by simulation of a register-transfer-level model. The degree to which the testvector suite cove...
229
click to vote
IFIP
1993
Springer
15 years 11 months ago
1993
Springer
The Architecture of Integrated Information Systems (ARIS) is a popular framework for integrated process modeling. Previous research analysed ARIS using an ontology developed by Bu...