Sciweavers

704 search results - page 72 / 141
» A Randomized Method for Integrated Exploration
Sort
View
BMCBI
2008
99views more  BMCBI 2008»
15 years 1 months ago
Ranking analysis of F-statistics for microarray data
Background: Microarray technology provides an efficient means for globally exploring physiological processes governed by the coordinated expression of multiple genes. However, ide...
Yuan-De Tan, Myriam Fornage, Hongyan Xu
ISOLA
2007
Springer
15 years 7 months ago
Using Invariant Detection Mechanism in Black Box Inference
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
Muzammil Shahbaz, Roland Groz
VL
1999
IEEE
103views Visual Languages» more  VL 1999»
15 years 6 months ago
ZASH: A Browsing System for Multi-Dimensional Data
This paper described a browsing system for movie database. The system, named ZASH, was designed and developed to explore the following features: (1) the use of multiple 2D planes ...
Emiko Orimo, Hideki Koike
FMCAD
2007
Springer
15 years 5 months ago
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...
GECCO
2000
Springer
131views Optimization» more  GECCO 2000»
15 years 5 months ago
A Genetic Algorithm with Tabu Search for Multimodal and Multiobjective Function Optimization
The integration of genetic algorithms (GAs) and tabu search is one of traditional problems in function optimization in the GA literature. However, most proposed methods have utili...
Setsuya Kurahashi, Takao Terano