10322452
SUI: a system independent user interface for an integrated scientific computing environment
The design and implementation of a Scientific User Interface is presented. Written in the C language, SUI is a window-menu-mouse oriented graphical user interface that is designed to provide a modern and integrated computing environment for scientific work. SUI can serve multiple client systems in parallel including symbolic, numeric, graphics and document formatting systems. SUI achieves hardware and operating system independence as well as network transparency by employing the X11 protocols and achieves client system independence by defining a client-SUI protocol that is simple and effective. Features of SUI includes input editing, history, 2-D mathematical expression display, interactive selection of subexpressions, interactive display and manipulation of 2-D and 3-D plots of mathematical functions, cut and paste with syntax translation, command templates, incremental 2-D display of mathematical input, and interactive configuration. A prototype system demonstration is planned for ISSAC'90
18326845
Parallel univariate p-adic lifting on shared-memory multiprocessors
Parallelization of univariate p-aclic lifting, a procedure important in modem gcd and factorization algorithms, is presented. The strategy is to take the fastest known sequential algorithm and parallelize its key steps: lift basis, residue, correction coefficients, updating factors, cldecting true factors, and reformulation for continued lifting. Both linear and quadratic lifting are investigated. A new procedure for reformulating the lifting after finding true factors speeds up the sequential and the parallel lifting. PLIFT, a software package written in C for a 26-processor Sequent Balance, implements the parallel algorithms. Timing results are given in an appendix,
28403175
GI/S: A Graphical User Interface For Symbolic Computation Systems
The design and implementation of GI/S, a Graphical user Interface for Symbolic computation systems, is described. The system provides a multiple window environment for the high-resolution 2-D display of mathematical expressions, the ability to select and manipulate parts of expressions with a mouse, and graphics plotting of mathematical expressions. GI/S also provides command line editing and a history mechanism for editing and re-executing past commands. GI/S is written in Franz Lisp for the Macsyma system and has been implemented on the Tektronix 4404 workstation.
42651
Analytical design of maximally flat FIR fractional Hilbert transformers
Recently, the classical Hilbert transformer is generalized into the fractional Hilbert transformer which could be implemented optically. This modification of the Hilbert transform adds an additional degree of freedom on the Hilbert transformer and improves the performance of the transform. In this paper, the design of FIR filters fractional Hilbert transformer is proposed. The FIR filters are designed in the maximally flat sense. The impulse responses of the filters are uniquely solved and expressed in simple analytic forms. The impulse responses can be exactly expressed as fixed point binary values. The resulting frequency responses approximate the ideal one very well in the middle-frequency band. Efficient hardware realization structures are obtained based on the symmetric properties of the impulse responses. Several design examples with various transform parameters and various filter orders are presented. Some examples of 1-D/2-D edge detection are given. The examples show that the proposed FIR filter can enhance the selected edges very efficiently.
10740837
A logic of categorization
The reasoning system known as NARS constitutes a model of categorization. NARS is designed to be an adaptive system that works under the constraint of insufficient knowledge and resources. It consists of a categorical language, an experience-grounded semantics, a set of syllogistic inference rules, a dynamic memory structure, and a control mechanism that manages asynchronized parallel inference. In the system, reasoning and categorization are two aspects of the same underlying process. As a model of categorization, NARS unifies several existing theories.
198169122
An adaptive Modular Neural Network with Application to unconstrained Character Recognition
2857808
A knowledge-based segmentation algorithm for enhanced recognition of handwritten courtesy amounts
Abstract A knowledge-based segmentation algorithm to enhance recognition of courtesy amounts on bank checks is proposed in this paper. This algorithm uses multiple contextual cues to enhance segmentation and recognition. The system described extracts context from the handwritten numerals and uses a syntax parser based on a deterministic finite automaton to provide adequate feedback to enhance recognition. Further feedback is provided by a simple legal amount decoder that determines word count and recognizes several key words (e.g. thousand and hundred). This provides an additional semantic constraint on the dollar section. The segmentation analysis module presented is capable of handling a number of commonly used styles for courtesy amount representation. Both handwritten and machine written courtesy and legal amounts were utilized to test the efficacy of the preprocessor for the check recognition system described in this paper. The substitution error was reduced by 30–40% depending on the input check mix.
6202424
On cages with given degree sets
Abstract We consider the problem of constructing minimal graphs of given girth having a particular degree set.