9382 search results - page 114 / 1877 » A Functional Model for Data Analysis |
102
click to vote
ERCIMDL
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Digital Library support for textual and certain types of nontextual documents has significantly advanced over the last years. While Digital Library support implies many a...
145
Voted
ICST
2009
IEEE
14 years 11 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
123
click to vote
APN
2007
Springer
15 years 7 months ago
2007
Springer
This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Proc...
128
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Gene expression measurements during the development of the fly Drosophila melanogaster are routinely used to find functional modules of temporally co-expressed genes. ...
101
click to vote
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...