Category:Paper Year 1994

From BibNetWiki

List of papers published in 1994.

See also the list of all papers in the database.

(previous 200) (next 200)

Articles in category "Paper Year 1994"

There are 200 articles in this category.

' ''NewsReader'' - A Comfortable-Digital Newspaper and Bookreading System ''Syntactic'' AC-Unification ''The Big Sweep'': On the Power of the Wavefront Approach to Voronoi Diagrams 'Plain backprobagation' and advanced optimization algortims: A comparative study 'What' and 'where' in the human brain ( (3,4)-weighted skeleton decomposition for pattern representation and description - -MKRP: A proof development environment 1 10 Lower Bounds 11 A Case Study: TSPs in PCB Production 12 Practical TSP Solving 2 2 Basic Concepts 2-Adic Shift Registers 2-D curve partitioning by Kohonen feature maps 2.2Mb of contiguous nucleotide sequence from chromosome III if C. Elegans. 20,000 Leagues Under the Sea 20th International Conference on Very Large Data Bases, September 12-15, 1994, Santiago, Chile proceedings 2Q: A Low Overhead High Performance Buffer Management Replacement Algorithm 3 3 Related Problems and Applications 3-D spatiotemporal subband decompositions for hierarchical compatible video coding by mathematical morphology 3-D stereo using photometric ratios 3-D surface based spatial normalization using a convex hull 3. Theorietag 'Automaten und Formale Sprachen', Schloss Dagstuhl, 7./8. Oktober 1993 3D Model-based segmentation of individiual brain structures from magnetic resonance imaging data 3D morphological segmentation and motion estimation for image sequences 4 4 Geometric Concepts 5 5 Candidate Sets 6 6 Construction Heuristics 7 7 Improving Solutions 8 8 Fast Heuristics for Large Geometric Problems 9 9 Further Heuristic Approaches A A 3D Based User Interface for Information Retrieval Systems A 50 Mbitslash s Optical Wireless LAN Link Using Novel Optical and Electronic Enabling Technologies A 65-MHz Digital Chip-Matched-Filter for DS-Spread Spectrum Applications A Basis for a Multi-Level Meta-Logic Programming Language A Bayesian Analysis of the Logarithmic-Poisson Execution Time Model Based on Expert Opinion and Failure Data A Bayesian Approach to Image Expansion for Improved Definition A Bayesian learning agent. A Bayesian network model for information retrieval. A Behavioral Notion of Subtyping A Better Heuristic for Orthogonal Graph Drawings A Binding Architecture for Multimedia Networks A Bit-Serial CMOS Digital IF-Filter for Mobile Radio Using an On-Chip Clock A Bottom-up Reconstruction of the Well-Founded Semantics for Disjunctive Logic Programs A Bounded First-In, First-Enabled Solution to the ell-Exclusion Problem A Broader Class of Trees for Recursive Type Definitions for HOL A Bulk Data Encryption Algorithm A CAD Tool for the Development of an Extra-Fast Fuzzy Logic Controller Based on FPGAs and Memory Modules A CPS-Translation of the lambda-mu-Calculus A Calculus for Hybrid Sampled Data Systems A Calculus for Logical Clustering A Calculus for Secure Channel Establishment in Open Networks A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochasticslash Non-stochastic Systems A Call-By-Need Lambda Calculus A Case Against Epipolar Geometry A Case Study in the Parallel Implementation of Functional Languages Using Skeletons A Case Study of a Maintenance Support System A Case Study on the Formal Development of a Reactor Safety System A Catalog of Classifying Characteristics for Massively Parallel Computers A Categorical Interpretation of Landin's Correspondence Principle A Category-Based Equational Logic Semantics to Constraint Programming A Chain Decomposition Algorithm for the Proof of a Property on Minimum Weight Triangulations A Characterization of Even Linear Languages and its Application to the Learning Problem A Characterization of Graphs with Vertex Cover up to Five A Characterization of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets A Characterization of the Stochastic Process Underlying a Stochastic Petri Net A Chemical Abstract Machine for Graph Reduction

