Sciweavers

295 search results - page 46 / 59
» In-Parameter-Order: A Test Generation Strategy for Pairwise ...
Sort
View
ICRA
2010
IEEE
178views Robotics» more  ICRA 2010»
13 years 6 months ago
Biomimetic optic flow sensing applied to a lunar landing scenario
Autonomous landing on unknown extraterrestrial bodies requires fast, noise-resistant motion processing to elicit appropriate steering commands. Flying insects excellently master vi...
Florent Valette, Franck Ruffier, Stéphane V...
ICFP
2001
ACM
14 years 8 months ago
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
Allyn Dimock, Ian Westmacott, Robert Muller, Frank...
BMCBI
2008
98views more  BMCBI 2008»
13 years 8 months ago
Normalization of Illumina Infinium whole-genome SNP data improves copy number estimates and allelic intensity ratios
Background: Illumina Infinium whole genome genotyping (WGG) arrays are increasingly being applied in cancer genomics to study gene copy number alterations and allele-specific aber...
Johan Staaf, Johan Vallon-Christersson, David Lind...
CASCON
2006
118views Education» more  CASCON 2006»
13 years 10 months ago
Ensuring behavioural equivalence in test-driven porting
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
Mark Hennessy, James F. Power
CIKM
2006
Springer
14 years 10 days ago
Structure-based querying of proteins using wavelets
The ability to retrieve molecules based on structural similarity has use in many applications, from disease diagnosis and treatment to drug discovery and design. In this paper, we...
Keith Marsolo, Srinivasan Parthasarathy, Kotagiri ...