Category:Paper Year 1999

From BibNetWiki

List of papers published in 1999.

See also the list of all papers in the database.

(previous 200) (next 200)

Articles in category "Paper Year 1999"

There are 200 articles in this category.

' ''Delayability'' in Proofs of Strong Normalizability in the Typed Lambda Calculus ''Meaning'' through Clustering by Self-Organisation of Spatial and Temporal Information ''Seeing'' Objects in Spatial Datasets ''Underwater Love'': Building Tristao and Isolda's Personalities ''lyng-by'' - a modeler's Matlab toolbox for spatio-temporal analysis of functional neuroimages 'C and tcc: A Language and Compiler for Dynamic Code Generation ( (Serious) Actualism and (Serious) Presentism (a,d)-antimagic Labeling of Antiprisms Q n (formerly ES-212) Non-reciprocal Altruism and the Evolution of Paternal Care (n,m)-Cubes and Farey Nets for Naive Planes Understanding 1 1492 14th IEEE International Conference on Automated Software Engineering 19th Century Actor Autobiographies 1BC: A First-Order Bayesian Classifier 1Higher-Order Rewriting 2 2-Point Site Voronoi Diagrams 2. A Survey of Image-Based Rendering and Stereo 2nd Workshop on Component-Oriented Programming 3 3-D Modelling and Robot Localization from Visual and Range Data in Natural Scenes 3-D Visualization in Biomedical Applications 3-D Visualization of Software Structure 3. View Synthesis 3D Discrete Normal Vectors 3D Grand Tour for Multidimensional Data and Clusters 3D Graph Description of the Intracerebral Vasculature from Segmented MRA and Tests of Accuracy by Comparison with X-ray Angiograms 3D Shape Histograms for Similarity Search and Classification in Spatial Databases 3D Synthetic Environment Representation Using the ''Non-Manifold 3D Winged-Edge'' Data Structure 3DHeartView: Introducing 3-Dimensional Angiographical Modelling 4 4. Re-evaluating Stereo 48-bit Integer Processing Beats 32-bit Floating Point for Professional Audio Applications 5 5. Gradient-Based Stereo 6 6. Stereo Using Diffusion 7 7. Conclusion 9 9th Workshop for PhD Students in Object Oriented Systems A A ''Top-Down and Prune'' Induction Scheme for Constrained Decision Committees A 15O-H 22O PET study of meditation and the resting state of normal consciousness. A 2-approximation algorithm for genome rearrangements by reversals and transpositions A 2-d Leap-frog Algorithm for Optimal Surface Reconstruction A 32-Bit Logarithmic Arithmetic Unit and Its Performance Compared to Floating-Point A 3D Brain Model of VRML/Talairach for Standaradized Data-sets In Neuroimaging of Human Pain: PET Data in Headache vs. Angina (demo) A Bayesian Approach for Estimating Activation in fMRI Time Series. A Bayesian Computer Vision System for Modeling Human Interaction A Behavioral Model for Co-design A Blackboard Approach for the Automatic Optimization of Parallel I/O Operations A Book of Scoundrels A Bounded Search Space of Clausal Theories A Breadth-First Strategy for Mating Search A Brief Logopedics for the Data Used in a Neuro-Fuzzy Milieu A Brief Summary of VSPEC A CG-Based Behavior Extraction System A CORBA Environment Supporting Mobile Objects A CTIVE M AP : A Visualization Tool for Location Awareness to Support Informal Interactions A Case Retention Policy Based on Detrimental Retrieval A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem A Case Study in Using Preference Logic Grammars for Knowledge Representation A Case Study: Effects of WITH-Loop-Folding on the NAS Benchmark MG in SAC A Case for Variable-Arity Relations: Definitions and Domains A Case-Based Methodology for Planning Individualized Case Oriented Tutoring A Cellular Automata Simulation Environment for Modelling Soil Bioremediation A Centralised Cellular Database to Support Network Management Process A Century of Deflation and a Moment about Self-Knowledge A Change Analysis Process to Characterize Software Maintenance Projects A Characterisation of Multiply Recursive Functions with Higman's Lemma A Charmed Life A Checkable Interface Language for Pointer-Based Structures A Class of Explicit Two-Step Runge-Kutta Methods with Enlarged Stability Regions for Parallel Computers

A cont. A Class of Multiresolution Stochastic Models Generating Self-Affine Images A Classical Implementation for Prolog-II A Classification Schema to Volumes I to 5 of the Intelligent Agents Series A Client-Side Stub Interpreter A Co-Evolutionary Scheme for Discovering Maximal Hamming Distance Codes A Coding Scheme to Support Systematic Analysis of Software Comprehension A Cognitive Approach to Program Understanding A Combinatorial Algorithm for Pfaffians A Combinatorial Approach to Performance Analysis of a Shared-Memory Multiprocessor A Combined Neural Network and Mathematical Morphology Method for Computerized Detection of Microcalcifications A Common Architecture to Encourage Reuse of Natural Language/Text Processing Tools A Communication Language and the Design of a Diagnosis Agent - Towards a Framework for Mobile Diagnosis Agents A Compact and Retrieval-Oriented Video Representation Using Mosaics A Comparative Study of Ordering and Classification of Fault-Prone Software Modules A Comparative Study of Synthesis Methods for Discrete Event Controllers A Comparison between Neural Networks and Decision Trees A Comparison of Automatic Parallelizing Compiler and Improvements by Compiler Directives A Comparison of Compiler Tiling Algorithms A Comparison of Computer Support Systems for Software Inspection A Comparison of Genetic Programming Variants for Data Classification A Comparison of Linear and Non-linear Classifiers for the Detection of Coronary Artery Disease in Stress-ECG A Comparison of Mechanisms for Locating Mobile Agents A Comparison of Software Code Reordering and Victim Buffers A Comparison of Some Methods for Evolving Neural Networks A Competence Knowledge Base System as Part of the Organizational Memory A Competitive Online Algorithm for the Paging Problem with ''Shelf'' Memory A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects A Complete Finite Prefix for Process Algebra A Complete Modal Proof System for a Subset of SCCS A Complete System for the Specification and the Generation of Sign Language Gestures A Complete and Tight Average-Case Analysis of Learning Monomials A Component-Based Workflow System with Dynamic Modifications A Compositional Process Control Model and Its Application to Biochemical Processes A Computational Model for a Cooperating Agent System A Computational Model of a Viewpoint-Forming Process in a Hierarchical Classifier System A Computer Game to Teach Programming A Concept Formation Based Approach to Object Identification in Procedural Code A Conceptual ''Role-Centered'' Model for Design of Multi-Agent Systems A Conceptual Graph Approach for Video Data Representation and Retrieval A Concurrency Case Study using RAISE A Confluent Connection Calculus A Connection between the Star Problem and the Finite Power Property in Trace Monoids (Extended Abstract) A Constraint-Based Approach to the Description of Competence A Control Model for the Dynamic Selection and Configuration of Software Components A Controlled Experiment to Assess the Benefits of Estimating with Analogy and Regression Models A Conversational Model for Health Promotion on the World Wide Web A Cooperative Comprehension Assistant for Intranet-Based Information Environments A Cooperative Distributed Text Database Management Method Unifying Search and Compression Based on the Burrows-Wheeler Transformation A Cooperative Hunting Behavior by Mobile-Robot Troops A Coordination Model and Facilities for Efficient Parallel Computation A Coordination Model for Agents Based on Secure Spaces A Copy Update Mechanism for a Mobile Information Announcement System - Transmitting Non-storage Type Resources with Redundancy A Critical Analysis of PSP Data Quality: Results from a Case Study A Critical Success Factors Model for ERP Implementation A Critique of Inductive Causation A Critique of Software Defect Prediction Models A Curry-Howard Isomorphism for Compilation and Program Execution A Customizable Implementation of RMI for High Performance Computing A DNA Implementation of the Max 1s Problem A Data Mining Approach to Support the Creation of Loop Invariants Using Genetic Programming A Data Pre-processing Method Using Association Rules of Attributes for Improving Decision Tree A Database Array Algebra for Spatio-Temporal Data and Beyond A Database Perspective on Lotus Domino/Notes A Decision Theoretic Approach to Empirical Treatment of Bacteraemia Originating from the Urinary Tract A Decision Tree Algorithm for Ordinal Classification A Decision-Support System for the Identification, Staging, and Functional Evaluation of Liver Diseases (HEPASCORE) A Decomposition Theorem for Maximum Weight Bipartite Matchings with Applications to Evolutionary Trees

A cont. A Decomposition of a Formal Specification: An Improved Constraint-Oriented Method A Depth Controlling Strategy for Strongly Typed Evolutionary Programming A Description-Processing System for Soccer Agents and NIT Stones 98 A Developer's Perspective on Mult-agent System Design A Development Environment for the Realization of Open and Scalable Multi-agent Systems A Diakoptic Approach to Quantum Computation A Dialogue Library for Task-Oriented Spoken Dialogue Systems A Diffraction Tomography Method for Medical Imaging Implemented on High Performance Computing Environment A Digital Lighting Function for Strong 26-Surfaces A Digital Photography Framework Supporting Social Interaction and Affective Awareness A Direct Approach to Robot Soccer Agents: Description for the Team MAINZ ROLLING BRAINS Simulation League of RoboCup'98 A Directly Cautious Theory of Defeasible Consequence for Default Logic Via the Notion of General Extension A Discrete Homotopic Deformable Model Dealing with Objects with Different Local Dimensions A Distributed Algorithm as Mobile Agents A Distributed Algorithm for the Estimation of Average Switching Activity in Combinational Circuits A Distributed Debugger for Amoeba A Distributed Object-Oriented Method for Particle Simulations on Clusters A Distributed Semantics for a IWIM-Based Coordination Language A Distributed System Reference Architecture for Adaptive QoS and Resource Management A Domain-Specific Language for Regular Sets of Strings and Trees A Dynamic Data Structure for Reverse Lexicographically Sorted Prefixes A Dynamic Fault-Tolerant Mesh Architecture A Dynamic Interdomain Communication Path Setup in Active Network A Dynamic JAVA-Based Intelligent Interface for Online Image Database Searches A Dynamic Navigation System Based on User's Geographical Situation A Dynamic Pricing Framework to Support a Scalable, Usage-Based Charging Model for Packet-Switched Networks A Dynamic Programming Approach to Categorial Deduction A Dynamic Programming Bound for the Quadratic Assignment Problem A FULLY GEOMETRIC APPROACH FOR THE WORKSPACE AREA OF THE GANTRY-TAU PARALLEL KINEMATIC MANIPULATOR Ilya Tyapin The University of Queensland Brisbane, Australia QLD 4072 A Fair Rate Allocation Algorithm for ABR Service in ATM Networks. A Fast Algorithm for Computing Minimum 3-Way and 4-Way Cuts A Fast Algorithm for Density-Based Clustering in Large Database A Fast Approximation Algorithm for TSP with Neighborhoods and Red-Blue Separation A Fast Clustering Process for Outliers and Remainder Clusters A Fast General Methodology for Information Theoretically Optimal Encodings of Graphs A Fast Multi-Scale Algorithm for Drawing Large Graphs A Fast Mutual Information Method for Multi-modal Registration A Fast and Robust General Purpose Clustering Algorithm A Fast and Simple Local Search for Graph Coloring A Faster Algorithm for Computing Minimum 5-way and 6-way Cuts in Graphs A Feasibility Study in Iterative Compilation A Finite Axiomatization of Inductive-Recursive Definitions A Firewalling Scheme for Securing MPOA-Based Enterprise Networks A Flexible Approach to Exhaustivity in Questions A Flexible Framework for Dynamic and Static Slicing of Logic Programs A Flexible Framework for Uncertain Expertise A Flexible Security System for Metacomputing Environments A Flexible VLSI Parallel Processing System for Block-Matching Motion Estimation in Low Bit-Rate Video Coding Applications A Flipping Genetic Algorithm for Hard 3-SAT Problems A Formal Analysis of Smithsonian Computational Reflection A Formal Approach to Lingware Development A Formal Approach to Use Cases and Their Relationships A Formal Definition of the Phenomenon of Collective Intelligence and Its IQ Measure A Formal Framework for Linguistic Annotation A Formal Framework for Specifying and Verifying Time Warp Optimizations A Formal Knowledge Level Process Model of Requirements Engineering A Formal Model of Real-Time Program Compilation A Formalization of Static Analyses in System F A Forward-Secure Digital Signature Scheme A Foundational Theory of Belief and Belief Change A Fourier Transform Method for Detecting fMRI Activation Signals A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs A Frame Model Approach for Expert and Database System Integration A Framework Registration Language A Framework for Adaptive Storage Inputslash Output on Computational Grids A Framework for Automated Landmark Generation for Automated 3D Statistical Model Construction A Framework for Cooperative Object Recognition

(previous 200) (next 200)