7766 search results - page 1126 / 1554 » Testing Nondeterminate Systems |
147
click to vote
CLEF
2003
Springer
15 years 10 months ago
2003
Springer
This paper reports on the pilot question answering track that was carried out within the CLEF initiative this year. The track was divided into monolingual and bilingual tasks: mono...
118
click to vote
COCOS
2003
Springer
15 years 10 months ago
2003
Springer
This paper details a technique, called inter-block backtracking (IBB), which improves interval solving of decomposed systems with non-linear equations over the reals. This techniqu...
155
click to vote
DEXA
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Data mining, which aims at extracting interesting information from large collections of data, has been widely used as an effective decision making tool. Mining the datas...
125
click to vote
FPGA
2003
ACM
15 years 9 months ago
2003
ACM
This paper proposes a new high-level technique for designing fault tolerant systems in SRAM-based FPGAs, without modifications in the FPGA architecture. Traditionally, TMR has bee...
164
click to vote
IBPRIA
2003
Springer
15 years 9 months ago
2003
Springer
Nowadays, the surveillance and inspection of underwater installations, such as power and telecommunication cables and pipelines, is carried out by trained operators who, from the s...