2519 search results - page 301 / 504 » Reasoning with Textual Cases |
172
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
154
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a complete system for reading typewritten lexicon words in noisy images - in this case museum index cards. The system is conceptually simple, and straightforw...
176
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
— Efficient use of network resources has long been an important problem for large-scale network operators. To this end, several recent research efforts have proposed automated m...
152
click to vote
TPHOL
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract. We show that certain input-output relations, termed inductive invariants are of central importance for termination proofs of algorithms defined by nested recursion. Indu...
160
click to vote
ICAIL
2003
ACM
15 years 12 months ago
2003
ACM
In recent years, practical applications of legal knowledge-based systems have become increasingly common. This raises the issue of their functioning in practice and their actual in...