Category:Paper Year 1997

From BibNetWiki

List of papers published in 1997.

See also the list of all papers in the database.

(previous 200) (next 200)

Articles in category "Paper Year 1997"

There are 200 articles in this category.

' ''Classical'' Programming-with-Proofs in lambda0s0y0mPA: An Analysis of Non-confluence ''Error-Free'' Calculation of the Convolution Using Generalized Mersenne and Fermat Transforms over Algebraic Fields ''Filmification'' of Methods and Film Databases ''Modular Regression Testing'': Connections to Component-Based Software ''Pseudo-Random'' Number Generation within Cryptographic Algorithms: The DSS Case ''Verschmelzung'', Tonal Fusion, and Consonance: Carl Stumpf Revisited ''Willed action'': a functional MRI study of the human prefrontal cortex during a sensorimotor task. 'Good', 'Fair', and 'Bad' Chord Progressions: A Regression-Analysis of Some Psychological Chord Progression Data Obtained in an Experiment by J. Bharucha and C. Krumhansl 'Improving ratings': audit in the British university system 'Learning' Based Filtering of Text Information Using Simple Interest Profiles 'Twixt Land and Sea ( (Unreasonable Software) Reuse is Unreasonable (Software Reuse) , ,'I've Never Seen Anything Like It': Overstatement, Understatement, and Irony 0 0-1 laws by preservation 1 1-Safe Algorithms for Symmetric Site Configurations 1. Introduction 10,000 Dreams Interpreted 1997 IEEE 47th Vehicular Technology Conference. Technology in Motion 1997 International Conference on Automated Software Engineering 1st PG Collection of Edgar Allan Poe 1st PG Collection of Emile Zola 1st and 2nd Order Recursive Operators for Adaptive Edge Detection 2 2 Mb/s DPSK modem for infrared wireless LAN and data communication. 2-Layer Straightline Crossing Minimization: Performance of Exact and Heuristic Algorithms 2-Visibility Drawings of Planar Graphs 2. Background 2D Feature Detection via Local Energy 2D rightarrow 2D Geometric Transformation Invariant to Arbitrary Translations, Rotations and Scales 3 3-D Displays: A review of current technologies 3-D Facets Construction for Stereovision 3-D Pose Estimation and Model Refinement of an Articulated Object from a Monocular Image Sequence 3-D Reconstruction of Multipart Self-Occluding Objects 3. Pushdown Processes 32. Workshop ueber Komplexitaetstheorie, Datenstrukturen und effiziente Algorithmen 3D Estimation of Facial Muscle Parameter from the 2D Marker Movement Using Neural Network 3D Line's Extraction from 2D Spatio-temporal Image Created by Sine Slit 3D Model Centered Framework for CV and VR 3D Object Positioning from Monocular Image Brightnesses 3D Object Recognition Using Segment-Based Stereo Vision 3D Shape and Motion Analysis from Image Blur and Smear: A Unified Approach 3D Visibility made Visibly Simple: An Introduction to the Visibility Skeleton 3D Visual Tool Supporting Derivation of Parallel Programs for MIMD Systems 3D Visualization: What Does it Mean? 3D Warping Transformation 3D segmentation and labeling using mboxself-organizing Kohonen network for volumetric measurements on brain CT imaging to quantify TBI recovery 3DCube: A Tool for Three Dimensional Graph Drawing 4 4. Model Checking 5 5. Equivalence Checking 6 6. Summary and Perspectives 60 GHz short range transceivers and applications for minimum delay spread LAN. 60-GHz transceiver for high-speed wireless LAN system. 6DOF Calibration of a Camera with Respect to the Wrist of a 5-Axis Machine Tool 8 802.11-1997 8th University of Western Australia Computer Science Research Conf. A A 0-1 Quadratic Knapsack Problem for Modelizing and Solving the Constraint Satisfaction Problems A 2-Categorical Presentation of Term Graph Rewriting A 2-V, 1-10 GHz BiCMOS transceiver chip for multimode wireless communications networks. A 2.5-GHz BiCMOS transceiver for wireless LAN's. A 3D probabilistic atlas of normal human neuroanatomy A 3D virtual environment for modeling mechanical cardiopulmonary interactions A 60GHz-band low noise HJFET amplifier module for wireless LAN applications. A 75 mW 128 MHz DS-CDMA baseband correlator for high-speed wireless applications A 800 Mpixelslash sec reconfigurable image correlator on XC6216 A Badly Calibrated Camera in Ego-Motion Estimation-Propagation of Uncertainty A Bayes Nets-Based Predictionslash Verification Scheme for Active Visual Reconstruction A Bayesian Approach to Relevance in Game Playing

A cont. A Bayesian Network for 3D Object Recognition in Range Data A Bayesian Paradigm for Dynamic Graph Layout A Bayesian analysis of the doomsday argument. A Behaviorally-Based Methodology for Modeling System Specifications A Belief-Centered Treatment of Pragmatic Presupposition A Better Upper Bound on the Bisection Width of de Bruijn Networks A Biological Front-End Processing for Speech Recognition A Boosting Algorithm for Regression A Bootstrapping Algorithm for Learning Linear Models of Object Classes A Brain-Like Approach to Multistage Hierarchical Image Processing A Branch-and-Bound Algorithm for Computing Node Weighted Steiner Minimum Trees A Bridge for Heterogeneous Communication between CORBA and DCE A Brief Tour of Split Linear Programming A CBL Network Model with Intracortical Plasticity and Natural Image Stimuli A CLP Model to the Job Sequencing Problem A Calculus for Collections and Aggregates A Case Study in Branch Testing Automation A Case Study in Software Wrapping A Case for Document Management Functions on the Web A Case-Based Approach for Elaboration of Design Requirements A Case-Based Reasoning Method for Computer-Assisted Diagnosis in Histopathology A Catalog of Noninformative Priors A Catalog of Techniques for Resolving Packaging Mismatch A Category of Transition Systems and Its Relations with Orthomodular Posets A Causal-Functional Model Applied to EMG Diagnosis A Cellular Wireless Local Area Network with QoS Guarantees for Heterogeneous Traffic A Census Technique for Simple Computing Devices A Centroid Labeling Technique and Its Application to Path Selection in Trees A Certification Scheme for Electronic Commerce A Characterization of Abstract Families of Algebraic Power Series A Characterization of Digital Disks by Discrete Moments A City Metaphor to Support Navigation in Complex Information Spaces A Class of Rectangular Hybrid Systems with Computable Reach Set A Classification of Non-Liftable Orders for Resolution A Client-Controlled Adaptation Framework for Multimedia Database Systems A Closer Look at Optimistic Replica Control A Clustering Approach for Large Visual Databases A Clustering Approach to Generalized Tree Alignment with Application to ALU Repeats A Clustering Technique for Object Oriented Databases A Cognitive Assessment of Topological Spatial Relations: Results from an Empirical Investigation A Coherence-Based Approach to Default Reasoning A Collection of Ballads A Color Normalization Algorithm for Image Indexing A Colored Version of the lambda-Calculus A Combinatorial Problem in Database Security A Combined Approach to Uncertain Data Analysis A Compact Storage Scheme for Fast Wavelet-Based Subregion Retrieval A Companion to Cognitive Science A Comparative Analysis of Horn Models and Bayesian Networks for Diagnosis A Comparative Analysis of the Neonatal Prognosis Problem Using Artificial Neural Networks, Statistical Techniques and Certainty Management Techniques A Comparative Study Between Linear and Nonlinear Speech Prediction A Comparative Study of Coq and HOL A Comparative Study of Pattern Detection Algorithm and Dynamical System Approach Using Simulated Spike Trains A Comparison Between Different Parallelization Methods on Workstation Clusters to Solve CFD-Problems A Comparison of 4-GL Development Tools in the Area of Metadata and Dynamic User Interfaces A Comparison of Crossover and Mutation in Genetic Programming A Comparison of Head Transducers and Transfer for a Limited Domain Translation Application A Comparison of MPI Performance on Different MPPs A Comparison of Performance-Enhancing Strategies for Parallel Numerical Object-Oriented Frameworks A Comparison of RSA and the Naccache-Stern Public-Key Cryptosystem A Comparison of Software Effort Estimation Techniques: Using Function Points with Neural Networks, Case-Based Reasoning and Regression Models A Comparison of Three High Speed Networks for Parallel Cluster Computing A Compile-Time Meta-Level Architecture Supporting Class Specific Optimization A Complete Characterization of Repetitive Morphisms over the Two-Letter Alphabet A Complete Characterization of the Path Layout Construction Problem for ATM Networks with Given Hop Count and Load A Completion Algorithm for Codes with Bounded Synchronization Delay A Component-Oriented Architecture to Design Multimedia Services on a Distributed Platform

A cont. A Compositional Proof System for Shared Variable Concurrency A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning A Comprehensive Interface Definition Framework for Software Components A Computational Analysis of the Reachability Problem for a Class of Hybrid Dynamical Systems A Computational Approach to Color Illusions A Computational Basis for Higher-Dimensional Computational Geometry with Applications A Computational Formalization for Partial Evaluation A Computational Model for Visual Size, Location and Movement A Computational Model of Misunderstandings in Agent Communication A Computational Model of the Human Visual System for Image Quality Assessment A Computer Assisted Image Analysis System for Diagnosing Movement Disorders A Computer Scientist's View of Life, the Universe, and Everything A Computing Model for Distributed Processing Systems and Its Application A Conceptual Approach to Meta-Modelling A Conceptual Development Framework for Temporal Information Systems A Conceptual Model of Software Maintenance A Concurrent Object-Oriented Knowledge Representation Language Orient84/K: Its Features and Implementation A Conditional Mixture of Neural Networks for Face Detection, Applied to Locating and Tracking an Individual Speaker A Conditional-Logical Approach to Minimum Cross-Entropy A Configurable Automatic Instrumentation Tool for ANSI C A Congestion Control Scheme for Multimedia Traffic in Packet Switching Best-Effort Networks A Connectionist Approach to Extracting Knowledge from Databases A Connectionist Approach to the Distance-Based Analysis of Relational Data A Conservative Data Flow Algorithm for Detecting All Pairs of Statements that May Happen in Parallel A Consortium to Put the ''Engineering'' into Software A Constraint Mechanism for Knowledge Specification of Simulation Systems Based on Temporal Logic A Constraint-Based Approach to Preference Elicitation and Decision Making A Constructive Formulation of Gleason's Theorem A Contribution to the Question of Authenticity of Rhesus Using Part-of-Speech-Tagging A Controlled Experiment to Evaluate On-Line Process Guidance A Cooperative Inference Mechanism for Extracting Road Information Automatically A Coordination System Approach to Software Workflow Process Evolution A Corrected Failure-Divergence Model for CSP in Isabelleslash HOL A Cost Model For Nearest Neighbor Search in High-Dimensional Data Space A Cost-Value Approach for Prioritizing Requirements A Critique of Modern Internet Protocols: The Issue of Support for Multimedia A DOP Model for Semantic Interpretation A Data Mining Algorithm Optimal for Single Rules A Data Parallel Pseudo-spectral Semi-implicit Magnetohydrodynamics Code A Deadlock Avoidance Method for Computer Networks A Deciding Algorithm for Linear Isomorphism of Types with complexity O(n log 2(n)) A Declarative Approach to Concurrent Programming A Declustering Algorithm for Minimizing Spatial Join Cost A Dense-Time Temporal Logic with Nice Compositionality Properties A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL A Diagram for Object-Oriented Programs A Difference-Based Version Model for OODBMS A Different Perspective on Canonicity A Digital Signature Scheme Based on Random Error-Correcting Codes A Discussion on Generality and Robustness and a Framework for Fitness Set Construction in Genetic Programming to Promote Robustness A Distributed Algorithm for Optimal Concurrent Communication and Load Balancing in Parallel Systems A Distributed Delay-Constrained Dynamic Multicast Routing Algorithm A Distributed Object-Oriented Framework for Dependable Multiparty Interactions A Distributed Repository for Immutable Persistent Objects A Distributed Web-Based Metacomputing Environment A Divide-and-Conquer Strategy in Recovering Shape of Book Surface from Shading A Document-centered Approach for an Open CASE Environment Framework Connected with the World-Wide Web A Double Gradient Algorithm to Optimize Regularization A Downward Translation in the Polynomial Hierarchy A Dynamic Quality of Service Mechanism for Distributed Resource Management A Factorisation Theorem in Rewriting Theory A Family of Decidable Feature Logics which Support HPSG-Style Set and List Constructions A Family of Trapdoor Ciphers A Fast Approach for Determining of Visibility of 3D Object's Surfaces A Fast Kohonen Net Implementation for Spert-II A Fast Mesh Deformation Method to Build Spherical Representation Models of 3D Objects

(previous 200) (next 200)