Category:Paper Year 1995

From BibNetWiki

List of papers published in 1995.

See also the list of all papers in the database.

(previous 200) (next 200)

Articles in category "Paper Year 1995"

There are 200 articles in this category.

' ''Agency Scheduling'' - A Model for Dynamic Task Scheduling ''Blob'' Analysis of Biomedical Image Sequences - A Model-Based and an Inductive Approach ''Confessio Amantis'' ''Favourite'' SQL-Statements - An Empirical Analysis of SQL-Usage in Commercial Applications ''Fish and sink'': An anytime-algorithm to retrieve adequate cases ''Homeostatic'' Control of Imbalanced Strange Attractors with or without Asking to a Change in Chaotic Dynamics ''Production Cell'': A Comparative Study in Formal Specification and Verification 'C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation 'Temporal' Integrity Constraints in Temporal Databases ( (0, 1) Ideal Matrices (Head-)Normalization of Typeable Rewrite Systems (Objects Concurrency) (Probabilistic) Recurrence Relations Revisited , ,'P and I Will Believe that not-P': Diachronic Constraints on Rational Belief 0 0slash 1-Integer Programming: Optimization and Augmentation are Equivalent 1 1/f Flucuations in Internet Communication 10 10 hottest technologies in telecom: a market research perspective 1st Australian Software Visualisation Workshop - Programme and Abstracts 2 2D Projection Interval Relationships: A Symbolic Representation of Spatial Relationships 2D and 3D Motion Analysis in Digital Subtraction Angiography 3 3-D Emotion Space for Interactive Communication 3-D Recognition via 2-Stage Associative Memory 3-D Scene Reconstruction from Image Sequences 3-D Surface Reconstruction Using Occluding Contours 3-D Visualization of Program Information 3-D motion estimation from motion field 3-Dimensional Pliable Surfaces: For the Effective Presentation of Visual Information 33 Examples of Termination 3D Layout and Browsing of Graphs 3D Layout of Reachability Graphs of Communicating Processes 3D Model-Based Video Coding: Computer Vision Meets Computer Graphics 3D Multi-Modality Medical Image Registration Using Feature Space Clustering 3D Reconstruction of Blood Vessels by Multi-Modality Data Fusion Using Fuzzy and Markovian Modelling 3D Visualisering 4 4 4 Dimensional Modelling of the Human Heart 5 5 8 8 8870 System 9 9 A A 3-level Atomicity Model for Decentralized Process-Centered Software Engineering Environments A 3D Digital Map of Rat Brain A 3D Molecular Surface Representation Supporting Neighborhood Queries A 3D Predictive Visual Tracker for Tracking Multiple Moving Objects with a Stereo Vision System A 3slash 2 log 3-Competitive Algorithm for the Counterfeit Coin Problem A B-Spline Surface Interpolation Technique for Reconstructing 3D Objects from Serial Arbitrary Shaped Planar Contours A BC200-derived element and Z-DNA as structural markers in annexin I genes: Relevance to Alu evolution and annexin tetrad formation. A Bayesian Functional Approach to Fuzzy System Representation A Bayesian Network Based Learning System A Bayesian approach to wiggle-matching. A Behavioural Control Framework for Computer Animation using AI Techniques A Better Subgraph of the Minimum Weight Triangulation A Block Lanczos Algorithm for Finding Dependencies over em GF/(2) A Bounded Set Theory With Anti-Foundation Axiom and Inductive Definability A Brief History of the Internet A Broadcast Key Distribution Scheme Based on Block Designs A Broadcasting Algorithm oil tile Arrangement Graph A CBR Knowledge Representation for Practical Ethics A CLP Approach for Examination Planning A CNN Model For Grey Scale Image Processing A CPU Scheduling Algorithm for Continuous Media Applications A CPWM Synapsis for Weighted Radial Basis Functions A Calculus for Exploiting Data Parallelism on Recursively Defined Data A Calculus for Rippling A Calculus of Countable Broadcasting Systems

A cont. A Calculus of Program Modifications A Calculus of Stochastic Systems for the Specification Simulation and Hidden State Estimation of Hybrid Stochasticslash Non-stochastic Systems A Case Study Using SAM-Safety Analysis of PES A Case Study in Applying a Systematic Method for COTS Selection A Case Study of Software Architecture Organizational Success Factors A Case of Automatic Theorem Proving in Euclidean Geometry: the Maclane 83 Theorem A Catalog of Object Model Transformations A Category-Theoretic Treatment of a Parallel Algol-Like Language A Characterization of Cerebral Responses during the Performance of Reflexive Predicted and Antisaccadic Eye Movement A Characterization of Seymour Graphs A Characterization of the Existence of Energies for Neural Networks A Class Testing Technique Based on Data Bindings A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)02 A Classification System for Credit Card Transactions A Clich'e-Based Environment to Support Architectural Reverse Engineering A Closer Look to Artificial Learning Environments A Code Based Approach to Image-Processing Teaching A Cognitive Hybrid Model for Autonomous Navigation A Cognitive Model of Causal Reasoning about the Physical World A Cognitive Model of Problem Solving with Incomplete Information A Colored Petri Net Model of VHDL A Combination of Clausal and Non Clausal Temporal Logic Programs A Common Framework for Preattentive and Attentive Vision using Steerable Filters A Compact Data Structure and Parallel Algorithms for Permutation Graphs A Comparative Study of Structured and Text-Oriented Analysis and Design Methodologies A Comparative Study of Three Neural Networks that use Soft Competition A Comparative Utility Analysis of Case-Based Reasoning and Control-Rule Learning Systems A Comparison of Architectures for future Telecommunication Services A Comparison of Incremental Case-Based Reasoning and Inductive Learning A Comparison of Modular Verification Techniques A Comparison of Selection Schemes Used in Genetic Algorithms A Comparison of Sequential Delaunay Triangulation Algorithms A Comparison of Software Assurance Methods A Comparison of two Synthesis Methods for Timed Discrete-Event Systems A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism A Complete Characterization of Termination O0p101 rightarrow 10rO0s A Complete Narrowing Calculus for Higher-Order Functional Logic Programming A Complete Theory of Deterministic Event Structures A Complexity Space for Curve Grouping A Component and Communication Model for Push Systems A Component-Based Architecture for Automation of Protocol-Directed Therapy A Compositional Circuit Model and Verification by Composition A Compositional Proof of a Real-Time Mutual Exclusion Protocol A Compositional Trace-Based Semantics for Probabilistic Automata A Computational Approach to Situation Theory Based on Logic Programming to Design Cognitive Agents A Computational Model for the Interpretation of Static Locative Expressions A Computational Model of Periodic-Pattern-Selective Cells A Computational View of Population Genetics (Preliminary Version) A Computational and Engineering View on Open Distributed Real-Time Multimedia Exchange A Conceptual Model for Business Re-engineering Methods and Tools A Conceptual Model for a Knowledge Base Homogeneously Stored in a Database Environment A Conceptual Model for the Logical Design of Temporal Databases A Concrete Final Coalgebra Theorem for ZF Set Theory A Concurrency Analysis Tool Suite for Ada Programs: Rationale, Design, and Preliminary Experience A Condition for the Three Colourability of Planar Locally Path Graphs A Configurable Logic Processor for Machine Vision A Conflict Between Call-by-Need Computation and Parallelism A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice A Connection Based Proof Method for Intuitionistic Logic A Constant-Space Sequential Model of Computation for First-Order Logic A Constraint Database System for Temporal Knowledge A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks A Constraint-Based Control Architecture for Acting and Reasoning in Autonomous Robots A Constraint-Oriented Service Creation Environment A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP A Construction for Enumerating k-Coloured Motzkin Paths A Controlled Experiment: Evolution for Learning Difficult Image Classification

