The present disclosure provides an interconnection method and device to interconnect electronic ...

Displaying mobile service provider information associated with call cost

Disclosed is a method for creating a video-on-demand server/switch, based on the network processor ...

Real-time traffic such as streaming audio and video, push-to-talk, etc. are characterized by tight ...

Large frequency spectrum has been allocated to radios with different frequency bands, such as VHF, ...

This document describes a method of balancing the load on RSerPool registrars when servers ...

An apparatus for making inflated containers from a film web having two juxtaposed film plies, said ...

This memo defines a portion of the Management Information Base (MIB) for use with network ...

This memo provides an analysis of the architectural aspects of multi-homing support for the IPv6 ...

This document defines a mechanism for backhauling Digital Private Network Signaling System 1 (DPNSS ...

A percutaneous lead that can be placed like a conventional percutaneous lead and functions more ...

Stimulation leads for various applications have a stylet lumen for inserting a stiff stylet within ...

Described is the concept of repairing Imprint Lithography Templates during the manufacturing ...

A method of oversampling data received on a high-speed serial interface of an FPGA overcomes the ...

The present publication discloses a method to submit comments to the author of an electronic book. ...

The present publication is directed to a method for enabling editors to manipulate objects with ...

This article describes a configurable attribute of a file residing on a file system that, if set, ...

In a retail environment, many physical products come in logical sets of 2 or more items which match ...

The present publication is directed to the field of conference call systems and Telephony over IP ...

Described is a mechanism that allows the sender of an email to to mark text as hidden to all ...

AIX* supports virtual devices, such as a virtual SCSI (Small Computer System Interface) adapter. ...

This invention allows the client or customer to create personal call verification passcodes that ...

Enterprises require identity management for managing users on various resources with users/groups, ...

A method is disclosed that uses identification numbers to detect duplicate emails.

1 Background Project Management and Control are going through complex changes in the new ...

The current way for compiling reports is to define a report against data gathered in a data store, ...

Today, our wallets are stuffed with various credit cards, award cards, and health services cards. ...

Disclose a method for automatic configuration of business system attributes.

Discloses a method allowing the discovery of the current environment for a product instalation or ...

Statement-first privacy policy authoring bypasses the vocabulary definition and creation allowing ...

The volume of an audio system in a vehicle such as truck is controlled in response to engine torque ...

Rear vision at different angles between a towing vehicle, e.g. a truck or tractor, and a towed ...

Rear vision at different angles between a towing vehicle, e.g. a truck or tractor, and a towed ...

Visualization Indicator of a multi-status operation

A two step polymerization process to produce a Polyethylene terephthalate (PET) homopolymer with ...

Disclosed is a method that dynamically adjusts trick-mode engine variables based on the motion ...

Disclosed is a method that detects pixels that correspond to pale green and pale blue, and ...

Disclosed is a method that allows the video BIOS (vBIOS) to revert back to a default VGA timing ...

A method for improving the efficiency and/or for increasing the capacity of a chiller1 by ...

Disclosed is a method that uses three-dimensional graphics to enhance the graphical user interface ...

Disclosed is a method to prevent debris accumulation onto tape medium. If a tape motion is stopped ...

This document describes the Certificate Request Message Format (CRMF) syntax and semantics. This ...

This document describes the Internet X.509 Public Key Infrastructure (PKI) Certificate Management ...

Disclosed is a system for information delivery and product order. This invention will provide on ...

Disclosed is a software design for checking differences of two text files. The checked differences ...

Disclosed is a software design for realizing high performance of Material Requirements Planning ...

Disclosed is a software design for realizing high performance of deploying and expanding optional ...

Musical composers are typically promoting their music through music labels. This means that only ...

This paper discloses a portable device that allows ambulatory monitoring of patients. The device ...

Disclosed is a method for creation and exploitation of a specific correlation model represented ...

A payment monitoring system for large corporations that permits companies to monitor payments to ...

A hierarchical, multi-tier system for the large-scale, nationwide storage and retrieval of ...

This invention provides Telnet authentication and encryption using PKI capabilites in a novel, less ...

The present publication relates to a modelling tools software. In a business process, activities ...

The object of this invention is to add a dedicated privacy button on computer keyboards or mouses ...

Apparatus for measuring the thickness of a material, in particular the thickness of a foamed ...

Disclosed is a mobile application utilized for ensuring that a mobile device has the appropriate ...

This document describes a procedure that can be used to renumber a network from one prefix to ...

This document suggests a method of using DNS to determine the network that contains a specified IP ...

This memo specifies a packetization scheme for encapsulating uncompressed video into a payload ...

The Reusable Asset Specification (RAS http://www.omg.org/cgi-bin/doc?ptc/2004-06-06) does not ...

It is predicted that about 125 million consumers will be watching television on their mobile phone ...

Cell phone providers have an inherent interest in call volume thus provide no method akin to caller ...

A glass article for use in the manufacturing of silicon crystals, i.e., pulling silicon single ...

ID689791

Business Process Execution Language for Web Services (BPEL4WS or BPEL for short) provides for the ...

Once a physical RFID Infrastructure is build and multiple components mounted together there is no ...

Bei der Kommunikation beispielsweise zwischen einem Fussgaengerschutzsensor und einem ...

Spezielle integrierte Schaltkreise (ICs) fuer die Sprachaufzeichnung (SAZ) und die ...

Bei der Videotelefonie kann es analog zu herkoemmlichen Telefoniesystemen sein, dass der ...

Bekannte Engpassfaktoren fuer den Durchsatz von Personen- oder Frachteinheiten bei vielen ...

Bei der Positionsbestimmung durch Laufzeitmessung, wie beispielsweise bei dem magnetostriktiven ...

Hoergeraete besitzen eine Reihe von Einstellmoeglichkeiten. Diese Anzahl der von aussen am ...

Ein wesentliches Problem von Hoergeraetebenutzern ist die Bedienung der im Allgemeinen sehr kleinen ...

Bei aktuellen digitalen Hoergeraeten sind fuer den Hoergeraetetraeger diverse ...

Bei heutigen Hoergeraeten kann das gewuenschte Programm oder die gewuenschte Einstellung wie ...

Software Defined Radio (SDR) Terminals sind Kommunikationsendgeraete, deren Radioparameter wie ...

Teilnehmer von mobilen Telekommunikationsendgeraeten sind durch die entsprechenden Dienste nahezu ...

Mobile Kommunikationsendgeräte weisen eine immer geringere Baugröße auf. Dies wird u.a. dadurch ...

Gasisolierte Leitungen koennen im Meer oder in Gewaessern aufgrund ihres Auftriebs schwebend ...

Fuer 2.5/3G (Mobilfunksystem der Generation 2.5 und 3) Applikationen, die der Open Mobile ...

Feldgeraete werden in vielen Anlagen der chemischen oder petrochemischen Industrie eingesetzt. ...

System Management Tools dienen u.a. zur Ueberwachung von Applikationen auf Computern (sogenannten ...

Fuer eine sichere und komfortable Nutzung von Hoergeraeten ist es fuer den jeweiligen ...

Description of Invention: Until recently the detection of perforation guns having fired was ...

Introduction: For EM (Electromagnetic) telemetry to effectively work, it is imperative that an ...

Introduction: Customer requested a Retrievable Pressure Cycling Firing Head to be used to fire ...

Introduction: To provide for the expansion of expandable screens using a variable cone so as to ...

Introduction: The challenge is to develop a downhole hydraulic control valve system to alternately ...

A rheology modifier/hair styling resin which is a crosslinked, linear poly(vinyl ...

This disclosure covers the use of internal timers to coordinate inter-device communications ...

This memo provides guidelines for authors and reviewers of IETF standards-track specifications ...

This document defines a protocol supporting the transport of Signaling System Number 7 (SS7) ...

This document provides guidance and recommendations to developers building X.509 public-key ...

This memo defines a portion of the Management Information Base (MIB) for use with network ...

Disclosed is a method that minimizes the estimation for RC values to only the truly violating ...

Disclosed is a method that uses a micro-ring (i.e. guard ring) to mitigate substrate noise (SN) ...

Disclosed is a method that allows SigSnap architectures to be used for enhanced debug and testing. ...

Disclosed is a method for a latch that uses a functionally and/or electrically different clock to ...

Disclosed is a method for an extension to the IEEE 1149.1 Test Access Port (TAP) interface that ...

Disclosed is a method that uses a two-input MUX, a two-input NOR gate, and access-enabled logic to ...

Disclosed is a method that uses a reconfigurable keeper for wide static MUX latches. Benefits ...

Disclosed is a method that optimizes the supply voltages between cores and caches to improve power ...

The invention relates to a fast settling and low noise voltage regulator

Disclosed is a method for updating a customer's telephone number data by checking telephone ...

Replacement of a Single or Multiple Corona Wire CRU (Customer Replaceable Unit) within Corona ...

Disclosed is a complete package of operations on print jobs on the rip spool of a printer. The rip ...

Disclosed is a method to handle the situation where the "rip spool" on a printer becomes full; that ...

Disclosed is a method that uses a delay monitoring reference circuit, a delay measuring scale, and ...

Disclosed is a method for differentiating dirty data in multilevel cache hierarchies using ...

Disclosed is a method for priority-based cache-line residency. Benefits include improved ...

Disclosed is a method for model-specific register-based cache-line locking. Benefits include ...

Disclosed is a method for filtering internal snoop events using qualified coherence states. ...

Disclosed is a method for switching a memory order model (MOM) with a central processor unit (CPU) ...

Disclosed is a method for a preemption timer for regaining control of a virtual machine. Benefits ...

Disclosed is a method for indirect branch prediction using a memory hierarchy. Benefits include ...

Disclosed is a method for a unified-array two-level indirect branch predictor. Benefits include ...

Disclosed is a method for a variable-width indirect branch predictor array. Benefits include ...

Disclosed is a method for increasing target density in a branch-target buffer (BTB). Benefits ...

Disclosed is a method for hardware stack based architecture for processor pipelines in ...

Disclosed is a method for performing a compound implicit branch operation in microprocessors. ...

Disclosed is a method for a scalable architecture for multiple core (multi-core) and system-on-chip ...

Disclosed is a method for a realtime central processing unit (CPU) state dump cycle for ...

Disclosed is a method for natural memory alignment. Benefits include improved functionality, ...

Disclosed is a method for support on the central processor (CPU) die support for input/output (I/O) ...

Disclosed is a method for modified exclusive shared and invalid (MESI) encoding to tolerate ...

A stable formulation of the hydrobromide and napsylate salts of clopidogrel is described, which ...

Described is a new method to automatically provision a virtual machine locally or remotely and give ...

A program is disclosed that allows to discover the ?sense? of a Web user browsing, with or without ...

Self Adaptive Buffered Read A program application, in order to perform some elaborations, reads ...

In one embodiment, a contact less split top 1.5t 8channel phased array wrist coil according to this ...

The friendliness towards the casual user is one of the main characteristics of the evolving ...

CLET is a computer program which achieves the learning of elementary arithmetic from an ordinary ...

This paper describes the Application Software Engineering Tool, a software implement, which can be ...

A study of the general area of problem solving with a digital computer revealed characteristics of ...

The intended audience for this presentation guide is systems programmers, storage administrators, ...

This publication provides, for reference purposes, a detailed definition of the machine functions ...

This paper discusses Mesa's byte encoding, patterns of memory references, use of an expression ...

1 1.1. What is Laurel? 1 1.2. What is this manual? 1 1.3. How to obtain Laurel 1.4. How to run ...

The TXDT package is a collection of INTERLISP programs designed for those who wish to build text ...

Interest in context-free grammars and associated parsing techniques has recently been rekindled ...

The world is badly in need of translators. Almost nobody denies this. The number of pairs of ...

Computer software costs rise steadily, as we expand our ambitions to include ever more complex ...

Let D be a dynamic set of intervals over the set 1,2,...,k of integers. Consider the following ...

Most computing environments use files to express alternative designs. Users record significant ...

Dynamic programming is one of several widely used problem-solving techniques in computer science ...

2. Formalization of Instruction Set Processors 3. Formalization of Code Generation 4. Automatic ...

Computer graphics has yet to have much impact on interactive computing as a whole. Several ...

Complex programming environments such as the representation systems constructed in Artificial ...

A fundamental aspect of the structure of material contained within a large, intelligent memory ...

2 1.2 Software production as a process technology 4 1.3 Design strategies when production is ...

by <!-- wkAU01 -->Daniel G. Bobrow<!-- /wkAU01 --> and <!-- wkAU02 -->Terry Winograd.<!-- /wkAU02 ...

Workers in cognitive science have worried about what people know, and how to represent such ...

A fundamental aspect of the structure of material contained within a large, intelligent memory ...

This paper describes a program which automatically proves a wide variety of theorems about ...

In 1968 the University of California Berkeley Campus Computer Center began a project to design and ...

This paper describes a graphics subroutine package for driving a number of different display ...

In a Multi Drive Tray storage system a method and procedure is defined for how initial HDD ...

This thesis is about automatic program verification. Program verification refers to the idea that ...

Interlisp is a programming system. A programming system consists of a programming language, a large ...

Character fonts on raster scanned display devices are usually represented by arrays of bits that ...

Dynamic programming is one of several widely used problem-solving techniques in computer science ...

This paper describes a technique for maintaining data integrity that can be implemented using ...

The formulation and analysis of a design specification is almost always of more utility than the ...

A user interface to a database designed for casual, interactive use is presented. The system is ...

Most implementations of list structures use fields of uniform size to point to data and to link the ...

We list design objectives for a, distributed mechanism to transport digital memoranda in a network, ...

The requirements of distributed computer systems are stimulating interest in keeping copies of the ...

Fxisting file systems implement different levels of service for their clients, and correspondingly ...

Research in network interconnection techniques has been motivated by the desire to permit ...

This paper discusses an independent file facility, one that is not embedded in an operating system. ...

A fundamental aspect of the structure of material contained within a large, intelligent memory ...

If a programmer needs to represent a table which associates a sum of money with a name for all the ...

Experience with the design and implementation of a number of computer systems, and study of many ...

This invention is a method and procedure for translation of vital product data (VPD) from the ...

When running with virtualized processors (shared processor partitioning), traditional spin locks ...

Within any managed environment, one of the problems faced deals with detecting the status of Agents ...

In real time systems it can become necessary to tie up the processor for longer than the hardware ...

A method for using a webcam or other digital image capturing system to input moves for board ...

The purpuse of this disclosure is to provide a mechanism leveraging the ITCM Software Package ...

This article deal with an additional feature of mobile phones allowing user to synchronize radio ...

This article deal with an improvement of capability of cellular phones introducing a new feature ...

This article deal with an enhancement of chat clients improving usability and capability of such ...

This document describes the Dynamic Host Configuration Protocol (DHCP) option to allow Internet ...

Internet Small Computer System Interface (iSCSI) is a proposed transport protocol for Small ...

This document specifies an architecture and a gateway-to-gateway protocol for the implementation of ...

This document specifies the Internet Storage Name Service (iSNS) protocol, used for interaction ...

This document provides simple guidelines that can make it easier for you to gain prominence and ...

The following material is the introductory portion of a report of progress on task D, contract DA ...

1. A type declaration specifies the type and size of unsubscripted variables. Each I is an ...

This final report describes work done under Part 1 of the Advanced Development Prototype contract ...

ALMS is a system which permits operations to be performed upon analytic language forms with ...

One designes software for the neutrosophic logic, which is a generalization of the fuzzy logic ...

This article describes an experience of teaching a graduate-level course in cryptography and ...

This Memorandum describes a parsing capability embedded within the PL/I programming language. This ...

A simplified description of a new computing procedure for the Hitchcock-Koopmans transportation ...

The operation of an elaborate set of computer codes raises problems of its own which can only be ...

The inverse (A -1 ) of a matrix (A) is valuable when a number of sets of equations AX = -b are to ...

A general code for solving linear programming problems needs a standardized operating procedure. ...

The print subroutine in the LP code is quite dependent on the master code both for instruction and ...

The augmented tableau of the revised simplex method is further augmented to display all ...

When it is necessary to place upper bounds on variables in a linear programming problem, these ...

This paper describes the format of alphabetic and decimal input cards, their loading sequence and ...

The handling of storage assignment and subroutine interconnections for the 704 linear programming ...

The growing literature on the subject of linear programming falls roughly into three categories: [ ...

While the linear programming concept and the formulation of a specific model have value in ...

The Dynamic Logical Partitioning features of IBM eServers provides the ability to logically ...

A network (or linear graph) is a collection of points or nodes, some of which may be joined ...

An exposition of the simplex computation for transportation type problems.

A revision of the simplex method is presented which makes explicit use of columns of the restraint ...

The simplex method of solution of a linear program first transforms the original system to an ...

An abstract of various computing procedures which have been proposed for the linear programming ...

I. The L. P. Model Stated in Algebraic Terms.....1 Symbols are introduced to distinguish various ...

Linear Programming Defined.....1 Linear Programming is defined as a technique for building a model ...

1) Characterization of twin primes 2) Characterization of a pair of primes 3) Characterization of a ...

1) Smarandache Concurrent Lines 2) Smarandache Cevians Theorem 3) Smarandache Podaire Theorem 4) ...

