Sciweavers

7821 search results - page 136 / 1565
» Nested Ordered Sets and their Use for Data Modelling
Sort
View
POPL
2010
ACM
16 years 3 months ago
A Relational Modal Logic for Higher-Order Stateful ADTs
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
Derek Dreyer, Georg Neis, Andreas Rossberg, Lars B...
204
Voted
JMLR
2010
125views more  JMLR 2010»
15 years 26 days ago
On utility of gene set signatures in gene expression-based cancer class prediction
Machine learning methods that can use additional knowledge in their inference process are central to the development of integrative bioinformatics. Inclusion of background knowled...
Minca Mramor, Marko Toplak, Gregor Leban, Tomaz Cu...
BIBE
2007
IEEE
151views Bioinformatics» more  BIBE 2007»
15 years 7 months ago
On the Effectiveness of Constraints Sets in Clustering Genes
—In this paper, we have modified a constrained clustering algorithm to perform exploratory analysis on gene expression data using prior knowledge presented in the form of constr...
Erliang Zeng, Chengyong Yang, Tao Li, Giri Narasim...
ACL
2009
15 years 3 months ago
Semi-supervised Learning for Automatic Prosodic Event Detection Using Co-training Algorithm
Most of previous approaches to automatic prosodic event detection are based on supervised learning, relying on the availability of a corpus that is annotated with the prosodic lab...
Je Hun Jeon, Yang Liu
JSW
2008
96views more  JSW 2008»
15 years 6 months ago
A Collaborative Inter-Data Grid Strong Semantic Model with Hybrid Namespace
The Data Grid, like all other collaboration models, has strict rules for contributors to follow and many criteria to abide with. Namespace is one of the rules that govern the contr...
Dalia El-Mansy, Ahmed Sameh