Search results

(41 - 60 of 224)

Pages

Determining Cliques of a Graph
Clause trees: a tool for understanding and implementing resolution in automated reasoning
Applications of the extension principle to the plane
Constructing case bases from medical databases
An evaluation of case-based reasoning for fault diagnosis
On the generating process and the class typicality measure
User-side modelling and comparative analysis of airborne LiDAR errors
Dynamic data structures for real-time display of digital terrain models
A driver for raster-like plotting devices
An implementation of a multidimensional dynamic range tree based on an AVL tree
Counting the number of equivalent binary resolution proofs
Spatial analysis of land cover changes in the Grand Lake Meadows, New Brunswick
Pseudo-random number sequences for parallel computers
Typed three automata
Acceleration of Blob Detection in a Video Stream using Hardware
Carrier-Phase multipath mitigation in RTK-based GNSS dual-antenna systems
A partition monitor for fast-batch-processing with limited execution (FABLE)
A device independent computer plotting system
Discrete sampling methods for vector Monte Carlo codes
A dynamic data structure for multi-dimensional range searching

Pages

Zircon - This is a contributing Drupal Theme
Design by WeebPal.