Technical Reports (Computing Science)
Technical Reports Collection
Items in this Collection
- 28Szafron, Duane
- 21Schaeffer, Jonathan
- 19Zaiane, Osmar
- 15Ozsu, M. Tamer
- 14Nascimento, Mario
- 13Yang, Herb
- 29Database Systems
- 18Artificial Intelligence
- 13Computer Games
- 9Computer Graphics
- 9Databases
- 8Communication Networks
-
2007
Culberson, Joseph, Yang, Fan, Holte, Robert
Technical report TR07-06. The effectiveness of heuristics search is influnced by the accuracy of the heuristic values. State space abstractions have been proved to be effective for generating admissible heuristics. In this paper, A general definition for abstractions is given. As a demonstration...
-
A Generic Type System for an Object-Oriented Multimedia Database System
1996
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...
-
2005
Wu, Gang, Lin, Guohui, You, Jia-Huai
Technical report TR05-05. A lookahead branch-and-bound algorithm is proposed for solving the Maximum Quartet Consistency Problem where the input is a complete set of quartets on the taxa and the goal is to construct a phylogeny which satisfies the maximum number of given quartets. Such a...
-
2007
Technical report TR07-01. A method for quantitative measurement of gas volume changes in upper airway is presented in this paper. The aim of this study is to assess the feasibility of a novel Cone Beam Computerized Tomography (CBCT) technique for quantitative measurement of gas volume in upper...
-
2005
Technical report TR05-14. The first section of this paper describes a method for correcting inter-slice intensity variations in MR images. The method does not rely on a tissue model or segmentation, and is not affected by the presence of abnormalities. The second section of this work extends...
-
1995
de Bruin, Arie, Plaat, Aske, Schaeffer, Jonathan, Pijls, Wim
Technical report TR95-15. This paper has three main contributions to our understanding of fixed-depth minimax search: (A) A new formulation for Stockman's SSS* algorithm, based on Alpha-Beta, is presented. It solves all the perceived drawbacks of SSS, finally transforming it into a practical...
-
1994
Schaeffer, Jonathan, Pijls, Wim, de Bruin, Arie, Plaat, Aske
Technical report TR94-18. This paper introduces a new paradigm for minimax game-tree search algorithms. MT is a memory-enhanced version of Pearl's Test procedure. By changing the way MT is called, a number of best-first game-tree search algorithms can be simply and elegantly constructed...
-
A Note on "How to Write a Proof"
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...
-
2005
Technical report TR05-21. Non-Newtonian fluids exist in nature, such as blood and egg white, and in man-made products, such as toothpaste and ketchup. They exhibit more interesting and complex behaviors than traditional Newtonian fluid such as water. In this paper, we propose a new particle-based...
-
2008
Technical report TR08-04. There are many network intrusion detection and prevention tools available to the network administrator of today, but Snort has become an enterprise standard due to its open source nature and also due to the fact that there are many open source operating systems which...