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
- 8Communication Networks
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...
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...
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...
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"
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...
Technical report TR09-06. We consider the problem of partitioning the set of vertices of a given unit disk graph (UDG) into a minimum number of cliques. The problem is NP-hard and various constant factor approximations are known, with the current best ratio of 3. Our main result is a polynomial...
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...
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...
Technical report TR03-11. Biological systems for spatial navigation provide fine-tuned mechanisms for orientation and complex navigational behavior. Experimentation in human beings is aimed to discover perceptual cues utilized to perform navigation in Virtual Reality environments. Such...
A Robust CBIR Approach Using Local Color Histograms
Technical report TR01-13. Global color histograms are well-known as a simple and often way to perform color-based image retrieval. However, it lacks spatial information about the image colors. The use of a grid of cells superimposed on the images and the use of loca l color histograms for each...