Technical report / Department of Computer Science, University of British Columbia

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	University of British Columbia Department of Computer Science (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Vancouver, B.C. Univ. 1972-
Schlagworte:	Monografische Reihe
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Band
A foundation for the design and analysis of robotic systems and behaviors	1994
On finite covering of infinite spaces for protocol test selection	1993
Decision graph search	1993
Linking BDD-based symbolic evaluation to interactive theorem-proving	1993
Performance measures for robot manipulators : a unified approach	1993
Abduction as belief revision	1993
Juggling networks	1993
A compact piecewise-linear Voronoi diagram for convex sites in the plane	1993
Analysis of a recurrence arisong from a construction for non-blocking networks	1993
Self-routing superconcentrators	1993
Automatic verification of asynchronous circuits	1993
On seeing robots	1993
Counting and reporting red/blue segment intesections	1993
Numerical integration of the generalzed Euler equations	1993
Multi-evidential correlation & visual echo analysis	1993
The Raven Kernel: a microkernel for shared memory multiprocessors	1993
Detection and estimation of multiple disparities by multi-evidential correlation	1993
Formal verification by symbolic evaluation of partially-orderd trajectories	1993
A new method for influence diagram evaluation	1993
A framework of interoperability testing of network protocols	1993