Search

1996

Liu, Ling

Technical report TR96-30. The increased complexity of object-oriented models necessitates the enhancement of adaptiveness and robustness of an object-oriented design towards changing requirements. The understanding of what properties are critical for construction of an adaptive schema design...

1996

Lee, Yooshin, Pu, Calton, Liu, Ling

Technical report TR96-10. We propose a query mediation framework to support customizable information gathering across heterogeneous and autonomous information sources. Instead of an integrated (and static) global schema, we propose an adaptive approach to interoperability which allows information...

1996

Culberson, Joseph

Technical report TR96-18. This paper might have been subtitled \"An algorithmicist looks at no free lunch.\" We use simple adversary arguments to redevelop and explore some of the no free lunch (NFL) theorems and perhaps extend them a little. A second goal is to clarify the relationship of NFL...

1996

Schone, Manuela

Technical report TR96-14. This Technical Report is based upon an M.Sc. thesis in the Department of Computing Science at the University of Alberta. It describes the design of a generic multimedia database system that supports a wide class of documents. The design is characterized by an...

1996

Sorenson, Paul, Findeisen, Piotr, Zhuang, Yong

Technical report TR96-13. Metaview is a metasystem that can generate automatically environments to support software engineering activities, such as requirement analysis and design. This report focuses on creating Object-Oriented (O-O) support environments in Metaview to help efficiently construct...

1996

Trudell, M., Moran, S. R., Cheel, D., Macyk, T., Thacker, D.

Development and extraction of coal resources in Alberta disrupts the landscape and alters two other important resources, land and groundwater. In order to support coal resource development that was economically and environmentally responsible, the Reclamation Research Technical Advisory Committee...

1996

Trybulec, Andrzej, Rudnicki, Piotr

Technical report TR96-08. We believe that mechanical checking of real-life proofs can become practical and therefore we use Mizar---a proof checking system for proofs written in a style of traditional mathematics. In the beginning of 1994 we came across a copy of L. Lamport's paper in which \"a...

1996

Fortin, Scott

Technical report TR96-20. The graph isomorphism problem can be easily stated: check to see if two graphs that look differently are actually the same. The problem occupies a rare position in the world of complexity theory, it is clearly in NP but is not known to be in P and it is not known to be...

1996

Szafron, Duane, Li, John, Ozsu, M. Tamer

Technical report TR96-05. In this paper we consider various spatial relationships that are of general interest for retrieving data from multimedia databases. We present a unified representation of spatial objects for both topological and directional relations. Such a representation is based on...

1996

University of Alberta. Dept. of Rural Economy

The annual reports collect the departmental activities for the events of each calendar year. Names of personnel, publication lists, awards, research grants, and other matters are collected here.