2,129 Result(s)
within
Bai **
Computer Science
-
Chapter and Conference Paper
Experimental direct-sequence spread-spectrum digital mobile radio transmission
This paper is concerned with the conception and the realization of a direct-sequence spread-spectrum digital mobile radio transmission at 910 MHz. The system has been used either as a spread-spectrum communica...
-
Chapter and Conference Paper
Parallel Computation of the Generalized Singular Value Decomposition
The generalized singular value decomposition (GSVD) is the simultaneous reduction of any two matrices having the same number of columns to diagonal forms by premultiplying by two different orthogonal matrices ...
-
Chapter and Conference Paper
General model theoretic semantics for Higher-Order horn logic programming
We introduce model-theoretic semantics [6] for Higher-Order Horn logic programming language. One advantage of logic programs over conventional non-logic programs has been that the least fixpoint is equal to th...
-
Article
A modified lobatto collocation for linear boundary value problems of differential-algebraic equations
The Lobatto collocation method is modified for efficiently solving linear boundary value problems of differential-algebraic equations with index 1. The stability and superconvergence of this method are establi...
-
Chapter and Conference Paper
Geschlossene Optimierung symmetrischer Referenznetze mit nichthierarchischer Verkehrslenkung
Die Verkehrslenkung beinhaltet im allgemeinen eine statische und dynamische Flußzuweisung auf Ursprungs-Ziel-Wege, so daß die Kosten bzw. Ende zu Ende Blockierungen (EEB) minimal werden. Man minimiert daher be...
-
Chapter and Conference Paper
A calculus for logical clustering
A formal calculus, LC, for logical clustering is proposed in this paper. In addition to conventional first-order logic, a nonmonotonic inference rule for logical clustering is introduced, such that typical forms ...
-
Chapter and Conference Paper
Several implementations of persistent pointers in a memory-mapped I/O environment
Several techniques for dereferencing persistent pointers have been proposed to improve performance of object-oriented database systems. This paper describes performance experiments to compare several technique...
-
Chapter and Conference Paper
A broadcasting algorithm on the arrangement graph
In this paper, we propose a distributed algorithm for one-to-all broadcasting on the arrangement graph. The algorithm exploits the rich topological properties of the (n, k)-arrangement graph to constitute the bro...
-
Chapter and Conference Paper
Emergent collective computational abilities in interacting particle systems
In recent years computational abilities emerging from systems in nature, especially systems studied in domains such as biology and physics, have attracted much attention from researchers in various fields. In ...
-
Chapter and Conference Paper
Lastmessungen für Videoverkehrsquellen als Basis für eine realitätsnahe Modellierung von Echtzeit—Kommunikationssystemen
In innovativen Kommunikationsnetzen gewinnt die realzeit-orientierte Kommunikation zunehmend an Bedeutung. Insbesondere zur Realisierung von Audio- und Videokommunikation sind seitens des Kommunikationssystems...
-
Chapter
Templates for linear algebra problems
The increasing availability of advanced-architecture computers is having a very significant effect on all spheres of scientific computation, including algorithm research and software development in numerical l...
-
Chapter and Conference Paper
Improved supervised color constancy for color inspection
In industrial applications, color inspection is difficult to be implemented because the environment illumination may vary unexpectedly, thus color constancy algorithm must be applied. Novak proposed the superv...
-
Chapter and Conference Paper
Analysis and implementation of a formal authorization policy design approach
In [1], we proposed a formal approach to specify authorization policies and their transformations. In this paper, we discuss the implementation issues of this approach and analyse the complexities of the algor...
-
Chapter and Conference Paper
A language for specifying sequences of authorization transformations and its applications
A formal language to specify authorization policies and their transformations has been proposed in [1]. The authorization policy was specified using a policy base which consisted of a finite set of facts and a...
-
Article
A class of two‐stage iterative methods for systems of weakly nonlinear equations
The discretizations of many differential equations by the finite difference or the finite element methods can often result in a class of system of weakly nonlinear equations. In this paper, by applying the two...
-
Article
Parallel multisplitting two-stage iterative methods for large sparse systems of weakly nonlinear equations
The finite difference or the finite element discretizations of many differential or integral equations often result in a class of systems of weakly nonlinear equations. In this paper, by reasonably applying bo...
-
Chapter and Conference Paper
Subject-based modular eigenspace scheme for face recognition
Face recognition is an important research area with many potential applications such as biometric security. Among various techniques, eigenface method by principal component analysis (PCA) of face images has b...
-
Chapter and Conference Paper
A high level language for conventional access control models
A formal language to specify general access control policies and their sequences of transformations has been proposed in [1]. The access control policy was specified by a domain description which consisted of ...
-
Chapter and Conference Paper
Extended nonlinear hebbian learning for develo** sparse-distributed representation
Recently, Hebbian learning has been extended to nonlinear units with a number of interesting properties and potential applications, e.g., blind signal separation. However, when generalizing these nonlinear Heb...
-
Chapter and Conference Paper
Some Unusual Eigenvalue Problems
We survey some unusual eigenvalue problems arising in different applications. We show that all these problems can be cast as problems of estimating quadratic forms. Numerical algorithms based on the well-known...
