Search Sciweavers | Sciweavers

19985 search results - page 51 / 3997

» Modelling Ecological Data

click to vote

CAV
2006
Springer

165views Hardware» more CAV 2006»

Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study

15 years 1 months ago

Download www.cis.upenn.edu

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...

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...

claim paper

Read More »

click to vote

SIGKDD
2002

232views more SIGKDD 2002»

The True Lift Model - A Novel Data Mining Approach to Response Modeling in Database Marketing

14 years 9 months ago

Download www.sigkdd.org

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...

Victor S. Y. Lo

claim paper

Read More »

click to vote

IJMI
2002

126views more IJMI 2002»

Representation primitives, process models and patient data in computer-interpretable clinical practice guidelines: : A literatur

14 years 9 months ago

Download bmir.stanford.edu

Representation of clinical practice guidelines in a computer-interpretable format is a critical issue for guideline development, implementation, and evaluation. We studied 11 type...

Dongwen Wang, Mor Peleg, Samson W. Tu, Aziz A. Box...

claim paper

Read More »

click to vote

ICDE
1989
IEEE

55views Database» more ICDE 1989»

Modeling Semantic Constraints with Logic in the EARL Data Model

15 years 1 months ago