358 search results - page 69 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
100
click to vote
KDD
2007
ACM
16 years 22 hour ago
2007
ACM
We present DL8, an exact algorithm for finding a decision tree that optimizes a ranking function under size, depth, accuracy and leaf constraints. Because the discovery of optimal...
169
click to vote
SIGMOD
2008
ACM
15 years 11 months ago
2008
ACM
The proliferation of network data in various application domains has raised privacy concerns for the individuals involved. Recent studies show that simply removing the identities ...
109
Voted
HOTOS
2007
IEEE
15 years 3 months ago
2007
IEEE
Program comments have long been used as a common practice for improving inter-programmer communication and code readability, by explicitly specifying programmers' intentions ...
118
Voted
JCB
2006
14 years 11 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
102
Voted
KDD
2006
ACM
16 years 22 hour ago
2006
ACM
Correlation clustering aims at grouping the data set into correlation clusters such that the objects in the same cluster exhibit a certain density and are all associated to a comm...