Search

1992

Lewchuk, Michael

Technical report TR92-05. Genetic algorithms are adaptive search algorithms which generate and test a population of individuals, where each individual corresponds to a solution. They then adapt to the information obtained from testing, seeking superior solutions by selecting and combining...

1993

Reinefeld, Alexander, Marsland, Tony

Technical report TR93-02. With the continuing price-performance improvement of small computers there is growing interest in looking again at some of the heuristic techniques developed for problem-solving and planning programs, to see if they can be enhanced or replaced by more algorithmic...

1993

Peters, Randal J., Ozsu, M. Tamer, Szafron, Duane, Lipka, Anna

Technical report TR93-01. The establishment of a formal object model provides a theoretical foundation to investigate other objectbase features such as query processing. In this report, we present an extensible uniform behavioral object query model for the TIGUKAT(*) object management system. ...

1993

Alexiev, Vladimir

Technical report TR93-15. One of the most difficult problems on the way to an integration of Object-Oriented and Logic Programming is the modeling of changeable object state(i.e. object dynamics) in a particular logic in order not to forfeit the declarative nature of LP. Classical logic is...

1993

Lake, Robert, Schaeffer, Jonathan, Lu, Paul

Technical report TR93-13. Chess endgame databases, while of important theoretical interest, have yet to make a significant impact in tournament chess. In the game of checkers, however, endgame databases have played a pivotal role in the success of our World Championship challenger program...

1993

Szafron, Duane, Holst, Wade

Technical report TR93-07. A \"first\" implementation of the Modular Smalltalk object-oriented programming language is presented. The implementation includes an object-oriented parser, object-oriented representation for code fragments and an object-oriented C-code generator, all implemented in...

1993

Yuan, Li-Yan

Technical report TR93-17. We study the expressive power of first order autoepistemic logic. We argue that full introspection of rational agents should be carried out by minimizing positive introspection and maximizing negative introspection. Based on full introspection, we propose the...

1993

Szafron, Duane, Schaeffer, Jonathan, Wilson, Gregory

Technical report TR93-09. The explosive growth of commercial and academic interest in parallel and distributed computing during the past fifteen years has been accompanied by a corresponding increase in the number of available parallel programming systems, and in the variety of approaches to...

1993

Zhang, Hong, Kube, C. Ronald

Technical report TR93-06. In this paper, we explore the idea of using environmental cues as a control for a chain of sequential behaviours which, when taken together, define a task achieving group behaviour. Our approach is to define the collective task, to be performed by multiple robots, as a...

1993

Schaeffer, Jonathan, Lobe, Greg, Szafron, Duane

Technical report TR93-04. The Enterprise programming environment supports the development of applications that run concurrently on a network of workstations. This paper describes the object-oriented components of Enterprise, implemented in Smalltalk-80, and their seamless integration with ...