6941 search results - page 563 / 1389 » Testing as a Certification Approach |
187
click to vote
COMPSAC
2002
IEEE
16 years 1 days ago
2002
IEEE
The problem of testing from an extended finite state machine (EFSM) is complicated by the presence of infeasible paths. This paper considers the problem of expanding an EFSM in o...
190
click to vote
DATE
2002
IEEE
16 years 1 days ago
2002
IEEE
Optimizing power consumption at high-level is a critical step towards power-efficient digital system designs. This paper addresses the power management problem by scheduling a giv...
172
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We present a grammar-based genetic programming framework for the solving the timetabling problem via the evolution of constructive heuristics. The grammar used for prod...
185
click to vote
CICLING
2001
Springer
15 years 11 months ago
2001
Springer
The problem of document categorization is considered. The set of domains and the keywords specific for these domains is supposed to be selected beforehand as initial data. We apply...
186
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
A new design method for non-time based tracking controller of mobile robots is presented. The new design method converts a controller designed by traditional time-based approaches ...