A cont. A Cooperative and Adaptive Approach to Medical Image Segmentation A Coprocessor Card for Fast Neural Network Emulation A Correctness Model for Pipelined Microprocessors A Cost Bounded Possibilities ATMS A Cost Evaluator for Parallel Database Systems A Cost Model for Clustered Object-Oriented Databases A Course in Generalized Phrase Structure Grammar A Course on Formal Methods in Software Engineering: Matching Requirements with Design A Criterion of Comparison Between two Case Bases A Cryptographic Mechanism for Object-Instance-Based Authorization in Object-Oriented Database Systems A Data Transformation System for Biological Data Sources A Dataflow Semantics for Constraint Logic Programs A Dataflow-Based Massively Parallel Programming Language ''V'' and Its Implementation on a Stock Parallel Machine A Debugging Model for Lazy Narrowing A Decision Making Methodology in Support of the Business Rules Lifecycle A Declarative Approach to Graph Based Modeling A Declarative Formalization of Knowledge Translation A Declarative Query Approach to Object Identification A Declarative System for Multi-Database Interoperability A Delegation-Based Object Calculus with Subtyping A Demand-Driven Analyzer for Data Flow Testing at the Integration Level A Demonstration of Interactive Graph Based Visual Language Applications A Dempster-Shafer approach to modeling agent preferences for plan recognition A Dependency Parser of Korean Based on Connectionistslash Symbolic Techniques A Depository for Structured Text Objects A Design Environment for Migrating Relational to Object Oriented Database Systems A Designer's Benchmark for Active Database Management Systems: 007 Meets the BEAST A Detailed Algorithm Testing Guards over Feature Trees A Deterministic Poly (loglog n) Time Optimal CRCW PRAM Algorithm for Linear-programming in Fixed Dimension A Dialog-Oriented User Interface Generation Mechanism A Direct Proof Procedure for Definite Conceptual Graph Programs A Discipline For Software Engineering A Discipline of Software Engineering A Distortion Measure for Blocking Artifacts in Images Based on Human Visual Sensitivity A Distributed Classifier Based on Yprel Networks Cooperation A Distributed Genetic Algorithm Improving the Generalization Behavior of Neural Networks A Distributed Object Model for the Javatm System A Distributed Real-Time MPEG Audio Player A Distributed Repository for Object-Oriented Software Components A Distributed Virtual Machine to Support Software Process A Documentation Suite for Maintenance Programmers A Domain for Concurrent Termination: A Generalization of Mazurkiewicz Traces A Domain-Specific Software Architecture for Adaptive Intelligent Systems A Dream of John Ball, etc. A Duration Calculus with Infinite Intervals A Dynamic Algorithm for Line Graph Recognition A Dynamic Extension for the Specifications of Distributed Systems A Dynamic Framework to Actively Support Interoperability in Multidatabase Systems A Dynamic Programming Algorithm for Constructing Optimal Prefix-Free Codes for Unequal Letter Costs A Dynamical Systems Model for Language Change A Dynamical Systems Perspective on Agent-Environment Interaction A Family of Tag Systems for Paperfolding Sequences A Fast Adaptive Layout Algorithm for Undirected Graphs A Fast Algorithm for Computing Optimal Rectilinear Steiner Trees for Extremal Point Sets A Fast Algorithm for High Quality Vector Quantization Codebook Design A Fast Maximum Finding Algorithm on Broadcast Communication A Fast Object Orientation Estimation and Recognition Technique for Underwater Acoustic Imaging A Fast Parallel Implementation of the Berlekamp-Massey Algorithm with a One-D Systolic Array Architecture A Fast and Simple Algorithm for Identifying 2-Monotonic Positive Boolean Functions A Fast and Space-Economical Algorithm for Length-Limited Coding A Faster Edge Splitting Algorithm in Multigraphs and its Application to the Edge-Connectivity Augmentation Problem A Fault-Tolerant Algorithm for Mutual Exclusion in a Distributed System A Fault-Tolerant Algorithm for Replicated Data Management A Feature-Based Reuse Library A Federated Approach to Tool Integration A Fine-Grain Sort Discipline and Its Application to Formal Program Construction A Fine-Grained Model for Code Mobility

(previous 200) (next 200)