Sciweavers

884 search results - page 21 / 177
» Linear-Input Subset Analysis
Sort
View
JSAT
2006
93views more  JSAT 2006»
15 years 2 months ago
Back to the SAT05 Competition: an a Posteriori Analysis of Solver Performance on Industrial Benchmarks
This paper analyzes the SAT05 solver competition on industrial instances. We carefully investigate the performance of solvers from the competition and demonstration categories. We...
Emmanuel Zarpas
133
Voted
BMCBI
2007
176views more  BMCBI 2007»
15 years 2 months ago
Genome Expression Pathway Analysis Tool - Analysis and visualization of microarray gene expression data under genomic, proteomic
Background: Regulation of gene expression is relevant to many areas of biology and medicine, in the study of treatments, diseases, and developmental stages. Microarrays can be use...
Markus Weniger, Julia C. Engelmann, Jörg Schu...
ICDE
2008
IEEE
131views Database» more  ICDE 2008»
16 years 3 months ago
Parallel Evaluation of Composite Aggregate Queries
Aggregate measures summarizing subsets of data are valuable in exploratory analysis and decision support, especially when dependent aggregations can be easily specified and compute...
Lei Chen 0003, Christopher Olston, Raghu Ramakrish...
PLDI
2012
ACM
13 years 4 months ago
RockSalt: better, faster, stronger SFI for the x86
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-...
TMI
2010
134views more  TMI 2010»
14 years 9 months ago
Exploiting Quasiperiodicity in Motion Correction of Free-Breathing Myocardial Perfusion MRI
Free-breathing image acquisition is desirable in first-pass gadolinium- enhanced magnetic resonance imaging (MRI), but the breathing movements hinder the direct automatic analysis ...
Gert Wollny, María J. Ledesma-Carbayo, Pete...