Sciweavers

159 search results - page 20 / 32
» A sufficient condition for pooling data
Sort
View
BMCBI
2007
78views more  BMCBI 2007»
13 years 7 months ago
Improved human disease candidate gene prioritization using mouse phenotype
Background: The majority of common diseases are multi-factorial and modified by genetically and mechanistically complex polygenic interactions and environmental factors. High-thro...
Jing Chen, Huan Xu, Bruce J. Aronow, Anil G. Jegga
ESCIENCE
2007
IEEE
13 years 11 months ago
CDF Monte Carlo Production on LCG Grid via LcgCAF Portal
The improvements of the luminosity of the Tevatron Collider require large increases in computing requirements for the CDF experiment which has to be able to increase proportionally...
Gabriele Compostella, Donatella Lucchesi, Simone P...
TIP
2010
153views more  TIP 2010»
13 years 6 months ago
A Versatile Model for Packet Loss Visibility and its Application to Packet Prioritization
In this paper, we propose a generalized linear model for video packet loss visibility that is applicable to different group-of-picture structures. We develop the model using three...
Ting-Lan Lin, Sandeep Kanumuri, Yuan Zhi, David Po...
CVPR
2006
IEEE
14 years 9 months ago
Structure from Motion with Known Camera Positions
The wide availability of GPS sensors is changing the landscape in the applications of structure from motion techniques for localization. In this paper, we study the problem of est...
Rodrigo L. Carceroni, Ankita Kumar, Kostas Daniili...
CADE
2008
Springer
14 years 7 months ago
Automated Induction with Constrained Tree Automata
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
Adel Bouhoula, Florent Jacquemard