Search results
Pages
-
-
-
The ultimate strategy to search on m rays?
-
Author(s):
-
Lopez-Ortiz, Schuierer
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1998
-
Type:
-
Technical Report
-
-
We consider the problem of searching on m current rays for a target of unknown location. If no upper bound on the distance to...
-
-
-
Bottom-up procedures for minimal clause trees
-
Author(s):
-
Horton, Spencer
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1996
-
Type:
-
Technical Report
-
-
Clause trees provide a basis for reasoning procedures .that use binary resolution. In this paper binary resolution trees are...
-
-
-
The ACORN Multi-Agent System
-
Author(s):
-
Marsh, Ghorbani, Bhavsar
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
2001
-
Type:
-
Technical Report
-
-
ACORN (Agent-based Community Oriented Routing Network) is a distributed multi-agent architecture for the search, distribution...
-
-
-
Inductive theory of vision
-
Author(s):
-
Goldfarb, Deshpande, Bhavsar
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1996
-
Type:
-
Technical Report
-
-
In spite of the fact that some of the outstanding physiologists and neurophysiologists (e.g. Hermann von Helmholtz and Horace...
-
-
-
Looking after children in Canada
-
Author(s):
-
Kufeldt, Simard, Vachon, Baker, Andrews
-
Date:
-
2000-06
-
Type:
-
Report
-
-
The “Looking After Children in Canada” project was conducted in collaboration with Child Welfare agencies in Canada’s six...
-
-
-
Position-independent street searching
-
Author(s):
-
Hipke, Lopez-Ortizt
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1999
-
Type:
-
Technical Report
-
-
A polygon P is a street if there exist points (u, v) on the boundary such that P is weakly visible from any path from u to v....
-
-
-
What Is a Structural Representation?
-
Author(s):
-
Goldfarb, Golubitsky, Korkin
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
2001
-
Type:
-
Technical Report
-
-
We outline a formal foundation for a “structural” (or “symbolic”) object/event representation, the necessity of which is...
-
-
-
Adaptive set intersections
-
Author(s):
-
Demaine, Lopez-Ortiz, Munro
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1998
-
Type:
-
Technical Report
-
-
We introduce a new data structure, corresponding to a fully persistent SET ADT, motivated by the efficient evaluation of...
-
-
-
Non-numeric measurement devices
-
Author(s):
-
Goldfarb, Deshpande
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1996
-
Type:
-
Technical Report
-
-
In this report we define a fundamentally new type of measurement device- structured measurement device. The readings of all...
-
-
-
MOSAA developer's guide
-
Author(s):
-
Wang, Nickerson, Lees
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1996
-
Type:
-
Technical Report
-
-
MOSAA (Molecular Spectroscopic Assignment Assistant) is a knowledge-based system that can assist physicists in spectroscopic...
-
-
-
Merge Path Improvements for Minimal Model Hyper Tableaux
-
Author(s):
-
Baumgartner, Horton, Spencer
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1998
-
Type:
-
Technical Report
-
-
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with...
-
-
-
Detecting Cascade Vulnerability in Linear Time
-
Author(s):
-
Horton
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
2000
-
Type:
-
Technical Report
-
-
The cascade vulnerability detection problem asks whether an opponent can use interconnections to pass data improperly across...
Pages
Zircon - This is a contributing Drupal Theme
Design by
WeebPal.