Sciweavers

110 search results - page 6 / 22
» Improving Transition Delay Test Using a Hybrid Method
Sort
View
CAV
2007
Springer
145views Hardware» more  CAV 2007»
15 years 1 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
VTS
2002
IEEE
120views Hardware» more  VTS 2002»
15 years 2 months ago
Software-Based Weighted Random Testing for IP Cores in Bus-Based Programmable SoCs
We present a software-based weighted random pattern scheme for testing delay faults in IP cores of programmable SoCs. We describe a method for determining static and transition pr...
Madhu K. Iyer, Kwang-Ting Cheng
BMCBI
2010
103views more  BMCBI 2010»
14 years 9 months ago
MTRAP: Pairwise sequence alignment algorithm by a new measure based on transition probability between two consecutive pairs of r
Background: Sequence alignment is one of the most important techniques to analyze biological systems. It is also true that the alignment is not complete and we have to develop it ...
Toshihide Hara, Keiko Sato, Masanori Ohya
APBC
2004
132views Bioinformatics» more  APBC 2004»
14 years 11 months ago
A Novel Feature Selection Method to Improve Classification of Gene Expression Data
This paper introduces a novel method for minimum number of gene (feature) selection for a classification problem based on gene expression data with an objective function to maximi...
Liang Goh, Qun Song, Nikola K. Kasabov
IJCAI
2003
14 years 11 months ago
Making the Breakout Algorithm Complete Using Systematic Search
Local search algorithms have been very successful for solving constraint satisfaction problems (CSP). However, a major weakness has been that local search is unable to detect unso...
Carlos Eisenberg, Boi Faltings