Sciweavers

16430 search results - page 189 / 3286
» On Computable Tree Functions
Sort
View
LICS
2005
IEEE
15 years 9 months ago
Eager Normal Form Bisimulation
This paper describes two new bisimulation equivalences for the pure untyped call-by-value λ-calculus, called enf bisimilarity and enf bisimilarity up to η. They are based on eag...
Soren Lassen
NAR
2011
208views Computer Vision» more  NAR 2011»
14 years 6 months ago
Tomato Functional Genomics Database: a comprehensive resource and analysis package for tomato functional genomics
Tomato Functional Genomics Database (TFGD) provides a comprehensive resource to store, query, mine, analyze, visualize and integrate large-scale tomato functional genomics data se...
Zhangjun Fei, Je-Gun Joung, Xuemei Tang, Yi Zheng,...
BMCBI
2010
179views more  BMCBI 2010»
15 years 4 months ago
A semi-supervised learning approach to predict synthetic genetic interactions by combining functional and topological properties
Background: Genetic interaction profiles are highly informative and helpful for understanding the functional linkages between genes, and therefore have been extensively exploited ...
Zhuhong You, Zheng Yin, Kyungsook Han, De-Shuang H...
KDD
2003
ACM
150views Data Mining» more  KDD 2003»
16 years 4 months ago
Learning relational probability trees
Classification trees are widely used in the machine learning and data mining communities for modeling propositional data. Recent work has extended this basic paradigm to probabili...
Jennifer Neville, David Jensen, Lisa Friedland, Mi...
142
Voted
NI
2011
168views more  NI 2011»
14 years 6 months ago
Automated Reconstruction of Dendritic and Axonal Trees by Global Optimization with Geometric Priors
We present a novel probabilistic approach to fully automated delineation of tree structures in noisy 2D images and 3D image stacks. Unlike earlier methods that rely mostly on local...
Engin Türetken, Germán González...