5570 search results - page 912 / 1114 » Applications of Fair Testing |
144
click to vote
WIA
2000
Springer
15 years 8 months ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...
118
click to vote
ICS
1995
Tsinghua U.
15 years 8 months ago
1995
Tsinghua U.
The elimination of induction variables and the parallelization of reductions in FORTRAN programs have been shown to be integral to performance improvement on parallel computers 7,...
155
click to vote
SC
1995
ACM
15 years 8 months ago
1995
ACM
The Convex SPP-1000 is the first commercial implementation of a new generation of scalable shared memory parallel computers with full cache coherence. It employs a hierarchical s...
143
click to vote
SGP
2007
15 years 6 months ago
2007
A robust statistics approach to curvature estimation on discretely sampled surfaces, namely polygon meshes and point clouds, is presented. The method exhibits accuracy, stability ...
159
click to vote
ACCV
2010
Springer
15 years 6 months ago
2010
Springer
Automatic processing of video data is essential in order to allow efficient access to large amounts of video content, a crucial point in such applications as video mining and surve...