Category:Paper Year 1986

From BibNetWiki

List of papers published in 1986.

See also the list of all papers in the database.

(previous 200) (next 200)

Articles in category "Paper Year 1986"

There are 200 articles in this category.

' ''Active Server'' Model for the Performance of Parallel Programs Written Using Rendezvous ''S'' As a Programming Environment for Data Analysis and Graphics 'Can' and the Logic of Ability 2 2-level lambda-lifting 3 3-D Display System Permits Viewing Without Glasses 3-D model Reconstruction and Processing for CAE 3D scan-conversion algorithms for voxel-based graphics 3DPO: A Three-Dimensional Part Orientation System 3rd Int. Work. on Graph Grammars and Their Applications to Computer Science 4 4D display of meteorological data 8 8th International Conference on Automated Deduction: Oxford, England, July 27-August 1, 1986: proceedings A A Behavioral Approach to Software Process Modeling A Braille - Graphics Workstation A Calculus for Assignments in Higher-Order Languages A Characterization of F-complete Assignments A Characterization of Illumination Models and Shading Techniques A Classification of Complexity Core Lattices A Client Interface to an Entity-Relationship Database System A Closed Form Solution for Inverse Kinematics of Robot Manipulator with Redundancy A Cognitive Analysis of a Code Inspection A Color-Correction Scheme for Color Electronic Printers A Comment on ''A Fast Parallel Algorithm for Thinning Digital Patterns'' A Compact Lager-area Graphics Digitizer for Personal Computers A Comparative Analysis of Methodologies for Database Schema Integration A Comparative Study of Concurrency Control Methods in B-trees A Comparison of Computed Chaining to Predictors A Comparison of Min/Max Autocorrelation Factor Analysis and Ordinary Factor Analysis A Complete Logical Calculus for Record Structures Representing Linguistic Information A Complete and Efficient Implementation of Covered Windows A Computer Experiment with Mixed Computation Autoprojector A Concept for a GKS Machine A Conceptual Model of Time A Consistent Hierarchical Representation for vector Data A Constraint Language and its Interpreter A Constraint-Propagation Approach to Probabilistic Reasoning A Curve-Drawing Algorithm for Raster Graphics A DBMS Prototype to Support Extended NF2 Relations: An Integrated View on Flat Tables and Hierarchies A Decidability Problem of Church-Rosser Specifications for Program Synthesis A Decomposition Solution to a Queueing Network Model of a Distributed File System with Dynamic Locking A Deduction Model of Belief A Defect-Correction Algorithm for Minimizing the Volume of a Simple Polyhedron Which Circumscribes a Sphere A Depth-Size Tradeoff for Boolean Circuits with Unbounded Fan-In A Differential Compiler for Computer Animation A Distributed Connectionist Production System A Distributed Scheme for Detecting Communication Deadlocks A Domain Theoretic Approach to Higher-Order Relations A Dynamic Programming algorithm for Finding Alternative RNA Secondary Structures. A Dynamic Tree-Locking Protocol A Fast Numerical Algorithm for the Composition of Power Series with Complex Coefficients A Fast Shaded-Polygon Renderer A Fault-Tolerant Scheduling Problem A First Course in Coding Theory A First Order Theory of Planning, Knowledge, and Action A Formal Approach to Undo Operations in Programming Languages A Formal Definition of the Relational Model A Formal Method for Composing a Network Command Language A Formal Method for Designing the Interface of Interactive Systems A Format for a Graphical Communications Protocol A Fortran procedure for drawing some space-filling curves A Foundation for Causal Decision Theory A Foundation of Reasoning by Analogy: Analogical Union of Logic Programs A Framework for Interactive Problem Solving Based on Interactive Query Revision A Functional Approach to Animation A Functional Approach to Program Testing and Analysis A Functional Language for the Specification of Complex Tree Transformations A Functional Paradigm for Software Development

