Sciweavers

1399 search results - page 217 / 280
» Verification of Test Suites
Sort
View
73
Voted
BMCBI
2010
99views more  BMCBI 2010»
14 years 12 months ago
Assignment of chromosomal locations for unassigned SNPs/scaffolds based on pair-wise linkage disequilibrium estimates
Background: Recent developments of high-density SNP chips across a number of species require accurate genetic maps. Despite rapid advances in genome sequence assembly and availabi...
Mehar S. Khatkar, Matthew Hobbs, Markus Neuditschk...
COMPUTER
2008
92views more  COMPUTER 2008»
14 years 12 months ago
Can Programming Be Liberated, Period?
higher, more appropriate, level of abstraction. It still entails writing programs, usually by using symbols, keywords, and operational instructions to tell the computer what we wan...
David Harel
CORR
2010
Springer
88views Education» more  CORR 2010»
14 years 12 months ago
Dynamic and Transparent Analysis of Commodity Production Systems
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
Aristide Fattori, Roberto Paleari, Lorenzo Martign...
FAC
2008
100views more  FAC 2008»
14 years 12 months ago
Slicing communicating automata specifications: polynomial algorithms for model reduction
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
Sébastien Labbé, Jean-Pierre Gallois
PR
2008
146views more  PR 2008»
14 years 11 months ago
Integration of local and global geometrical cues for 3D face recognition
We present a unified feature representation of 2.5D pointclouds and apply it to face recognition. The representation integrates local and global geometrical cues in a single compa...
Faisal R. Al-Osaimi, Mohammed Bennamoun, Ajmal S. ...