1) Let S(n) be the Smarandache Function: S(n) is the smallest number such that S(n)! is divisible ...

A computational scheme is describedc which is second order accurate in time and fourth order ...

We consider the accuracy of the space discretization for time-dependent problems when a nonuniform ...

This paper describes the development of a nonlinear dynamic model for large oscillations of a ...

Charybdis is a LISP program that accepts, as input, mathematical expressions written in LISP prefix ...

Systems programs offer a severe challenge to their implementers: they must be tight and fast, for ...

CLIPS is a language developed by Johnson Space Center (JSC) for writing expert systems applications ...

The general problem of developing a mechanized information selection and retrieval system can be ...

In this discussion we are ultimately concerned with the problem of developing a fully mechanized ...

In one aspect of the present invention, a method for controlling a work implement of an earthmoving ...

This article presents a description of ARPL - A Retrieval Process Language for hierarchical data ...

Awk is a programming language whose basic operation is to search a set of files for patterns, and ...

Disclosed is an utilization of the PowerPC (*) hypervisor call instruction and the Hypervisor ...

This document contains a complete set of transcripts for a set of protocols collected at BBN by ...

In a recent paper, Reiter and Criscuolo remark "that (semantic) networks are notational. variants ...

BBN's ARPA project in Knowledge Representation for Natural Language Understanding is aimed at ...

