917 search results - page 103 / 184 » Comparison of Data Structures for Computing Formal Concepts |
119
click to vote
APN
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. This paper presents parallel approaches to the complete transient numerical analysis of stochastic reward nets (SRNs) for both shared and distributed-memory machines. Par...
157
click to vote
IS
2008
15 years 3 months ago
2008
In this paper we propose DFL -- a formal, graphical workflow language for dataflows, i.e., workflows where large amounts of complex data are manipulated, and the structure of the ...
120
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: As a consequence of the evolutionary process, data collected from related species tend to be similar. This similarity by descent can obscure subtler signals in the dat...
239
click to vote
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
116
Voted
ICPR
2002
IEEE
16 years 4 months ago
2002
IEEE
Statistical modeling for content based retrieval is examined in the context of recent TREC Video benchmark exercise. The TREC Video exercise can be viewed as a test bed for evalua...