A cont. A General Model for Version Management in Databases A General Model to Implement backslashtt dif and backslashtt freeze A General Version of Crow'S Shadow Volumes A Generalized Topological Sorting Problem A Geometric Investigation of the Rational Bezier Scheme of Computer Aided Design A Geometric Modeler based on the Exact Octree Representation of Polyhedra A Geometry Theorem Prover Based on Buchberger's Algorithm A Graph Transform Model for Configuration Management Environments A Graph-Theoretic Approach for Designing Fair Distributed Resource Scheduling Algorithms A Graphical Database Interface for Casual Naive Users A Graphical Language for Concurrent Programming A Graphics SOftware Package for Interactive Graphics Terminal A Graphics System Architecture for Interactive Application-specific Display Functions A HOPE specification of the blackboard model A Heterogeneous Relational Algebra with Powerful Selection and Join Operators for Temporal Databases A Hierarchical Approach to Distributed Computing System Dependability Evaluation A Hierarchical O(N log N) Force-Calculation Algorithm A Hierarchical and Functional Approach to Software Process Description A High Level Language-Based Computing Environment to Support Production and Execution of Reliable Programs A High Performance Single-Chip VLSI Signal Processor Architecture A Law-Based Approach to Object-Oriented Programming A Layout Algorithm for Data Flow Diagrams A Layout Algorithm for Data Flow Diagrams. A Letter-oriented Minimal Perfect Hashing Scheme A Lifegame Approach to Surface Modelling and Texturing A Logarithmic Boolean Time Algorithm for Parallel Polynomial Division A Logic for Partially Specified Data Structures A Logic-based Calculus of Events A Logical Design Methodology for Relational Databases Using the Extended Entity-Relationship Model A Logical-Form and Knowledge-Base Design for Natural Language Generation A Manager/Controller for the Software Development Process A Manual of Library Desk Practice as Practised at the Wellcome Institute for the History of Medicine ldots A Mathematical Semantics And Theory Of Raster Graphics A Metaprogramming Method and Its Economic Justification A Method for Constructing Qualitative Program Versions A Method of Displaying Transformed Picture Rectangles using GKS Raster Functions A Methodology for Studying Software Design Teams: An Investigation of Conflict Behaviors in the Requirements Definition Phase A Model Curriculum for a Liberal Arts Degree in Computer Science A Model Implementation of Standard Pascal A Model Theoretic Oriented Approach to Analogy A Model of Impression Monitoring and Image Maintenance A Model of Software Manufacture A Montage Method: The Overlaying of the Computer Generated Images onto a Background Photograph A Monte Carlo Approach for epsilon Placement in Fractal-Dimension Calculations A Multi-Microprocessor GKS Workstation A Multiple Application Graphics Integrated Circuit - MAGIC A Multiprocessor Architecture for High-Quality Interactive Displays A Multitasking Switchboard Approach to User Interface Management A Neat Theory of Marker Passing A New Algorithm for Object Oriented Ray Tracing A New Characterization of Distrihuted Deadlock in Databases A New Program to Create Chemical Process Flow Diagrams A New VLSI graphics coprocessor - The Inter 82786 A Nice Derangement of Epitaphs A Non-Classical Logic for Information Retrieval A Nonaliasing, real-time spatial transform technique A Note on Anaphora and Double Objects A Note on One-Way Functions and Polynomial Time Isomorphisms A Note on the Meaning of Embedded Systems A PROLOG Machine A PROLOG technology theorem prover: implementation by an extended PItOLOG compiler A Parallel Parsing System for Natural Language Analysis A Parallel Processing Strategy for Evaluating Recursive Queries A Parallel Statistical Cooling Algorithm A Pascal program checker. A Pixel-Parallel Hidden Surface Algorithm For Constructive Solid Geometry A Plan-based Intelligent Assistant That Supports the Software Development Process

A cont. A Polymorphic Type System with Subtypes for Prolog A Polynomial Algorithm for Recognizing Images of Polyhedra A Polynomial Algorithm for Recognizing Small Cutwidth in Hypergraphs A Polynomial-Time Join Dependency Implication Algorithm for Unary Multi-Valued Dependencies A Practical Approach to Data Modeling in Spatial Applications A Practical Introduction to Denotational Semantics. A Pragmatic System for Shared Persistent Objects A Process-Object Centered View of Software Environment Architecture A Prolog Based Object Oriented Language SPOOL and its Compiler A Prototype Software Simulator for FGHC A Pyramid Vector Quantizer A Radiosity Method for Non-Diffuse Environments A Raster Display Package for Education A Realistic Compiler Generator Based on High-Level Semantics: Another Progress Report A Reassignment of the Functions of LF A Recommended Practice for Describing Software Designs: IEEE Standards Project 1016 A Recursive Algorithm for the Optimal Solution of a Complex Allocation Problem Using a Dynamic Programming Formulation A Reliable Backend Using Multiattribute Clustering and Select-Join Operator A Representation for Natural Human Movement A Representation of Fonts for Computer Graphics A Robot Control System Based on FORTH A Robust Layered Control System For A Mobile Robot A Robust Layered Control System for a Mobile Robot A Rotation Method for Raster Image Using Skew Transformation A Rule Based System for Pattern Recognition that Exploits Topological Constraints A Schema Equivalence Problem in Historical Databases A Schema for Configuration Management A Shape Preprocessing Unit A Shared Object Hierarchy A Short Proof of a Conjecture of De Remer and Pennello A Simple Applicative Language: Mini-ML A Simple Dynamic Logic A Simple Implementation of Warshall's Algorithm on a VLSI Chip A Simple Linear-Time Algorithm to Recognize Interval Graphs A Simple Model of Ocean Waves A Simple Motion Planning Algorithm for General Robot Manipulators A Simple Proof of a Time-Space Trade-Off for Sorting with Linear Comparisons A Snapshot Differential Refresh Algorithm A Software Development Environment for Law-Governed Systems A Specification Framework for SW Processes: Formal Specification A Specification Language for Direct-Manipulation User Interfaces A State Transition Model for Distributed Query Processing A Statistical Method for Adaptive Stochastic Sampling A Statistical Methodology for the Study of the Software Failure Process and Its Application to the ARGOS Center A Stochastic Approach to Parsing A Structural View of the Cedar Programming Environment A Structure Editor for Abstract Document Objects A Study in Two-Handed Input A Study of Index Structures for Main Memory Database Management Systems A Study of Sort Algorithms for Multiprocessor Database Machines A Study of Tree Adjoining Grammars - Dissertation proposal A Superjoin Algorithm for Deductive Databases A Survey of Contouring Methods A Survey of Software Design Techniques A Survey of Three Dialogue Models A Sweepline Algorithm for Voronoi Diagrams A Syntactic Theory of Belief and Action A System which uses examples to learn VLSI structure manipulation A Taxonomy of Beliefs and Goals for User Models in Dialog Systems A Taxonomy of User-Oriented Functions A Text-Based Representation for Program Variants A Theory Of Diagnosis From First Principles A Theory for Nondeterminism, Parallelism, Communication, and Concurrency A Theory for the Derivation of Tests A Theory of Category Projection and its Applications A Theory of Modules for Logic Programming A Theory of Productivity in the Creative Process

(previous 200) (next 200)