Sciweavers

3007 search results - page 114 / 602
» Designed -in-diagnostics: A new optical method
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 2 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
JOT
2007
74views more  JOT 2007»
14 years 9 months ago
ClassSheets - model-based, object-oriented design of spreadsheet applications
Using spreadsheets is the preferred method to calculate, display or store anything that fits into a table-like structure. They are often used by end users to create applications. ...
Jan-Christopher Bals, Fabian Christ, Gregor Engels...
BMCBI
2008
96views more  BMCBI 2008»
14 years 10 months ago
Use of normalization methods for analysis of microarrays containing a high degree of gene effects
Background: High-throughput microarrays are widely used to study gene expression across tissues and developmental stages. Analysis of gene expression data is challenging in these ...
Terri T. Ni, William J. Lemon, Yu Shyr, Tao P. Zho...
CPHYSICS
2006
204views more  CPHYSICS 2006»
14 years 10 months ago
Genetically controlled random search: a global optimization method for continuous multidimensional functions
A new stochastic method for locating the global minimum of a multidimensional function inside a rectangular hyperbox is presented. A sampling technique is employed that makes use ...
Ioannis G. Tsoulos, Isaac E. Lagaris
ICIP
2006
IEEE
15 years 11 months ago
Multi-View Image Registration for Wide-Baseline Visual Sensor Networks
We present a new dense multi-view registration technique for wide-baseline video/images that integrates a parametric optical flowbased approach with a sparse set of feature corres...
Gulcin Caner, A. Murat Tekalp, Gaurav Sharma, Wend...