8828 search results - page 1731 / 1766 » Formal methods in practice |
SDM
2007
SIAM
14 years 11 months ago
2007
SIAM
Topic modeling techniques have widespread use in text data mining applications. Some applications use batch models, which perform clustering on the document collection in aggregat...
DFN
2003
14 years 11 months ago
2003
In recent years research activities in computer network security focus more actively on the development of effective methods in intrusion detection. The reason for this developmen...
SCS
2004
14 years 11 months ago
2004
The HEAT/ACT project consists of replacing the conventional mechanical flight control system of a helicopter with a fly-by-wire system. With such a project, the safety concerns ar...
SDM
2004
SIAM
14 years 11 months ago
2004
SIAM
Segmentation based on RFM (Recency, Frequency, and Monetary) has been used for over 50 years by direct marketers to target a subset of their customers, save mailing costs, and imp...
WSC
2004
14 years 11 months ago
2004
Using simulated data to develop and study diagnostic tools for data analysis is very beneficial. The user can gain insight about what happens when assumptions are violated since t...