1642 search results - page 133 / 329 » A Heuristic Method for Business Process Model Evaluation |
196
click to vote
FMICS
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
189
click to vote
GCB
2000
Springer
15 years 10 months ago
2000
Springer
Conventional phylogenetic tree estimation methods assume that all sites in a DNA multiple alignment have the same evolutionary history. This assumption is violated in data sets fro...
155
click to vote
CBSQ
2003
Springer
15 years 11 months ago
2003
Springer
There is growing interest in the notion of software development through the planned integration of COTS (Commercial Off-The-Shelf) products. The potential advantages of this integ...
174
click to vote
JMLR
2010
15 years 1 months ago
2010
This paper introduces a Bayesian algorithm for constructing predictive models from data that are optimized to predict a target variable well for a particular instance. This algori...
210
click to vote
PVLDB
2008
15 years 5 months ago
2008
The diversity and large volumes of data processed in the Natural Sciences today has led to a proliferation of highlyspecialized and autonomous scientific databases with inherent a...