Search results

(1 - 20 of 21)

Pages

: Vision of Information Science Inspired by a New Representational Formalism
Author(s):: Goldfarb
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: A recently developed formalism for structural representation—called Evolving Transformations System (ETS)—is discussed as...

: Reputation formalization for an information sharing multiagent system
Author(s):: Carter, Bitting, Ghorbani
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: We propose that through the formalization of concepts related to trust, a more accurate model of trust can be implemented....

: On a novel evolutionary based model for genome rearrangement
Author(s):: Korkin
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: The role of understanding the genome rearrangement is becoming more and more crucial in the modern life sciences. The new,...

: Counting the number of equivalent binary resolution proofs
Author(s):: Horton
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: A binary resolution proof is represented by a binary resolution tree (brt) with clauses at the nodes and resolutions being...

: Adaptive resonance theory networks using incremental communication
Author(s):: Chen, Ghorbani, Bhavsar
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: The incremental inter-node communication method is applied to the adaptive resonance theory 2 (ART2) networks. The...

: A New Dominant Point-Based Parallel Algorithm for Multiple Longest Common Subsequence Problem
Author(s):: Korkin
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: This work introduces a new parallel algorithm for computing a multiple longest common subsequence (MLCS). Given a set of...

: Enhancing data models with tuning transformations
Author(s):: Mattinson, McAllister
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: Maintaining consistency between an entity-relationship model and the relational database it represents can be problematic. As...

: A new heuristic algorithm for the linear arrangement problem
Author(s):: McAllister
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: A new algorithm for the linear arrangement problem is described. The goal is to produce linear arrangements of software model...

: Ancestor Reduction in Binary Resolution Trees
Author(s):: Spencer, Horton
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: It is shown how the operation of ancestor reduction, found in tableaux calculi, can be applied to the resolution calculus. An...

: The design of efficient pattern recognition systems
Author(s):: Goldfarb
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: A new general methodology for design of pattern recognition systems is proposed. 'This methodology is based on the new...

: High Arity Nodes, Routing and Internet Tomography
Author(s):: Horton, Lopez-Ortiz
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: Internet topology information is only made available in aggregate form by standing routing protocols. Connectivity...

: Labeling Nodes in 3D Diagrams: Using Transparency for Text Legibility and Node Visibility
Author(s):: Irani, Iturriaga
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: In scientific and information visualization 3D diagrams are now more common. Text or name labels in any kind of diagram play...

: Towards a Formalization of Trust
Author(s):: Carter, Ghorbani
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: This work focuses on the design and implementation of a new model of trust. The new model of trust is based on the...

: Support Ordered Resolution
Author(s):: Spencer, Horton
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: In a binary tree representation of a binary resolution proof, rotating some tree edge reorders two adjacent resolution steps....

: Architectural components of information sharing societies
Author(s):: Carter, Ghorbani, Marsh
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: Two similar multiagent systems have been designed to address the issue of information sharing within a multiagent system....

: The Parameterized Complexity of p-Center Approximate Substring Problems
Author(s):: Evans, Smith, Wareham
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: Problems associated with finding strings that are within a specified Hamming distance of a given set of strings occur in...

: Some aspects of Kalman filtering
Author(s):: Salzmann
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Type:: Technical Report
: In hydrography and surveying the use of kinematic positioning techniques is nowadays very common. An optimal estimate of...

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

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

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

Pages

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