Sciweavers

19798 search results - page 44 / 3960
» Is Structural Subtyping Useful
Sort
View
TSMC
2008
136views more  TSMC 2008»
13 years 8 months ago
Learning Relational Descriptions of Differentially Expressed Gene Groups
Abstract-- This paper presents a method that uses gene ontologies, together with the paradigm of relational subgroup discovery, to find compactly described groups of genes differen...
Igor Trajkovski, Filip Zelezný, Nada Lavrac...
FUIN
2002
123views more  FUIN 2002»
13 years 8 months ago
Learning Rough Set Classifiers from Gene Expressions and Clinical Data
Biological research is currently undergoing a revolution. With the advent of microarray technology the behavior of thousands of genes can be measured simultaneously. This capabilit...
Herman Midelfart, Henryk Jan Komorowski, Kristin N...
SAS
2012
Springer
226views Formal Methods» more  SAS 2012»
11 years 11 months ago
A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...
Jan Midtgaard, Michael D. Adams 0001, Matthew Migh...
ICFP
2012
ACM
11 years 11 months ago
Functional programming with structured graphs
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
Bruno C. d. S. Oliveira, William R. Cook
AAAI
2012
11 years 11 months ago
Improving Twitter Retrieval by Exploiting Structural Information
Most Twitter search systems generally treat a tweet as a plain text when modeling relevance. However, a series of conventions allows users to tweet in structural ways using combin...
Zhunchen Luo, Miles Osborne, Sasa Petrovic, Ting W...