1713 search results - page 173 / 343 » Analysis of Procedure Splitability |
165
Voted
CHARME
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
113
click to vote
WILF
2005
Springer
15 years 6 months ago
2005
Springer
Aim of this work is to apply a novel comprehensive machine learning tool for data mining to preprocessing and interpretation of gene expression data. Furthermore, some visualizatio...
118
click to vote
SIGADA
2004
Springer
15 years 6 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
ICDS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Recently, two complementary approaches are proposed to represent, model and analyze laws: the Nomos and VLPM approaches. Nomos is a goal-oriented approach to effectively...
86
Voted
ISQED
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Silicon debug poses a unique challenge to the engineer because of the limited access to internal signals of the chip. Embedded hardware such as trace buffers helps overc...