3731 search results - page 216 / 747 » cases 2006 |
152
click to vote
INFORMATICALT
2000
15 years 6 months ago
2000
In the previous paper (Pupeikis, 2000) the problem of closed-loop robust identification using the direct approach in the presence of outliers in observations have been considered. ...
180
click to vote
INFSOF
2000
15 years 6 months ago
2000
Developing software engineering tools is a difficult task, and the environments in which these tools are deployed continually evolve as software developers' processes, tools ...
168
click to vote
INFSOF
2000
15 years 6 months ago
2000
Cleanroom usage-based statistical testing techniques have been incorporated into the software development process for a program in the Electronic Systems business of Raytheon Comp...
154
click to vote
ET
2002
15 years 6 months ago
2002
In this paper we explore two alternative approaches to system diagnosis. The first strategy is based on testability analysis performed by SATAN tool. The second approach performed ...
156
click to vote
JAR
2000
15 years 6 months ago
2000
A lot of methods have been proposed -- and sometimes implemented -- for proof search in the propositional modal logics K, KT, and S4. It is difficult to compare the usefulness of ...