Sciweavers

1719 search results - page 216 / 344
» Magic Sets for Data Integration
Sort
View
BMCBI
2008
129views more  BMCBI 2008»
14 years 10 months ago
Motif-directed network component analysis for regulatory network inference
Background: Network Component Analysis (NCA) has shown its effectiveness in discovering regulators and inferring transcription factor activities (TFAs) when both microarray data a...
Chen Wang, Jianhua Xuan, Li Chen, Po Zhao, Yue Wan...
ICIP
2007
IEEE
15 years 12 months ago
Fast Detection of Independent Motion in Crowds Guided by Supervised Learning
Different from appearance-based methods, clustering feature points only by their motion coherence is an emerging category of approach to detecting and tracking individuals among c...
Yuan Li, Haizhou Ai
ICML
2004
IEEE
15 years 11 months ago
Unifying collaborative and content-based filtering
Collaborative and content-based filtering are two paradigms that have been applied in the context of recommender systems and user preference prediction. This paper proposes a nove...
Justin Basilico, Thomas Hofmann
VMCAI
2009
Springer
15 years 5 months ago
Model-Checking the Linux Virtual File System
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
Andy Galloway, Gerald Lüttgen, Jan Tobias M&u...
FCCM
2009
IEEE
192views VLSI» more  FCCM 2009»
15 years 5 months ago
FPGA Floating Point Datapath Compiler
This paper will describe the architecture of a compiler which will convert an untimed C description of a set of floating point expressions into a synthesizable datapath optimized ...
Martin Langhammer, Tom VanCourt