1174 search results - page 165 / 235 » Functional Trees |
141
click to vote
WABI
2009
Springer
15 years 9 months ago
2009
Springer
Comparative analysis of biomolecular networks constructed using measurements from different conditions, tissues, and organisms offer a powerful approach to understanding the stru...
118
click to vote
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
OWL Ontology language can be very expressive. This could provide difficulty in ontology understanding process. We belief, that an ontology visualization equipped with intuitive int...
152
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
114
click to vote
CIE
2005
Springer
15 years 8 months ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
113
click to vote
ERCIMDL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The Multivalent Document Model offers a practical, proven, nocompromises architecture for preserving digital documents of potentially any data format. We have implemented...