A cont. A Child's Garden of Verses A Chosen Plaintext Attack of the 16-Round Khufu Cryptosystem A Classification System for Visual Programming Languages A Classification of Update Methods for Replicated Databases A Classification of Visual Representations A Cleanup on Transitive Orientation A Coherent Architecture for a Temporal Object Database Management System A Collaborative Process-Centered Environment Kernel A Common-Sense Theory of Time A Commonsense Reasoning Facility Based on the Entity-Relationship Model A Compact Petri Net Representation for Concurrent Programs A Comparative Study of Neural Networks in Bankrupty Prediction A Comparison Between Two Architectures for Searching and Learning in Maze Problems A Comparison of Finite and Cellular Automata A Comparison of Shared Virtual Memory and Message Passing Programming Techniques Based on a Finite Element Application A Comparison of Statecharts Variants A Comparison of Streams and Time Advance as Paradigms for Multimedia Systems A Comparison of Syntactic and Statistical Techniques for Off-Line OCR A Comparison of Two Approaches to Model-Based Knowledge Acquisition A Comparison of Two Lower Bound Methods for Communication Complexity A Comparison of the Iserver-Occam, Parix, Express, and PVM Programming Environments on a Parsytec GCel A Comparison of the PRISM and OMNI-Point Methodologies for the Specification of Management Systems A Competitive Analysis of the List Update Problem with Lookahead A Compilation Approach for Fortran 90Dslash HPF Compilers A Compilation Technique for Varying Communication Cost NUMA Architectures A Compiler Approach to Scalable Concurrent-Program Design A Compiling Genetic Programming System that Directly Manipulates the Machine Code A Complete Axiomatisation for Trace Congruence of Finite State Behaviors A Complete Connection Calculus with Rigid E-Unification A Complete Transformational Toolkit for Compilers A Complete Type Inference System for Subtyped Recursive Types A Completeness Theorem for Nondeterministic Kleene Algebras A Component Theory for Telecommunication Architectures A Component- and Message-Based Architectural Style for GUI Software A Compositional Spatio-Temporal Semantics for French Motion Verbs and Spatial PPs A Computational Account for a Description Logic of Time and Action A Computational Model for Generic Graph Functions A Computational Model of em Ratio Decidendi A Computer-Checked Verification of Milner's Scheduler A Conceptual Database Approach for Modelling 3D Objects of Irregular Geometry A Conceptual Language for the Description and Manipulation of Complex Information Models A Conceptual and Contextual Object-oriented Logic Programming: The PROLOG Language A Concurrent Process Model of Software Development A Conditional Logic for Updating in the Possible Models Approach A Confluent Relational Calculus for Higher-Order Programming with Constraints A Conservative Technique to Improve Deterministic Evaluation of Logic Programs A Consideration of the Modes of Operation for Secure Systems A Constraint-Based Approach to High-School Timetabling Problems: A Case Study A Context Dependent Method for Comparing Sequences A Context Similarity Measure A Convex Hull Algorithm on Coarse-Grained Multiprocessors A Cooperative Coevolutionary Approach to Function Optimization A Critique of Three Metrics A DBMS-Based Multimedia Archiving Teleservice Incorporating Mail A Data Model for Multi-Temporal, Dynamically Verifiable Information Systems A Data Partitioning Algorithm for Distributed Memory Compilation A Data-Parallel View of the Load Balancing - Experimental Results on MasPar MP-1 A Dataflow-Based Massively Parallel Programming Language and Its Implementation A Decade of concurrency: reflections and perspectives: REX schoolslash symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993: proceedings A Decidable Intersection Type System based on Relevance A Decision Procedure for a Temporal Belief Logic A Decision Support System for Assurance of Quality of Service in Intelligent Network Service Provisioning A Decision-Theoretic Abductive Basis for Planning A Decision-Theoretic Computational Framework for Planning (Preliminary Report) A Decompositional Approach to the Design of Parallel Programs A Dedicated Process Design Language based on EER-models, Statecharts and Tables A Design Environment with Emulation of Prototypes for Hardwareslash Software Systems Using XILINX FPGA

