Sciweavers

482 search results - page 42 / 97
» Depth-based inference for functional data
Sort
View
ICFP
2006
ACM
15 years 9 months ago
OCaml + XDuce
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
Alain Frisch
CORR
2011
Springer
140views Education» more  CORR 2011»
14 years 1 months ago
A Wiki for Business Rules in Open Vocabulary, Executable English
The problem of business-IT alignment is of widespread economic concern. As one way of addressing the problem, this paper describes an online system that functions as a kind of Wik...
Adrian Walker
ICASSP
2011
IEEE
14 years 1 months ago
Real-time conjugate gradients for online fMRI classification
Real-time functional magnetic resonance imaging (rtfMRI) enables classification of brain activity during data collection thus making inference results accessible to both the subj...
Hao Xu, Yongxin Taylor Xi, Ray Lee, Peter J. Ramad...
ICLP
2007
Springer
15 years 1 months ago
User-Definable Resource Bounds Analysis for Logic Programs
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
Jorge Navas, Edison Mera, Pedro López-Garc&...
BMCBI
2007
182views more  BMCBI 2007»
14 years 9 months ago
Identifying regulatory targets of cell cycle transcription factors using gene expression and ChIP-chip data
Background: ChIP-chip data, which indicate binding of transcription factors (TFs) to DNA regions in vivo, are widely used to reconstruct transcriptional regulatory networks. Howev...
Wei-Sheng Wu, Wen-Hsiung Li, Bor-Sen Chen