Sciweavers

693 search results - page 52 / 139
» Minimization and Partitioning Method Reducing Input Sets
Sort
View
ICCV
2005
IEEE
16 years 3 months ago
Reconstructing the Geometry of Flowing Water
We present a recording scheme, image formation model and reconstruction method that enables image-based modeling of flowing bodies of water from multi-video input data. The record...
Bastian Goldlücke, Ivo Ihrke, Marcus A. Magno...
ATS
2005
IEEE
132views Hardware» more  ATS 2005»
15 years 7 months ago
Concurrent Test Generation
We define a new type of test, called “concurrent test,” for a combinational circuit. Given a set of target faults, a concurrent-test is an input vector that detects all (or m...
Vishwani D. Agrawal, Alok S. Doshi
ISSTA
2009
ACM
15 years 8 months ago
Automatic system testing of programs without test oracles
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
Christian Murphy, Kuang Shen, Gail E. Kaiser
ICANN
2005
Springer
15 years 7 months ago
Accurate and Robust Image Superresolution by Neural Processing of Local Image Representations
Image superresolution involves the processing of an image sequence to generate a still image with higher resolution. Classical approaches, such as bayesian MAP methods, require ite...
Carlos Miravet, Francisco de Borja Rodrígue...
BMCBI
2008
133views more  BMCBI 2008»
15 years 1 months ago
CORE_TF: a user-friendly interface to identify evolutionary conserved transcription factor binding sites in sets of co-regulated
Background: The identification of transcription factor binding sites is difficult since they are only a small number of nucleotides in size, resulting in large numbers of false po...
Matthew S. Hestand, Michiel van Galen, Michel P. V...