Search results

(341 - 356 of 356)

Pages

: 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...

: Design of a semi-automated LiDAR point classification framework
Author(s):: Amolins
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 2016
Type:: Technical Report
: Data from airborne light detection and ranging (LiDAR) systems are becoming more commonplace and are being used in...

: Legal issues and validation of volunteered geographic information
Author(s):: Rak
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 2013
Type:: Technical Report
: The Canadian Geospatial Data Infrastructure (CGDI) provides access to authoritative geographic datasets of Canada, which are...

: Design and analysis of vectorized Monte Carlo codes
Author(s):: Sarno, Bhavsar, Banerjee
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1989
Type:: Technical Report
: Vectorized Monte Carlo codes use a set of vectors, generally referred to as a stack in the literature, to hold the attribute...

: 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...

: U.S Coast guard marine accident data base, U.S Coastguard marine accident data base
Author(s):: Hottendorff, Hullmeine
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1992
Type:: Technical Report
: Over the last years different systems of Electronic Navigational Charts (ENC) have been developed. Different companies...

: An O (n log 2 n / log log n) lower bound for Algorithm W in a synchronous fail-stop (no restart) PRAM
Author(s):: Lopez-Ortiz
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: In [1] Buss et al. propose an algorithm for the Write-All problem for a general fail-stop PRAM. In the same paper it is...

: A hyperfactorization of order 8, index 2
Author(s):: Horton
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1988
Type:: Technical Report

: Generation of discrete random variables on vector computers for Monte Carlo simulations
Author(s):: Sarno, Bhavsar, Hussein
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1990
Type:: Technical Report
: The paper reviews existing methods for generating discrete random variables and their suitability for vector processing. A...

: Design of semi-automatic algorithm for shoreline extraction using Synthetic Aperture Radar (SAR) images
Author(s):: Flemming
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 2005
Type:: Technical Report
: The coastal zones are one of the most rapidly changing environments in the world. The coast takes up a big portion of the...

: SWAMI: A Multiagent, Active Representation of a User’s Browsing Interests
Author(s):: Kilfoil, Ghorbani
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: The rapid growth of the World Wide Web has complicated the process of web browsing by providing an overwhelming wealth of...

: Cost Model of Satellite Systems for Real-Time Helicopter Operations
Author(s):: Nickerson, Wu
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2002
Type:: Technical Report
: Wireless communication has entered its fastest growth period in history since development of technologies provide wide spread...

: Combining Rank/Activity with Set of Support, Hyperresolution and Subsumption
Author(s):: Horton, Spencer
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: The rank/activity (R/A) restriction of binary resolution specifies that literals in clauses have ranks, and are either active...

: Historical maps of grand lake meadows
Author(s):: McGrath
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 2013
Type:: Technical Report
: Grand Lake Meadows is a historically and ecologically significant wetland in New Brunswick. This research studied Grand Lake...

: Knowledge Representation for a Power Plant Interactive Operating Advisor
Author(s):: Maillet
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1990
Type:: Technical Report
: The safe and efficient generation of electricity by power plants requires system operators who are and knowledgeable in their...

: Assessing alternative technologies for use of volunteered geographic information in authoritative databases
Author(s):: Sabone
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 2009
Type:: Technical Report
: Volunteered Geographic Information (VGI) has been enabled by advances in positioning, Web mapping, cellular communications...

Pages

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