3819 search results - page 455 / 764 » Predicting Dependability by Testing |
185
click to vote
ICML
2000
IEEE
16 years 7 months ago
2000
IEEE
We describe a simple active learning heuristic which greatly enhances the generalization behavior of support vector machines (SVMs) on several practical document classification ta...
189
click to vote
ICML
2000
IEEE
16 years 7 months ago
2000
IEEE
Clustering algorithms conduct a search through the space of possible organizations of a data set. In this paper, we propose two types of instance-level clustering constraints ? mu...
162
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Knowledge workers making sense of a topic divide their time among activities including searching for information, reading, and taking notes. We have built a software system that s...
167
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
164
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
The position of a world point’s solar shadow depends on its geographical location, the geometrical relationship between the orientation of the sunshine and the ground plane wher...