This is a midterm report of the third year of BBN's ongoing effort in Knowledge Representation for ...

The ONR project on theoretical studies in Natural Language Understanding is concerned with ...

In various attempts to construct systems that automatically transform ordinary computer programs ...

W . A . Woods During the past year, BBN's ARPA project on natural language understanding has been ...

In our previous report, we set the context for the research to be conducted under the BBN ARPA ...

The ARPA natural language understanding project at BBN is an effort to discover and develop ...

Much of this past quarter was spent in designing, implementing, and testing the interface between ...

One of the main problems in the accurate estimation of formants and signal energy is the ...

!^ This Quarterly Technical Report, No. 10, describes aspects . of our work on the ARPA Computer ...

The second volume of Smarandache sequences, following that edited by the late C. Dumitrescu and V. ...

The following notions, definitions, unsolved problems, questions, theorems, corollaries, formulae, ...

Adobe Systems Incorporated today announced that Hewlett-Packard Company has introduced a PostScript ...

Adobe Systems Incorporated announced today a software bundle that includes Adobe Photoshop ™ for ...

Mountain View, Calif. (August 16, 1993) (NASDAQ:ADBE) Adobe Systems Incorporated today announced ...

Mountain View, Calif. (August 2, 1993) (NASDAQ:ADBE) Adobe Systems Incorporated today announced ...

