1713 search results - page 173 / 343 » Analysis of Procedure Splitability |
255
click to vote
CHARME
2005
Springer
16 years 16 days 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...
202
click to vote
WILF
2005
Springer
16 years 13 days 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...
205
Voted
SIGADA
2004
Springer
16 years 10 days 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...
186
click to vote
ICDS
2010
IEEE
16 years 9 days 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...
157
Voted
ISQED
2010
IEEE
16 years 9 days 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...