RAPPORTS TECHNIQUES D'INFORMATIQUE (1994)
École d'Ingénierie et de Technologie de l'InformationUniversité d'Ottawa
Ottawa, Ontario K1N 6N5 CANADA
http://www.site.uottawa.ca/fra/ecole/publications
| TR-94-01 | Automating Reuse of Software for Expert System Analysis of Remote Sensing Data. | D.G. Goodenough, D. Charlebois, S. Matwin, and M. Robson | January 1994. |
| TR-94-02 | Text processing withouth a priori Domain Knowledge: Semi-Automatic Linguistic Analysis for Incremental Knowledge Acquisition. | Sylvain Delisle | January 1994. |
| TR-94-03 | Feature Interaction Detection Using Backward Reasoning With Lotos. | Bernard Stepien and Luigi Logrippo | January 1994. |
| TR-94-04 | LORD: Learning Logical and Ordering Constraints. | Johanne Morin and Stan Matwin | February 1994. |
| TR-94-05 | Specifying Features and Analysing Their Interactions in aLOTOS Environment. | Mohamed Faci and Luigi Logrippo | March 1994. |
| TR-94-06 | On Minimizing the Length of Checking Sequences. | Hasan Ural, Xiaolin Wu, and Fan Zhang | March 1994. |
| TR-94-07 | Clause-Level Relationship Analysis in the TANKA System. | Ken Barker | April 1994. |
| TR-94-08 | An Extension of Def-Use Graph for Increased Accuracy in Data Flow Representation. | Hasan Ural | April 1994. |
| TR-94-09 | StatLog: Comparison of Classification Algorithms on Large Real-World Problems. | C. Feng, R. King, and A. Sutherland | May 1994. |
| TR-94-10 | Verification in Concurrent Systems by Simultaneous Reachability Analysis. | Kadir Ozdemir and Hasan Ural | May 1994. |
| TR-94-11 | A Proof for Checking Sequence Generation by the UIOv Method. | Ali Rezaki and Hasan Ural | June 1994. |
| TR-94-12 | A round-up validity proof for the clique tree inequalities for 2-edge connected subgraph polytope. | Sylvia Boyd and Fan Zhang | July 1994. |
| TR-94-13 | Transforming clique tree inequalities to induce facets for the 2-edge connected polytope. | Sylvia Boyd and Fan Zhang | July 1994. |
| TR-94-14 | Construction of Checking Sequences Based on Characterization Sets. | Ali Rezaki and Hasan Ural | July 1994. |
| TR-94-15 | Architecture for Open Distributed Software Systems. | Kazi Farooqui and Luigi Logrippo | August 1994. |
| TR-94-16 | Introduction to Open Distributed Processing. | Kazi Farooqui and Luigi Logrippo | August 1994. |
| TR-94-17 | Introduction to ODP Computational Model. | Kazi Farooqui and Luigi Logrippo | August 1994 |
| TR-94-18 | OSI Management Model in the ODP Architectural Framework. | Kazi Farooqui | November 1994. |
| TR-94-19 | An Algebraic Approach for Detecting Feature Interactions. | M. Faci and L. Logrippo | December 1994 |