A cont. A Determinizable Class of Timed Automata A Differential Approach to Graphical Interaction A Diploid Genetic Algorithm for Preserving Population Diversity - Pseudo-Meiosis GA A Discrete Artificial Organic Chemistry and Search for Autocatalysis A Discretionary Access Control Model with Temporal Authorizations A Discussion of Database Replication Technology A Distributed Automatic Test Pattern Generation System A Distributed Computing Center Software for the Efficient Use of Parallel Computer Systems A Distributed Load-Building Algorithm for Parallel Compilation of Files in a Software Application A Distributed System for CIM A Dynamic Algorithm for Online Scheduling of Parallel Processes A Dynamic Debugger for Asynchronous Distributed Algorithms A Dynamic Task Allocation Scheme in Benes-Type Nonblocking Networks A Evaluation of the Meiko CS-2 Using the GENESIS Benchmark Suite A FPL Prototyping Package with a C Interface for the PC Bus A Facilitator Method for Upstream Design Activities with Diverse Stakeholders A Factor Space Approach to Concept Representation A Family of Data-Parallel Derivations A Fast FPGA Implementation of a General Purpose Neuron A Fast Randomized LOGSPACE Algorithm for Graph Connectivity A Fault-Tolerant Mechanism for Simple Controllers A Finite Automaton Learning System Using Genetic Programming A First Study on Case-Based Planning in Organic Synthesis A Five Year Perspective on Software Engineering Graduate Programs at George Mason University A Formal Approach to Architectural Design Patterns A Formal Approach to Modeling Expected Behavior in Parallel Program Visualizations A Formal Approach to Requirement-Based Testing in Open Systems Standards A Formal Architectural Design Patterns-Based Approach to Software Understanding A Formal Basis for Measuring Software Quality A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation A Formal Framework for ASTRAL Intralevel Proof Obligations A Formal Model and Specification Language for Procedure Calling Conventions A Formal Model for Module Interconnection Languages A Formal Proof of the Deadline Driven Scheduler A Formal Theory of Undirected Graphs in Higher-Order Logic A Formalism for Structured Planning of a Software Project A Formalization of Abstraction in LAMBDA A Formalization of Interval-Based Temporal Subsumption in First Order Logic A Foundation for Higher-Order Concurrent Constraint Programming A Foundation of Metalogical Reasoning A Fourier Transform Approach to the Linear Complexity of Nonlinearly Filtered Sequences A Framework for Automatic Clustering of Semantic Models A Framework for Developing Temporal Databases A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report A Framework for Exploiting Data Availability to Optimize Communication A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification A Framework for Network Protocol Software A Framework for Resource-Constrained Rate-Optimal Software Pipelining A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies A Framework for Source Code Search Using Program Patterns A Framework for Synchronous Tele-Cooperation A Free-Text Retrieval Index-Server on a Massively Parallel Machine A Friendly Guide to Wavelets A Fully Abstract Semantics for Termination in Petri Nets A Functional Approach for Formalizing Regular Hardware Structures A Functional System with Transfinitely Defined Types A Fuzzy Classifier System Using the Pittsburgh Approach A Gateway from DBPL to Ingres A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms A General Purpose Multiple Way Partitioning Algorithm A General Temporal Theory A Generalized Multi-View Approach A Generalized Semantic Model for CSCW Systems A Generalized Theory of Bit Vector Data Flow Analysis A Generic Approach to Support a Way-of-Working Definition A Generic Declarative Diagnoser for Normal Logic Programs A Generic Strong Normalisation Argument: Application to the Calculus of Constructions

(previous 200) (next 200)