Search
Now showing items 1-10 of 177
Optimization of signature file parameters for databases with varying record lengths
(Oxford University Press, 1999)
For signature files we propose a new false drop estimation method for databases with varying record lengths. Our approach provides more accurate estimation of the number of false drops by considering the lengths of individual ...
Concept representation with overlapping feature intervals
(Taylor & Francis Inc., 1998)
This article presents a new form of exemplar-based learning method, based on overlapping feature intervals. In this model, a concept is represented by a collection of overlappling intervals for each feature and class. ...
An O(n1/3) algorithm for distributed mutual exclusion
(Elsevier, 1998)
In this paper, a distributed algorithm is proposed that realizes mutual exclusion among n nodes in a computer network. No common or global memory is shared by the nodes and there is no global controller. The nodes of the ...
Processing real-time transactions in a replicated database system
(Springer/Kluwer Academic Publishers, 1994)
A database system supporting a real-time application has to provide real-time information to the executing transactions. Each real-time transaction is associated with a timing constraint, typically in the form of a deadline. ...
Distributed evaluation of an iterative function for all object pairs on an SIMD hypercube
(Elsevier BV, 1991)
An efficient distributed algorithm for evaluating an iterative function on all pairwise combinations of C objects on an SIMD hypercube is presented. The algorithm achieves uniform load distribution and minimal, completely ...
Fast ray tracing 3D models
(1991)
In many computer graphics applications such as CAD, realistic displays have very important and positive effects on the users of the system. There are several techniques to generate realistic images with the computer. Ray ...
Sweeping with all graphical ingredients in a topological picturebook
(Elsevier, 1992)
Sweeping is a powerful method to generate 3-D shapes in geometric modeling. In this paper we formulate a general matrix to give a mathematical definition of twisted-profiled sweep objects as a discrete approximation. While ...
Verification of protocol conformance test cases using reachability analysis
(Elsevier Inc., 1992)
A methodology is presented to verify manually written test cases against the formal specification of a protocol. Initially, a protocol and a test case are modeled as nondeterministic finite state machines and test case ...
International and Turkish information technology standardization
(Elsevier BV * North-Holland, 1992)
The International Organization for Standardization (ISO) is working towards establishing worldwide concensus-oriented standards in information technology. The report reviews the state-of-the-art in information technology ...
A knowledge-based space planning system
(Taylor & Francis, 1992)
Knowledge-based systems are potentially powerful tools for improving the results of automated or interactive design procedures. Expert Space Planner is a prototype of such a system that uses production rules in the spatial ...