3424 search results - page 445 / 685 » Automated Testing of Classes |
120
Voted
DSD
2007
IEEE
15 years 11 months ago
2007
IEEE
Similar to sequential test pattern generation, the problem of identifying untestable faults in sequential circuits remains unsolved. Most of the previous works in untestability id...
129
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantiļ¬ers and present a class of modal logics which is decidable when augmented with bisimulation quantiļ¬...
120
click to vote
MCS
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we present a new method for fusing classiļ¬ers output for problems with a number of classes M > 2. We extend the well-known Behavior Knowledge Space method with a...
157
click to vote
NLDB
2007
Springer
15 years 11 months ago
2007
Springer
The application of the multilingual knowledge encoded in Wikipedia to an openādomain CrossāLingual Question Answering system based on the Inter Lingual Index (ILI) module of Eu...
72
Voted
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
Autostereoscopic displays are an emerging technology which provide 3D viewing experiences without the need of glasses or other encumbering viewing aids. In this paper we explore t...