Sciweavers

1847 search results - page 1 / 370
» Hybrid Functional Interpretations
Sort
View
IANDC
2010
91views more  IANDC 2010»
13 years 9 months ago
Functional interpretations of linear and intuitionistic logic
This article shows how different functional interpretations can be combined into what we term hybrid functional interpretations. These hybrid interpretations work on the setting o...
Paulo Oliva
CIE
2008
Springer
14 years 26 days ago
Hybrid Functional Interpretations
We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel's modified realizability and G
Mircea-Dan Hernest, Paulo Oliva
HYBRID
1994
Springer
14 years 3 months ago
A Note on Abstract Interpretation Strategies for Hybrid Automata
Thomas A. Henzinger, Pei-Hsin Ho
CSB
2005
IEEE
189views Bioinformatics» more  CSB 2005»
14 years 4 months ago
Learning Yeast Gene Functions from Heterogeneous Sources of Data Using Hybrid Weighted Bayesian Networks
We developed a machine learning system for determining gene functions from heterogeneous sources of data sets using a Weighted Naive Bayesian Network (WNB). The knowledge of gene ...
Xutao Deng, Huimin Geng, Hesham H. Ali
BMCBI
2008
131views more  BMCBI 2008»
13 years 11 months ago
K-OPLS package: Kernel-based orthogonal projections to latent structures for prediction and interpretation in feature space
Background: Kernel-based classification and regression methods have been successfully applied to modelling a wide variety of biological data. The Kernel-based Orthogonal Projectio...
Max Bylesjö, Mattias Rantalainen, Jeremy K. N...