Mountain View, Calif. (July 30, 1993) (NASDAQ:ADBE) Adobe Systems Incorporated today announced the ...

For More Information Please Contact: Linda Prosser Adobe Systems Incorporated 415-962-3840 ...

[ Top of Page 2 ] About This Catalog Today, many software manufacturers and businesses are ...

[ Top of Page 2 ] How to use this document This Portable Document Format file (PDF) is a ...

Adobe Systems Incorporated 1585 Charleston Road, P.O. Box 7900, Mountain View California 94039-7900 ...

Periodically, System software on the Macintosh ® can become corrupted, slowing down applications or ...

This technical note offers solutions to problems you might encounter using the Macintosh version of ...

The Acrobat Distiller and Acrobat Network Distiller applications support a predefined procedure ...

TechNote#4400(12/8/93)Adobe ™ Acrobat ™ Exchange and Acrobat Reader - Macintosh ® This technical ...

Tech Note #4020 (6/30/94) Adobe Illustrator ™ - Macintosh ® THE TABS PALETTE The Tabs palette is ...

The following are some issues you may encounter in working with Adobe Illustrator 5.5 that were ...

If you enter text in Adobe Illustrator ™ and you see no characters on the screen or vertical lines ...

Adobe, the Adobe logo, Adobe Illustrator, PostScript and Adobe Streamline are trademarks and Adobe ...

