20306 search results - page 4012 / 4062 » Business Modelling Is Not Process Modelling |
106
click to vote
GRC
2010
IEEE
15 years 28 days ago
2010
IEEE
Inference of latent variables from complicated data is one important problem in data mining. The high dimensionality and high complexity of real world data often make accurate infe...
HPDC
2010
IEEE
15 years 28 days ago
2010
IEEE
MapReduce offers a flexible programming model for processing and generating large data sets on dedicated resources, where only a small fraction of such resources are every unavaila...
114
click to vote
GECCO
2008
Springer
15 years 27 days ago
2008
Springer
Motivated by the ability of living cells to form specific shapes and structures, we present a computational approach using distributed genetic programming to discover cell-cell i...
122
click to vote
ICFP
2010
ACM
15 years 27 days ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
103
click to vote
HASKELL
2008
ACM
15 years 27 days ago
2008
ACM
The quality of a programming language itself is only one component in the ability of application writers to get the job done. Programming languages can succeed or fail based on th...