15253 search results - page 2454 / 3051 » Integer-Programming Software Systems |
169
click to vote
FATES
2004
Springer
16 years 18 days ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
195
click to vote
FPL
2004
Springer
16 years 18 days ago
2004
Springer
Several implementations of Artificial Neural Networks have been reported in scientific papers. Nevertheless, these implementations do not allow the direct use of off-line trained n...
216
click to vote
FSTTCS
2004
Springer
16 years 18 days ago
2004
Springer
The class of visibly pushdown languages has been recently defined as a subclass of context-free languages with desirable closure properties and tractable decision problems. We stu...
199
click to vote
GCC
2004
Springer
16 years 18 days ago
2004
Springer
Agent technology is critical in providing solutions to grid computing, including resource selection. Traditionally, agent deliberation offers a deductive process whose deliberation...
224
click to vote
GI
2004
Springer
16 years 18 days ago
2004
Springer
: We present our idea of solving parts of the vision task with an organic computing approach. We have designed a multiagent system (MAS) of many different modules working on differ...