Search results

(181 - 193 of 193)

Pages

: Astrolabe: A Collaborative Multi-Perspective Goal-Oriented Risk Analysis Methodology
Author(s):: Bagheri, Ghorbani
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: The intention of this paper is to introduce a risk analysis methodology, called Astrolabe. Astrolabe is based on the key idea...

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

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

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

: Design and analysis of parallel Monte Carlo algorithms
Author(s):: Bhavsar, Isaac
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1985
Type:: Technical Report
: This paper demonstrates that the potential of intrinsic parallelism in Monte Carlo methods, which has remained essentially...

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

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

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

Pages

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