Category:Paper Year 1996

From BibNetWiki

List of papers published in 1996.

See also the list of all papers in the database.

(previous 200) (next 200)

Articles in category "Paper Year 1996"

There are 200 articles in this category.

' ''CAM-BRAIN'' ATR's Billion Neuron Artificial Brain Project - A Three Year Progress Report ''Deco'' polyominoes, permutations and random generation ''Finding and Reminding'' Reconsidered ''Gamma-Accurate'' Failure Detectors ''Indirect Discourse Proofs'': Achieving Efficient Fair Off-Line E-cash ''Optimal'' Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics 'Etude de l'invocation entre objets dupliqu'es dans un syst'eme r'eparti tol'erant aux fautes 'Vipar' Libraries to Support Distribution and Processing of Visualization Datasets ( (Thread and Object)-Oriented Distributed Programming (poly(log log n), poly (log log n))-restricted verifiers are unlikely to exist for languages in NP , ,'Statistical' First Order Conditionals 0 00,1-Solutions of Integer Linear Equation Systems 02Log: Towards Remote Coordination 0I0T - A Strongly-Typed Embeddable Computer Algebra Library 0SC0*ECS: A Class of Modular and Hierarchical Cooperating Systems 1 1990's - the decade of pan-European digital standards in wireless communications 1st Book of Adam and Eve 2 2-D Cellular Automata and Short Range Molecular Dynamics Programs for Simulations on Networked Workstations and Parallel Computers 23^rd Annual International Symposium on Computer Architecture 2MBIT/S FQPSK-2 Modem for infrared wireless LAN 2Mbit/s FQPSK-2 modem for infrared wireless LAN. 2ndIntl.Conf.onFunctionalMappingoftheHumanBrain 3 3D Graph Drawing with Simulated Annealing 3D Interactive Animation for Visualization of Parallel Design 3D Object Recognition Using Bidirectional Modular Networks 3D Optoelectronic Computer Architectures for the Conjugate Gradient and Multigrid Benchmark Algorithms 3D Reconstruction of Cerebral Vessels and Pathologies from a Few Biplane Digital Angiographies 3D Skeleton for Virtual Colonoscopy 3D model acquisition from extended image sequences 3D-Schema: An Intuitive Model for Analog Circuits Instruction 5 50 Bab Ballads 512 KBPS high capacity packet mode data protocol for the broadband PCS spectrum 524,288 Ways to Say ''This is Interesting'' 6 64-channel correlator implementing a Kohonen-like neural network for handwritten-digit recognition 7 7 7th International Workshop on Software Configuration Management (SCM7), Boston, 18-19 May 1997 ? ??-approximation of differential inclusions A A 2 2slash 3-Approximation Algorithm for the Shortest Superstring Problem A 3D medical image database management system A Backward Slicing Algorithm for Prolog A Batch Scheduler for the Intel Paragon MPP System with a Non-contiguous Node Allocation Algorithm A Bayesian Framework for Case-Based Reasoning A Beam-Tracing Algorithm for Prediction of Indoor Radio Propagation A Belief Net Backbone for Student Modeling A Benchmark Comparison for Suitable HPC Platforms to Solve Electrically Large Planar Conducting Structures via a Parallel Method of Moments Technique A Benchmark: Performance Evaluation of Dashed-Line Detection Algorithms A Bibliography for Genetic Programming A Binary Markov Process Model for Random Testing A Bisimulation Method for Cryptographic Protocols A Book of Remarkable Criminals A Bounded Retransmission Protocol for Large Data Packets A Bridge Club Design A Brief Introduction to Coloured Petri Nets A Brief Overview of Over-Constrained Systems A Brief Study of BDD Package Performance A Bug's Eye View of Immediate Visual Feedback in Direct-Manipulation Programming Systems A Business Process Design Language A C Class Library for Genetic Programming: The Vienna University of Economics Genetic Programming Kernel A C Data Model Supporting Reachability Analysis and Dead Code Detection A CASE Tool for Software Architecture Design A CORBA Compliant Real-Time Multimedia Platform for Broadband Networks A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages A Calculus for Timed Automata A Case Base Similarity Framework A Case Study in Verification Based on Trace Abstractions A Case Study of Decomposing Functional Requirements Using Scenarios

A cont. A Case Study of Distributed, Asynchronous Software Inspection A Case Study of Domain-based Program Understanding A Case Study of Integration of a Software Process Management System with Software Engineering Environments for Process Monitoring and Management A Case for Priority A Case-Based Approach to Collaborative Learning for Systems Analyst Education A Case-Based System for Adaptive Hypermedia Navigation A Case-Study of Configuration Management with ClearCase in an Industrial Environment A Categorical Characterization of Consistency Results A Category-Theoretical Approach to Vertex Replacement: The Generation of Infinite Graphs A Change Management Framework: Dependency Maintenance and Change Notification A Characterization of Strongly Chordal Graphs A Characterization of the Quadrilateral Meshes of a Surface which Admit a Compatible Hexahedral Mesh of Enclosed Volume A Chart Generator for Shake and Bake Machine Translation A Chart-Based Semantic Head Driven Generation Algorithm A Child's History of England A Cluster Analysis Approach for the Characterization of Dynamic PET Data A Collaboration Strategy for Repetitive Encounters A Collection of Beatrix Potter Stories A Color-Based Technique for Measuring Visible Loss for Use in Image Data Communication A Combinatorial Design Approach to MAXCUT A Combined High and Low Level Approach to Interpreting Scanned Engineering Drawings A Communication Backend for Parallel Language Compilers A Communication Infrastructure for Multimedia Applications. In: Proceedings of the European Conference on Networks Optical Communications (NOC'96) A Compact Petri Net Representation and Its Implications for Analysis A Comparative Revisitation of Some Program Transformation Techniques A Comparative Study of Algorithms for Computing Continued Fractions of Algebraic Numbers A Comparative Study of Evolutionary Algorithms for On-Line Parameter Tracking A Comparative Study of Steady State and Generational Genetic Algorithms for Use in Nonstationary Environments A Comparative Study of a Penalty Function, a Repair Heuristic and Stochastic Operators with the Set-Covering Problem A Comparative Survey of Default Logic Variants A Comparison between Cellular Encoding and Direct Encoding for Genetic Neural Networks A Comparison of Fast Correlation Attacks A Comparison of Forcast Accuracy between Genetic Programming and Other Forcasters: A loss-Differential Approach A Comparison of HOL and ALF Formalizations of a Categorical Coherence Theorem A Comparison of Input and Output Driven Routers A Comparison of MDG and HOL for Hardware Verification A Comparison of Message-Passing Parallelization to Shared-Memory Parallelization A Comparison of Modulo Scheduling Techniques for Software Pipelining A Comparison of Optimization Techniques for Integrated Manufacturing Planning and Scheduling A Comparison of Parallel Paradigms Applied to an Industrial Code: RADIOSS A Comparison of Search Techniques on a Wing-Box Optimisation Problem A Comparison of Sorting Algorithms for the Connection Machine CM-2 A Comparison of Three Occur-Check Analysers A Comparison of four Reverse Engineering Tools A Compiler for Natural Semantics A Compiler for Nondeterministic Term Rewriting Systems A Compiler-Interpreter-System for Decoding the User's Intention Within a Speech Understanding Application A Complete Declarative Debugger of Missing Answers A Complete Gentzen-style Axiomatization for Set Constraints A Complete Proof System for Nested Term Graphs A Component-Based Interactive Practice Environment A Compositional Theory of Constraint Hierarchies A Computational Model for the Acquisition and Use of Phonological Knowledge A Computational Study of Constraint Satisfaction for Multiple Capacitated Job Shop Scheduling A Computational Technique for Determining Relative Class Numbers of CM-Fields A Computer Aided System for Developing Graphical Telematic Applications A Computer-Supported Course in Mechanics A Concept Language Extended with Different Kinds of Transitive Roles A Conceptual and Formal Model of a Diagnostic Reasoner A Connectionist Variation on Inheritance A Constraint Program for Solving the Job-Shop Problem A Constraint-Based High School Scheduling System A Constraint-Based Interactive Train Rescheduling Tool A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals A Content-Balanced Adaptive Testing Algorithm for Computer-Based Training Systems A Contextual Approach for Process-Integrated Tools A Control System for an Interactive Video on Demand Server Handling Variable Data Rates

