4965 search results - page 59 / 993 » A Simple Abstraction for Data Modeling |
131
Voted
ZUM
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
159
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Transcriptional modules (TM) consist of groups of co-regulated genes and transcription factors (TF) regulating their expression. Two high-throughput (HT) experimental ...
164
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
179
click to vote
SIGKDD
2002
15 years 5 months ago
2002
In database marketing, data mining has been used extensively to find the optimal customer targets so as to maximize return on investment. In particular, using marketing campaign d...