7766 search results - page 324 / 1554 » Testing Nondeterminate Systems |
172
Voted
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
The company CAD-UL AG develops software tools for embedded systems. Single tools as compilers, linkers and debuggers are offered as well as complete development tool chains for th...
161
click to vote
PKDD
2000
Springer
15 years 10 months ago
2000
Springer
This paper investigates the use of reinforcement learning in electric power system emergency control. The approach consists of using numerical simulations together with on-policy M...
185
click to vote
SPDP
1991
IEEE
15 years 10 months ago
1991
IEEE
Improvements in the processing speed of multiprocessors are outpacing improvements in the speed of disk hardware. Parallel disk I/O subsystems have been proposed as one way to clo...
140
click to vote
WSC
2008
15 years 9 months ago
2008
In this paper, we address a generalized method of mapping a control system simulation model to the PLC emulator being tested using model variables and PLC tags under the offline c...
167
click to vote
ACL
2003
15 years 8 months ago
2003
We have been investigating an interactive approach for Open-domain QA (ODQA) and have constructed a spoken interactive ODQA system, SPIQA. The system derives disambiguating querie...