On a Macintosh computer, there are several characters available to the user from the keyboard that ...

Anchor points determine where a line or path segment begins and ends. In Adobe Illustrator, all ...

TechNote#4014(12/22/93)Adobe Illustrator ™ - Macintosh ® /Windows ™ Adobe, the Adobe logo, and ...

Adobe Illustrator ™ lets you place images created in other applications within your artwork. Placed ...

Tech Note #4012 (4/22/94)Adobe Illustrator ™ - Macintosh ® Messages relating to memory usually ...

Tech Note #4010 (4/22/94)Adobe Illustrator ™ - Macintosh ® Before saving Adobe Illustrator ...

PostScript Printer Description files (PPD files) are ASCII text files which provide important ...

Tech Note #4008 (12/8/93)Adobe Illustrator ™ - Macintosh ® The Adobe Illustrator ™ 3.0 ReadMe file ...

This technical note discusses ways to improve printing and solutions to error messages you may ...

Masking is a way to cover part of an image so that only a portion of the image appears through a ...

The EPSF Riders file is a file that can modify documents created in Adobe Illustrator. Although the ...

Tech Note #4003 (4/22/94) This technical note discusses how to create smooth blends (gradient ...

PostScript ™ Printer Description (PPD) files contain information about the capabilities and ...

Mountain View, Calif. (September 14, 1994) (NASDAQ:ADBE) -- Adobe Systems Incorporated today ...

Mountain View, Calif. (March 22, 1994) (NASDAQ:ADBE) -- Adobe Systems Incorporated today announced ...

Mountain View, Calif. (October 20, 1993) (NASDAQ:ADBE) -- Adobe Systems Incorporated today ...

Mountain View, Calif. (January 3, 1994) (NASDAQ:ADBE) -- Adobe Systems Incorporated today announced ...

Mountain View, Calif. (January 3, 1994) (NASDAQ:ADBE) -- Adobe Systems Incorporated today announced ...

";Adobe Premiere has given us an improved quality of life and a more profitable business."; That s ...

The software developed by the Computing Center staff for the operation of the high-speed IBM ...

";Begin at the beginning,"; the King said gravely, ";and go on till you come to the end; then ...

By its very nature, computer software is constantly changing. Change may be necessary because new ...

PROGRAM SLICES: FORMAL, PSYCHOLOGICAL, AND PRACTICAL INVESTIGATIONS OF AN AUTOMATIC PROGRAM ...

by Ophir Frieder Chairman: Chaitanya Baru A boolean cube-connected relational database machine is ...

