Sciweavers

220 search results - page 42 / 44
» A Framework for Good Enough Testing
Sort
View
DAC
2010
ACM
15 years 22 days ago
Scalable specification mining for verification and diagnosis
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
Wenchao Li, Alessandro Forin, Sanjit A. Seshia
DICTA
2008
14 years 11 months ago
Image Reconstruction from Contrast Information
An iterative algorithm for the reconstruction of natural images given only their contrast map is presented. The solution is neuro-physiologically inspired, where the retinal cells...
Asim A. Khwaja, Roland Goecke
BMCBI
2010
133views more  BMCBI 2010»
14 years 9 months ago
New components of the Dictyostelium PKA pathway revealed by Bayesian analysis of expression data
Background: Identifying candidate genes in genetic networks is important for understanding regulation and biological function. Large gene expression datasets contain relevant info...
Anup Parikh, Eryong Huang, Christopher Dinh, Blaz ...
BMCBI
2006
85views more  BMCBI 2006»
14 years 9 months ago
Identification of physicochemical selective pressure on protein encoding nucleotide sequences
Background: Statistical methods for identifying positively selected sites in protein coding regions are one of the most commonly used tools in evolutionary bioinformatics. However...
Wendy S. W. Wong, Raazesh Sainudiin, Rasmus Nielse...
IVC
2007
91views more  IVC 2007»
14 years 9 months ago
Evolutionary approach to inverse planning in coplanar radiotherapy
A unified evolutionary approach to coplanar radiotherapy inverse planning is proposed. It consists of a genetic algorithm-based framework that solves with little modification tr...
Vitoantonio Bevilacqua, Giuseppe Mastronardi, Gius...