Sciweavers

598 search results - page 119 / 120
» Independence Semantics for BKBs
Sort
View
P2PKM
2004
14 years 10 months ago
Ontology-based Service Discovery in P2P Networks
The ubiquitous computing vision is to make knowledge and services easily available in our everyday environments. A wide range of devices, applications and services can be intercon...
Daniel Elenius, Magnus Ingmarsson
IOPADS
1996
100views more  IOPADS 1996»
14 years 10 months ago
ENWRICH a Compute-Processor Write Caching Scheme for Parallel File Systems
Many parallel scientific applications need high-performance I/O. Unfortunately, end-to-end parallel-I/O performance has not been able to keep up with substantial improvements in p...
Apratim Purakayastha, Carla Schlatter Ellis, David...
AAAI
1990
14 years 10 months ago
Constructor: A System for the Induction of Probabilistic Models
The probabilistic network technology is a knowledgebased technique which focuses on reasoning under uncertainty. Because of its well defined semantics and solid theoretical founda...
Robert M. Fung, Stuart L. Crawford
113
Voted
ICFP
2010
ACM
14 years 9 months ago
A certified framework for compiling and executing garbage-collected languages
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
Andrew McCreight, Tim Chevalier, Andrew P. Tolmach
BMCBI
2008
170views more  BMCBI 2008»
14 years 9 months ago
Evaluation of GO-based functional similarity measures using S. cerevisiae protein interaction and expression profile data
Background: Researchers interested in analysing the expression patterns of functionally related genes usually hope to improve the accuracy of their results beyond the boundaries o...
Tao Xu, LinFang Du, Yan Zhou