Sciweavers

1830 search results - page 32 / 366
» Functional Programs as Linked Data
Sort
View
ADMA
2006
Springer
143views Data Mining» more  ADMA 2006»
15 years 3 months ago
Robust Collective Classification with Contextual Dependency Network Models
Abstract. In order to exploit the dependencies in relational data to improve predictions, relational classification models often need to make simultaneous statistical judgments abo...
YongHong Tian, Tiejun Huang, Wen Gao
CPHYSICS
2006
182views more  CPHYSICS 2006»
14 years 11 months ago
MinFinder: Locating all the local minima of a function
A new stochastic clustering algorithm is introduced that aims to locate all the local minima of a multidimensional continuous and differentiable function inside a bounded domain. ...
Ioannis G. Tsoulos, Isaac E. Lagaris
ALT
1994
Springer
15 years 3 months ago
Program Synthesis in the Presence of Infinite Number of Inaccuracies
Most studies modeling inaccurate data in Gold style learning consider cases in which the number of inaccuracies is finite. The present paper argues that this approach is not reaso...
Sanjay Jain
115
Voted
BMCBI
2005
132views more  BMCBI 2005»
14 years 11 months ago
CLPM: A Cross-Linked Peptide Mapping Algorithm for Mass Spectrometric Analysis
Background: Protein-protein, protein-DNA and protein-RNA interactions are of central importance in biological systems. Quadrapole Time-of-flight (Q-TOF) mass spectrometry is a sen...
Yong Tang, Yingfeng Chen, Cheryl F. Lichti, Roger ...
FLOPS
2010
Springer
15 years 6 months ago
Beluga: Programming with Dependent Types, Contextual Data, and Contexts
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
Brigitte Pientka