5829 search results - page 126 / 1166 » The Practice of Cluster Analysis |
142
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
149
click to vote
NIPS
2008
15 years 5 months ago
2008
ROC curves are one of the most widely used displays to evaluate performance of scoring functions. In the paper, we propose a statistical method for directly optimizing the ROC cur...
136
click to vote
ECSCW
2001
15 years 5 months ago
2001
This paper compares the properties of physical and digital workspaces in the context of a prototype of a collaborative virtual environment that has been developed with reference to...
137
click to vote
WSC
2001
15 years 5 months ago
2001
This paper describes a novel method for detecting the bottleneck in a discrete event system by examining the average duration of a machine being active for all machines. The machi...
129
click to vote
WSC
2000
15 years 5 months ago
2000
This paper presents a simulation study carried out to solve a problem of manufacturing process reengineering. The specific company in which the study took place is a medium size m...