Sciweavers

4651 search results - page 662 / 931
» Data Reduction Using Multiple Models Integration
Sort
View
TACAS
2010
Springer
255views Algorithms» more  TACAS 2010»
15 years 1 months ago
Satisfiability Modulo the Theory of Costs: Foundations and Applications
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
Alessandro Cimatti, Anders Franzén, Alberto...
143
Voted
ICDM
2006
IEEE
155views Data Mining» more  ICDM 2006»
15 years 9 months ago
Automatic Single-Organ Segmentation in Computed Tomography Images
In this paper, we propose a hybrid approach for automatic single-organ segmentation in Computed Tomography (CT) data. The approach consists of three stages: first, a probability i...
Ruchaneewan Susomboon, Daniela Stan Raicu, Jacob D...
343
Voted
NAR
2011
374views Computer Vision» more  NAR 2011»
14 years 10 months ago
The BioGRID Interaction Database: 2011 update
The Biological General Repository for Interaction Datasets (BioGRID) is a public database that archives and disseminates genetic and protein interaction data from model organisms ...
Chris Stark, Bobby-Joe Breitkreutz, Andrew Chatr-a...
BICOB
2010
Springer
15 years 8 months ago
Biological Relevance Detection via Network Dynamic Analysis
Most existing approaches for gene selection are based on evaluating the statistical relevance. However, there are remarkable discrepancies between statistical relevance and biolog...
Zheng Zhao, Huan Liu, Jiangxin Wang, Yung Chang
146
Voted
EDBT
2004
ACM
143views Database» more  EDBT 2004»
16 years 3 months ago
OGSA-DQP: A Service for Distributed Querying on the Grid
OGSA-DQP is a distributed query processor exposed to users as an Open Grid Services Architecture (OGSA)-compliant Grid service. This service supports the compilation and evaluation...
M. Nedim Alpdemir, Arijit Mukherjee, Anastasios Go...