19936 search results - page 3937 / 3988 » Inductive process modeling |
107
click to vote
COMAD
2009
15 years 9 days ago
2009
We present a class of web queries whose result is a multi-column relation instead of a collection of unstructured documents as in standard web search. The user specifies the query...
GRC
2010
IEEE
15 years 8 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 8 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...
106
click to vote
GECCO
2008
Springer
15 years 8 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...
120
click to vote
ICFP
2010
ACM
15 years 8 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...