A cont. A Control Theoretical Approach to Active Vision A Controlled Experiment Measuring the Effect of Procedure Argument Type Checking on Programmer Productivity A Cooperative Repair Method for a Distributed Scheduling System A Coordination Algorithm for Multi-Agent Planning A Coordination Model to Specify Systems Including Mobile Agents A Coordination Perspective on Software System Design A Cryptanalysis of Clock-Controlled Shift Registers with Multiple Steps A Curry-Howard foundation for functional computation with control A Cyclic Distributed Garbage Collector for Network Objects A DCT-based Embedded Image Coder A DES approach to control of hybrid dynamical systems A DNA microarray system for analyzing complex DNA samples using two-color fluorescent probe hybridization A Data Parallel Scientific Computing Introduction A Data Reduction Method for Intrusion Detection A Data Structure for Representing Aggregate Data A Database Perspective on Knowledge Discovery A Database for Number Fields A Debugging Scheme for Fine-Grain Threads on Massively Parallel Processors with a Small Amount of Log Information-Replay and Race Detection A Debugging and Testing Tool for Supporting Software Evolution A Decade of Development and Deployment of Distributed Ada Systems A Decidable Logic for Describing Linked Data Structures A Decision Procedure for Well-Formed Linear Quantum Cellular Automata A Decision-Theoretic Model for Cooperative Transportation Scheduling A Declarative Semantics for the Prolog Cut Operator (Invited paper) A Deductive Database Approach to Planning in Uncertain Environments A Deductive Database Support to the Specification of Concurrent Systems A Deductive Database for Mathematical Formulas A Defined Process for Project Postmortem Review A Definitional Approach to Functional Logic Programming A Demand-Driven Set-Based Analysis A Design Framework for Internet-Scale Event Observation and Notification A Design Framework for System Re-engineering A Design Methodology for Real-Time Systems to be Implemented on Multiprocessor Machines A Detailed Analysis of English Stemming Algorithms A Development Methodology for Systems Engineering of Computer-Based Systems and its Environmental Support A Digital Brain Atlas for Surgical Planning, Model-Driven Segmentation, and Teaching A Direct Multi-Volume Rendering Method. Application to Visual Assessment of 3-D Image Registration Algorithms A Discourse Model for Gist Preservation A Distributed Approach to Partial Constraint Satisfaction Problems A Distributed Constraint-Based Search Architecture for Bus Timetabling and Duty Assignment A Document Image Analysis and Recognition System for Japanese Family Registration A Double Combinatorial Approach to Discovering Patterns in Biological Sequences A Dual Route Neural Net Approach to Grapheme-to-Phoneme Conversion A Dutch Component for a Multilingual Systemic Text Generation System A Dynamic Evolution for the Specification of Distributed Systems A Dynamic Specification of the RPC-Memory Problem A Fast Constant Coefficient Multiplier for the XC6200 A Fast Heuristic for Approximating the Minimum Weight Triangulation A Fast Heuristic for Hierarchical Manhattan Layout A Fast Pattern-Matching Algorithm Using Matching Candidates for Production Systems A Fast Rendering Method Using the Tree Structure of Objects in Virtualized Bronchus Endoscope System A Fast Software Implementation for Arithmetic Operations in GF(20n) A Fast Switch Algorithm for ABR Traffic to Achieve Max-Min Fairness A Fast and Efficient Homophonic Coding Algorithm A Fast and Robust Failure Recovery Scheme for Shared-Nothing Gigabit Networked Databases A Faster Algorithm for Approximate String Matching A Faster Earley Parser A Fibrational Semantics for Logic Programs A Flexible Environment for Image Guided Virtual Surgery Planning A Footnote to History A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria A Formal Approach for Horizontal Fragmentation in Distributed Deductive Database Design A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL A Formal Basis for Dynamic Schema Integration A Formal Definition of Hierarchical Predicate Transition Nets A Formal Framework for Causal Modeling and Argumentation A Formal Framework for Evaluating Heuristic Programs

(previous 200) (next 200)