This dissertation is concerned with one region of the heart known as the A-V node (the ...

The MTS Manual is intended to represent the current state of the Michigan Terminal System (MTS), ...

The software developed by the Computing Center staff for the operation of the high-speed processor ...

The software developed by the Computing Center staff for the operation of the high-speed processor ...

The software developed by the Computing Center staff for the operation of the high-speed processor ...

The software developed by the Computing Center staff for the operation of the high-speed processor ...

The software developed by the Computing Center staff for the operation of the high-speed processor ...

The software developed by the Computing Center staff for the operation of the 360/67 dual-processor ...

co the Computing Center. The MTS volumes now in print are listed below. The date indicates the ...

The software developed by the Computing Center staff for the operation of the high- speed processor ...

It is truly difficult to capture with a single question the essence of research in a diverse and ...

A symmetric programming languages is one in which, for any set of statements or expressions c we ...

The evolving technology is driving high performance computer architecture towards highly concurrent ...

In this paper, a systematic method for generating systolic algo-rithms for large scale ...

In this paper we describe an optimizing compiler for Scheme [3, 13] called Orbit that incorporates ...

The non-axisymmetric motion (produced by a buoyancy induced cross flow) of a fluid in contact with ...

Probability-one homotopy methods are a class of algorithms for solving nonlinear sys-tems of ...

A homotopy approach for solving constrained parameter optimization problems is examined. The first ...

Polynomial systems of equations frequently arise in many applications such as solid modelling, ...

Optimization problems are typically solved by starting with an initial estimate and proceed-ing ...

Polynomial systems consist of n polynomial functions in n variables, with real or complex ...

Comparisons between problems solved on uniprocessor systems and those solved on distributed ...

Certain classes of nonlinear systems of equations, such as polynomial systems, have proper-ties ...

The Chow-Yorke algorithm is a homotopy method that has been proved globally convergent for Brouwer ...

In this paper, I prove the following theorem. Let M be a complete, possibly infinite -dimensional, ...

An algorithm is described that determines a stationary point of a quadratic minimization problem in ...

BSTRACT Let [Equation ommitted] an interval, be a family of univariate probability densities (wrt ...

Recently, attention has been drawn to the consideration of obtaining nonparametric Bayes estimates ...

In answer to two questions raised by W. N. Everitt, we show that, given p >.l and any countably ...

Several general algorithms are described for the concatenation of geometric and clipping ...

This paper is mostly definitional in nature. The recent work of Ferrante [3 1, Rackoff [7 Tenney ...

On the Efficiency of Some List Marking Algorithms J. L. Baer and M. 'Fries Four algorithms for ...

A Petri Net Model of a Modular, Microprogrammable Computer (IM4) J. D. Noe and T. H. Kehl ...

Several algorithms height-balance (i.e. AVL and extensions), weight-balance (i.e. BB and WB), total ...

A consequence of bursty traffic in computer communications is that among a large population of ...

This paper considers the approximation of f(x,y) by p(x,y) when the measure of accuracy is an X ...

A pac kage of low-level subprograms for many of the basic operations of numerical linear algebra is ...

This is an expository article addressed to nonspecialists, explaining how linear operators occur in ...

A polynomial time algorithm is introduced which attempts to order the vertices of a graph, ...

A bidireetionaZ, single-premise Post system is a Post canonical form F where, if [Equation ...

The complexity of a variety of decision problems for quotients and derivatives of prefix-free ...

Single-modulus residue arithmetic is used to compute the Moore-Penrose inverse of a large sparse ...

The purpose of this study is to design an interface between the PDP-11/34 minicomputer and the ...

Since an automatic digital computer is a finite machine it is capable of representing, internally, ...

Let G be a univariate polynomial with rational complex coefficients. This paper describes a new ...

We show here that if a normal upper Hessenberg matrix of a certain type undergoes one QR ...

For an electrical, mechanical, or hybrid system descrihed diagramatically as a network of ...

Iterative methods are considered for approximatinq a (least-squares) solution to a system of linear ...

Many computational linguists have found systemic grammar (SG) to be quite useful, because it ...

PAULINE (Planning And Uttering Language In Natural Environments) is a language gener-ation program ...

The goal of this paper is to describe a method of planning paragraphs to be coherent while avoiding ...

<!-- /wkTI --> <!-- wkAU01 --> Robert T. Braden <!-- /wkAU01 --> <!-- wkAU02 --> Annette L. ...

The purpose of the simulation task within ISI's "SDI Communications Research" contract is to ...

Figure 4-1: A BACKBORD screen for inspecting the immediate children of 6 Notes-On-Issues Figure ...

Most of the tasks performed by users of information systems involve interaction with multiple ...

1 1.1 The Penman System 1 1.2 Overview of Parallelism in Penman 2 1.3 Organization of the Paper 3 ...

The advent of inexpensive personal workstations with high-resolution displays has helped to ...

Al as the Ultimate Enhancer of Protocol Design Danny Cohen USC/Information Sciences Institute and ...

Often, a grammatical description only applies to a linguistic object when that object has certain ...

One of the current research areas involving systemic linguistics is text generation (discourse ...

The lengthening lifetimes of intelligent systems, and' the desire to share or re-use knowledge ...

Although disjunction has been used in several uni$cation-based grammar formalisms, existing methods ...

The computer maxim garbage in, garbage out is especially true of language gener-ation. When a ...

1 2 Rhetorical Structure Theory 1 2.1 Overview of a Theory of Text Organization 1 2.2 An Informal ...

Large-scale multiprocessor systems are now made possible by higher levels of integration. However, ...

1 2 Interpreting the clause combinations to be studied 2 2.1 Characterization by exemplification 2 ...

The July 1976 issue of the IBM Journal o f Research and Development contained a fascinating article ...

As this paper is being presented in the context of a workshop on systemic linguistics, it will ...

The lexicogrammar of a language represents the semantics of that language, not as one half of a ...

In this report, I have given a selective overview of what kinds of support the lexicogrammar of a ...

We describe an automatic programmer, or "compiler" which accepts as input a predicate calculus ...

Rhetorical Structure Theory (RST) is a theory of text structure that is being extended to serve as ...

With multimedia computer mail, a user may create messages containing text, image, and voice data ...

. I 1.1 Connection-Establishment Protocols. 1.2 Overview of SPEX . . . . . . . . . . . . . . . . ...

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2. MEANING OF SPECIFICATION AND ...

. . . . . . . . . . . . . . . . . . . . . . ... . . 1.1. State Transition Models . . . . . . . . . ...

I 2. Specifying the Domain of a Process 2 2.1 Objects and Types 3 2.2 Relations 2.3 Expressions, ...

Since the introduction of ISP [Bell & Newell, 1971], the use of hardware description languages ...

The range of application areas to which distributed processing has been applied effectively is ...

1 ?.. The Design Goals 3 3. The FIR-Filter Example 5 The Z Operator 5 The FIR-Filter ...

Properties of programs can be mathematically proved. This report concerns the use of such ...

Formal program specifications are difficult to write. They are always constructed from an informal ...

1. Introduction I 2. Domain Knowledge 2 3. Representing a Process .3 4. Components of Domain ...

1 2. Informal Software Specifications 8 3. Formal Target Specification Language 3 4. Types of ...

Clint and Hoare [2] gave a proof rule for functions (without side effects) which later was shown by ...

Formal pro-ram specifications are difficult to write. They are always constructed from an informal ...

This research is concerned primarily, with (1) the procedure by which process-oriented ...

<!-- /wkTI --> <!-- wkAU01 --> Benjamin Britt <!-- /wkAU01 --> <!-- wkAU02 --> Alvin Cooperband ...

This is the final report of a multifaceted research and development effort in man-machine ...

This report is part of an ongoing research effort on man-machine communication, which is engaged in ...

3 2. PAST RESEARCH ON LANGUAGE COMPREHENSION 5 3. THE DIALOGUE-GAME MODEL 7 3.1 An Overview of ...

This report describes a research program in modeling human communication. The methodology involved ...

1 2. Related Topics and Areas of Study 4 3. The Experimental Approach 9 The Model 10 Confidence ...

<!-- /wkTI --> <!-- wkAU01 --> Mary Shaw, <!-- /wkAU01 --> Carnegie-Mellon University <!-- wkAU02 ...

<!-- /wkTI --> <!-- wkAU01 --> Wm. A. Wulf, <!-- /wkAU01 --> Carnegie-Mellon University <!-- ...

In order to understand the structure of computer programs and to detect certain types of protection ...

A recent needs study determined that most of the terminal requirements for military CAI ...

I 1.1 Programming Environments 1 1.2 Program Construction 3 1.3 Example Session 5 1.4 System ...

This paper first surveys current knowledge of human communication from a point of view which seeks ...

1 2. The Control Protocol 3 Summary of the CONTROL Messages 4 Definition of the CONTROL Messages S ...

This report is intended for those who train new users of the computer programs described herein. It ...

This paper was originally presented at a Meeting on 20 Years of Computer Science, June 16 - 19, ...

Many people who use computers, or have tried to use them, find them extremely difficult to master, ...

This report summarizes the research performed by USC/Information Sciences Institute from 17 May ...

I Input Interface I Low-Level Editing 1 Full Editor 2 2. Editor-Related Tasks 3 Read 3 Enter Text 4 ...

and Overview l 2. Levels of Detail Presented to the User Verbosity 3 Unobtrusive 4 Terse 4 ...

I 2. Current Military Record Communication Summary 3 3. Overview of Automated Military Message ...

The complexity of current computer systems strongly inhibits management usage of analytic modeling ...

In this report the potential savings of computer-based manufacturing sys-tems are hypothesized. It ...

This report is the first in a series of Information Sciences Institute Re-search Reports on ...

This report is intended to serve two purposes. First, it should provide the interested reader with ...

One of the major problems to be faced in the construction of computer programs to understand ...

Given a graph G and an imbedding 10 of a subgraph Go of G into a --2=manifold M, the imbedding ...

to our methods and an overview of the selection system. The second contains a discussion of__our ...

Relationships between objects in the real world are constrained by many physical and functional ...

Full color, raster scan displays are increasingly popular media for computer graphics. Several bits ...

Significant improvements in the performance of programs are possible when an optimizer can ...

In this paper we consider programs which are designed and specified as systems of sequential ...

By a surface we mean an orientable 2-manifold. Surfaces are classified by their genus; a sphere has ...

There is increasing interest in map features such as points, lines and regions both as a pictoral ...

A database is a model of some part of the world. A set of relations [Cold 70] describing the ...

We consider a set of "distant" concurrent processes, each sequentially executing a distinct program ...

Much recent work in artificial intelligence has been based on the assumption that it is useful to ...

In current programming languages, data types and the associated type machinery are used for a ...

Distributed Computing, the execution of a single computation by a network of computers, is ...

The s-transitive groups acting on connected regular graphs have been studied by several people: ...

In many applications, the measurement accuracy of spectrometers, particularly single grating ...

TR18 fi An open question is the computational complexity of recognizing when two graphs are ...

Tarjan has given an algorithm for deciding isomorphism of two groups of order n (given as ...

<!-- /wkTI --> <!-- wkAU01 --> James R. Low <!-- /wkAU01 --> Department of Computer Science The ...

The orientation properties of a population of three-dimensional vectors may be described by using ...

The automatic description of the anatomy in medical images such as radiographs, ultrasound images, ...

The ACT system is a programmed adjunct to a general purpose computing machine (currently considered ...

A study investigating the use of simulation languages to support their own implementation is ...

The management of list-structured data customarily entails some method for systematic scanning or ...

The need to detect and merge redundant information is a familiar problem in data management. This ...

When working with link-structured data the need often arises to copy an entire data structure ...

In this paper we present stationary numerical solutions of the Euler equations that are composed of ...

The Warren Abstract Machine is the state of the art in implemen-tation technology for Prolog. Its ...

A fast algorithm for division by constant divisors is presented. The method has proved very useful ...

Numerical quantifiers provide simple means of formalizing such statements as, "at least three ...

The nearest-neighbor rule and the potential function classifier are nonparametric discrimination ...

A plausible similarity measure is presented for quantita- tively comparing two strings, i.e. two ...

This note proposes a simple way of removing: the axtifact caused by approximating curved surfaces ...

The present invention concerns a devolatilization device which relies on increased free surface ...

The present invention concerns a devolatilization device which relies on increased free surface ...

Language-based editors have been used as powerful development tools for block-structured ...

We present enhancements to the multi-channel optimizatiou, heurisUc proposed by Aoshima and ...

An algorithm for the dynamic, lazy evaluation of attribute grammars is presented. The algorithm is ...

An algorithm for the dynamic, lazy evaluation of attribute grammars is presented. The algorithm is ...

The rapidly growing demand for software has shifted towards larger systems and higher quality ...

The use of experts to evaluate large amounts of trial data results in increas-ingly expensive and ...

This report summarizes some research on database support for computer aided design of elec-tronic ...

In a database the response time to a query can be reduced if certain con-current operations are ...

This paper shows that if a parametric linear program problem, with a parameter 8 linearly appearing ...

I've parlor.rnanca of a class of algorithms for solving global minimization Px Dblarns is analyzed. ...

Construction of problems, with known global solutions is important for the compu tational testing ...

The problem to be considered in this paper is called the Concave Minimization Problem (CMP). It has ...

Characterizations of linear iterative arrays (IdA's) in terms at sequential machines and systolic ...

Rapid advances in technology are making it possible to fabricate circuits of an ever increasing ...

Since Rosen's gradient projection method was published in 1960, a rigorous convergence proof of his ...

In this paper we will discuss some problems in com-puting the controllable (reachable) space for a ...

In this paper we present space/time efficient Turing machine algorithms for recognizing some ...

Lets be the set of all one-variable arithmetic expressions of the form [Equation ommitted] , where ...

Let Q be any algebraic field and P be the set of all total programs over Q using the instruction ...

A method is presented for partitioning a scene into regions corresponding to surfaces with distinct ...

Many simplifying assumptions are required to derive a mathematical solution for a queueing network ...

SUPBRAM is a protocol designed for use in networks with an arbitrary distribution of hidden nodes. ...

This paper describes a queueing-theory based analytic model of a user-resource computer network. ...

The areas of data communications and computer networks have under- gone a phenomenal growth. This ...

Sets in NP are characterized according to the ratio, called the "accepting density", between ...

Khachian's algorithm for solving a system of linear inequalities is tested computationally for very ...

In this paper we describe a new eclectic method to solve the problem of searching a medium to large ...

In many optimization problems a solution is a subset of optimum number of elements satisfying some ...

The complexity of the equivalence problem for several classes of simple programs with a fixed ...

A parallel algorithm to determine the switch settings for a Benes permutation network is developed. ...

Let [Equation ommitted] be an undirected graph in which no vertex has degree more than d. Let IVI= ...

This paper considers the data broadcasting problem for SIMD computers. An efficient data ...

A Benes permutation network capable of setting its own switches dynamically is presented. The: ...

We study the problem of obtaining feasible preemptive schedules for independent jobs. It is assumed ...

This report describes the capabilities of a general-purpose, high-level programming language, ...

An O(n) algorithm to sort n2 elements on an ILLIAC IV-like n x n mesh-connected processor array is ...

An algorithm to preemptively schedule n tasks on m uniform processors is presented. It is assumed ...

The equivalence problem for deterministic generalized sequential machines is decidable. .(In fact, ...

In this paper we attempt to resolve the controversy of whether or not heaps subject might be the ...

[Equation ommitted] on line algorithm to preemptively schedule n independent tasks on m uniform ...

We show the undecidability of the universe problem for two restricted classes of nondetermiaistic ...

Boundary points between decidability arid undecidability of various decision questions concerning ...

We look at systems of non-linear equations of the form [Equation ommitted] where A is a m x n ...

This paper studies the class of deterministic two-way finite automata augmented by reversal-bounded ...

An 0(n) time algorithm is presented to obtain an optimal finish time preemptive schedule for n ...

Presently, the bulk of interactive systems are educational and commercial time sharing systems. ...

The IBV system was originally developed for the interactive formulation and solution of linear ...

By the ascent of microprocessors,the term distributed computing has taken on additional ...

For the past year we have been at work on a l.exicostatistical study which we believe may prove to ...

We study the finish time properties of several heuristic algorithms for scheduling n independent ...

The computer is used as a tool in achieving plastic deformation of design. Included are the theory ...

Much of the initial development work in the area of computer networks has concentrated on the ...

A subset of a set of tasks J is to be scheduled on a single processor. Associated with each task J ...

In recent publications, several algorithms have been presented for the realization of event ...

The recent introduction of Mass Storage Facilities has resulted in a tremendous increase in the ...

This paper describes a model for the :implementation of centralized services within a distributed ...

It is shown that finding minimum finish time preemptive and nonpreemptive schedules for flow shops ...

We look at a restricted model of a multihead pushdown automaton and use some of its properties to ...

We present a linear time approximation algorithm for the k-Max Cut problem. For other P-Complete ...

A linear time algorithm to obtain a minimum finish time schedule for the two processor open shop ...

A brief description of the STARLET computer concept as well as of the APL machines of Abrams and ...

We study the performance of LPT (largest processing time) schedules with respect to optimal ...

A. direct. proof is given that shows that (one-way) 3-head deterministic finite automata are ...