yusuke1997/dblp-id-title huggingface dataset:
SimSearch: A New Variant of Dynamic Programming Based on Distance Series for Optimal and Near-Optimal Similarity Discovery in Biological Sequences
Beds and Bits: The Challenge of Translational Bioinformatics
Data Collection Through Translation Network Based on End-to-End Deep Learning for Autonomous Driving
Design, Implementation, and Evaluation of a Semi-Autonomous, Vision-based, Modular Unmanned Ground Vehicle Prototype
Using the dead leaves pattern for more than spatial frequency response measurements
Regaining Sight of Humanity on The Roadway towards Automation
GG-Net: Gaze Guided Network for Self-driving Cars
Comprehensive stray light (flare) testing: Lessons learned
Active Stereo Vision for Precise Autonomous Vehicle Control
Free-Space Detection with Self-Supervised and Online Trained Fully Convolutional Networks
A tool for semi-automatic ground truth annotation of traffic videos
The design and validation of a rain model for a simulated automotive environment
Learning based demosaicing and color correction for RGB-IR patterned image sensors
Metrology Impact of Advanced Driver Assistance Systems
Autonomous Vehicles and Machines 2022, online, January 15-26, 2022
Color correction for RGB sensors with dual-band filters for in-cabin imaging applications
Autonomous Vehicles and Machines 2021, online, January 11-28, 2021
Autonomous highway pilot using Bayesian networks and hidden Markov models
A Sense and Avoid Algorithm using Surround Stereo Vision for Drones
DRAM Bandwidth Optimal Perspective Transform Engine
Yes, we GAN: Applying adversarial techniques for autonomous driving
A system for generating complex physically accurate sensor images for automotive applications
OpTIFlow - An optimized end-to-end dataflow for accelerating deep learning workloads on heterogeneous SoCs
AVM Conference Overview and Papers Program
VisibilityNet: Camera visibility detection and image restoration for autonomous driving
LED flicker measurement: Challenges, considerations, and updates from IEEE P2020 working group
Realistic Image Degradation with Measured PSF
VRUNet: Multi-Task Learning Model for Intent Prediction of Vulnerable Road Users
Enabling Functional Safety ASIL Compliance for Autonomous Driving Software Systems
Understanding Vehicle E/E Architecture Topologies for Automated Driving: System Partitioning and Tradeoff Parameters
Automotive Image Quality Concepts for the next SAE levels: Color Separation and Contrast Detection Probability
Let The Sunshine in: Sun Glare Detection on Automotive Surround-view Cameras
Boosting computer vision performance by enhancing camera ISP
Paving the way for certified performance: Quality assessment and rating of simulation solutions for ADAS and autonomous driving
Design of an automotive platform for computer vision research
Using simulation to quantify the performance of automotive perception systems
End-to-End Multitask Learning for Driver Gaze and Head Pose Estimation
Efficient high-dynamic-range depth map processing with reduced precision neural net accelerator
Dense Surround View Computation with Perspective Correctness
Measuring MTF with wedges: pitfalls and best practices
Non-RGB color filter options and traffic signal detection capabilities
Automatic Glare Detection via Photometric, Geometric, and Global Positioning Information
A review of IEEE P2020 noise metrics
Real-time traffic sign recognition using deep network for embedded platforms
Adversarial Attacks on Multi-task Visual Perception for Autonomous Driving
Single Chip Auto-Valet Parking System with TDA4VMID SoC
Multiple pedestrian tracking in moving vehicle using online learning of random ferns and feature descriptor of pre-trained shallow Convolutional Neural Networks
Sensor-aware frontier exploration and mapping with application to thermal mapping of building interiors
tRANSAC: Dynamic feature accumulation across time for stable online RANSAC model estimation in automotive applications
Autonomous Vehicles and Machines 2023, San Francisco, CA, USA, January 15-19, 2023
Multi-sensor Data Fusion for Vehicle Detection in Autonomous Vehicle Applications
An autonomous drone surveillance and tracking architecture
Image-based compression of LiDAR sensor data
Pattern and frontier-based, efficient and effective exploration of autonomous mobile robots in unknown environments
Open source deep learning inference libraries for autonomous driving systems
Autonomous navigation using localization priors, sensor fusion, and terrain classification
Pedestrian Detection at Night Using Deep Neural Networks and Saliency Maps
End-to-end evaluation of practical video analytics systems for face detection and recognition
Accelerated Stereo Matching for Autonomous Vehicles using An Upright Pinhole Camera Model
A review of IEEE P2020 flicker metrics
Today is to see and know: An argument and proposal for integrating human cognitive intelligence into autonomous vehicle perception
Driver behavior recognition using recurrent neural network in multiple depth cameras environment
Describing and Sampling the LED Flicker Signal
Radiometry and Photometry for Autonomous Vehicles and Machines - Fundamental Performance Limits
Original image noise reconstruction for spatially-varying filtered driving scenes
Autonomous Vehicles and Machines 2020, Burlingame, CA, USA, January 26-30, 2020
Simulating motion blur and exposure time and evaluating its effect on image quality
Pupil detection and tracking for AR 3D under various circumstances
Detection Probabilities: Performance Prediction for Sensors of Autonomous Vehicles
FisheyeDistanceNet++: Self-Supervised Fisheye Distance Estimation with Self-Attention, Robust Loss Function and Camera View Generalization
Autonomous Vehicles and Machines 2018, Burlingame, CA, USA, January 28 - February 1, 2018
Single image haze removal using multiple scattering model for road scenes
From stixels to asteroids: Towards a collision warning system using stereo vision
Object Detection Using an Ideal Observer Model
Fundamental Imaging System Analysis for Autonomous Vehicles
A Study on Training Data Selection for Object Detection in Nighttime Traffic Scenes
Perspectively Correct Bird's Views Using Stereo Vision
Spatial precision and recall indices to assess the performance of instance segmentation algorithms
Signal detection theory and automotive imaging
Real-time LIDAR imaging by solid-state single chip beam scanner
MTF as a performance indicator for AI algorithms?
Validation methods for geometric camera calibration
Autonomous Vehicles and Machines 2019, Burlingame, CA, USA, January 13-17, 2019
Deep Reinforcement Learning framework for Autonomous Driving
How much depth information can radar contribute to a depth estimation model?
Quantitative study of vehicle-pedestrian interactions: Towards pedestrian-adapted lighting communication functions for autonomous vehicles
Efficient in-cabin monitoring solution using TI TDA2PxSOCs
Visual SLAM and Localization - The Hard Cases
Multi-sensor fusion for Automated Driving: Selecting model and optimizing on Embedded platform
Unify The View of Camera Mesh Network to a Common Coordinate System
RoadEdgeNet: Road Edge Detection System Using Surround View Camera Images
Toward metrological trustworthiness for automated and connected mobility
Data driven degradation of automotive sensors and effect analysis
Evaluation of semi-frozen semi-fixed neural network for efficient computer vision inference
Virtual Simulation Platforms for Automated Driving: Key Care-About and Usage Model
LiDAR-Camera Fusion for 3D Object Detection
Optimization of ISP parameters for object detection algorithms
DriveSpace: Towards context-aware drivable area detection
Motion Estimation Using Visual Odometry and Deep Learning Localization
End-to-End Imaging System Optimization for Computer Vision in Driving Automation
Autonomous Vehicles and Machines 2022 Conference Overview and Papers Program
Contrast detection probability - Implementation and use cases
Contrast Signal to Noise Ratio
Context Aware Hyperspectral Scene Analysis
Orchestration of co-operative and adaptive multi-core deep learning engines
Raindrop detection considering extremal regions and salient features
Auto-simulator Preparation for Research into Assessing the Correlation Between Human Driving Behaviors and Fixation Patterns
Autonomous Vehicles and Machines 2017, Burlingame, CA, USA, January 29 - February 2, 2017
Fast Prediction of Contrast Detection Probability
Multiple pedestrian tracking using Siamese random forests and shallow Convolutional Neural Networks
Potentials of combined visible light and near infrared imaging for driving automation
Free-view multi-camera visualization and harmonization for automotive systems
Milpet - The Self-Driving Wheelchair
Comparison of Detectability Index and Contrast Detection Probability
Loop Closure Detection in Simultaneous Localization and Mapping Using Learning Based Local Patch Descriptor
Efficient Pre-Processor for CNN
An analytic-numerical image flicker study to test novel flicker metrics
Multi-Sensor Fusion in Dynamic Environment using Evidential Grid Mapping
Simulating tests to test simulation
Camera Radar Fusion for Increased Reliability in ADAS Applications
Object Tracking Continuity through Track and Trace Method
Integration of advanced stereo obstacle detection with perspectively correct surround views
Deep dimension reduction for spatial-spectral road scene classification
Automatic shadow detection using hyperspectral data for terrain classification
The influence of image capture and processing on MTF for end of line test and validation
Optical flow for autonomous driving: Applications, challenges and improvements
Visual quality evaluation of the multi-camera visualization in automotive surround view systems
Face Pose Estimation From Rigid Face Landmarks For Driver Monitoring Systems
LED flicker: Root cause, impact and measurement for automotive imaging applications
Multi-lane modelling using convolutional neural networks and conditional random fields
FisheyePixPro: Self-supervised pretraining using Fisheye images for semantic segmentation
Solving PDEs on Manifolds with Global Conformal Parametriazation
Global Minimization of the Active Contour Model with TV-Inpainting and Two-Phase Denoising
Uncertainty-Driven Non-parametric Knowledge-Based Segmentation: The Corpus Callosum Case
Structure-Texture Decomposition by a TV-Gabor Model
A C 1 Globally Interpolatory Spline of Arbitrary Topology
Trimap Segmentation for Fast and User-Friendly Alpha Matting
Fast Marching Method for Generic Shape from Shading
A Variational Approach for Object Contour Tracking
Geodesic Image Interpolation: Parameterizing and Interpolating Spatiotemporal Images
A Study of Non-smooth Convex Flow Decomposition
A Surface Reconstruction Method for Highly Noisy Point Clouds
Implicit Free-Form-Deformations for Multi-frame Segmentation and Tracking
Entropy Controlled Gauss-Markov Random Measure Field Models for Early Vision
A Gradient Descent Procedure for Variational Dynamic Surface Problems with Constraints
Lens Distortion Calibration Using Level Sets
Variational, Geometric, and Level Set Methods in Computer Vision, Third International Workshop, VLSM 2005, Beijing, China, October 16, 2005, Proceedings
Heuristically Driven Front Propagation for Geodesic Paths Extraction
Towards PDE-Based Image Compression
Incorporating Rigid Structures in Non-rigid Registration Using Triangular B-Splines
From Inpainting to Active Contours
Color Image Deblurring with Impulsive Noise
Nonlinear Inverse Scale Space Methods for Image Restoration
Image Cartoon-Texture Decomposition and Feature Selection Using the Total Variation Regularized L 1 Functional
Combined Geometric-Texture Image Classification
Advances in Variational Image Segmentation Using AM-FM Models: Regularized Demodulation and Probabilistic Cue Integration
Regularization of Mappings Between Implicit Manifolds of Arbitrary Dimension and Codimension
Denoising Tensors via Lie Group Flows
Sobolev Active Contours
Dynamical Statistical Shape Priors for Level Set Based Sequence Segmentation
Using an Oriented PDE to Repair Image Textures
Non-rigid Shape Comparison of Implicitly-Defined Curves
Collective Action, Direct Action and Dynamic Operators
Adding Organizations and Roles as Primitives to JADE Framework
Beyond BDI? Brandomian commitments for multi-agent communication
Introduction to Normative Multiagent Systems
Towards Norm-Governed Self-Organising Networks
Collective Trust and Normative Agents
Consistency and Completeness of Regulations
Impact of Multiple Normative Systems on Organization Performance of International Joint Ventures
Norm Dynamics in Adaptive Organisations
Institutional Social Dynamic Dependence Networks
Self-Organized Criticality and Norm Avalanches
Ontological Aspects of the Implementation of Norms in Agent-Based Electronic Institutions
A Normative View on the Blocks World
Symposium on Normative Multi-Agent Systems, NORMAS 2005, part of the SSAISB 2005 Convention, University of Hertfordshire, Hatfield, UK, 12-15 April 2005. Proceedings
Formalizing Coalition Structures via Obligations
A Framework for the Design of Self-Regulation of Open Agent-based Electronic Marketplaces
Prolegomena for a Logic of Trust and Reputation
Normative KGP Agents: A Preliminary Report
Mapping of Deontic Operators to Abductive Expectations
Increasing Software Infrastructure Dependability through a Law Enforcement Approach
DynaCROM: An Approach to Implement Regulative Norms in Normative Multiagent Systems
How Agents Find out Norms: A Simulation Based Model of Norm Innovation
A Normative Framework for Agent-Based Systems
Third International Workshop on Normative Multiagent Systems - NorMAS 2008, Luxembourg, July 15-16, 2008. Proceedings
My Agents Love to Conform: Emotions, Norms, and Social Control in Natural and Artificial Societies
Towards a Formalization of Responsibility
Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic
Conditional Obligations in Strategic Situations
Normative Multiagent Systems - Third International Workshop (Editorial)
On the Potential of Norm-Governed Behavior in Different Categories of Artificial Societies
Formalizing Deductive Coherence: An Application to Norm Evaluation
Verification of a Batch of Bad Signatures by Using the Matrix-Detection Algorithm
Low Complexity, High Efficiency Probability Model for Hyper-spectral Image Coding
Wavelet Trees: From Theory to Practice
A Review of DNA Microarray Image Compression
An Axiomatic Approach to the Notion of Similarity of Individual Sequences and Their Classification
Lossless Compression of Hyperspectral Imagery
A Method to Ensure the Confidentiality of the Compressed Data
Backwards Search in Context Bound Text Transformations
An Online Algorithm for Lightweight Grammar-Based Compression
Multithread Content Based File Chunking System in CPU-GPGPU Heterogeneous Architecture
A Centralized, Extensible, Multilayer Monitoring System for Distributed Infrastructures: The Atlas Tier2-Naples Experience
Pattern Matching on Sparse Suffix Trees
Combining Non-stationary Prediction, Optimization and Mixing for Data Compression
Wireless Connectivity for Remote Objective Monitoring of Bio-signals
Successive Normalization of Rectangular Arrays: Rates of Convergence
Fast Implementation of Block Motion Estimation Algorithms in Video Encoders
Electrophysiological Data Processing Using a Dynamic Range Compressor Coupled to a Ten Bits A/D Convertion Port
A Novel Approach to QoS Monitoring in the Cloud
A Patch for Squashfs to Improve the Compressed Files Contents Search: HSFS
Saving Energy in Data Center Infrastructures
Compression-Based Similarity
Generalized Witness Sets
CoTracks: A New Lossy Compression Schema for Tracking Logs Data Based on Multiparametric Segmentation
Applications of Compression to Content Based Image Retrieval and Object Recognition
Overload Control through Multiprocessor Load Sharing in ATCA Architecture
First International Conference on Data Compression, Communications and Processing, CCP 2011, Palinuro, Cilento Coast, Italy, June 21-24, 2011
Asymptotic Optimal Lossless Compression via the CSE Technique
Hierarchical Type Classes and Their Entropy Functions
Cataloga: A Software for Semantic-Based Terminological Data Mining
Intrusion Tolerant Approach for Denial of Service Attacks to Web Services
Review and Implementation of the Emerging CCSDS Recommended Standard for Multispectral and Hyperspectral Lossless Image Coding
Toward a Flexible, Environmentally Conscious, on Demand High Performance Computing Service
Evaluating New Cluster Setup on 10Gbit/s Network to Support the SuperB Computing Model
The E-healthcare Point of Diagnosis Implementation as a First Instance
Cache Friendly Burrows-Wheeler Inversion
Straight-Line Programs: A Practical Test
A Rate-Allocation Based Multi-path Congestion Control Scheme for Event-Driven Wireless Sensor Networks
Quick Estimation of Data Compression and De-duplication for Large Storage Systems
QoS Performance Testing of Multimedia Delivery over WiMAX Networks
Natural Language Compression per Blocks
Lempel-Ziv Data Compression on Parallel and Distributed Systems
The Evolution of Data Center Networking Technologies
A Generic Intrusion Detection and Diagnoser System Based on Complex Event Processing
A Mathematical Modeling of Pure, Recursive Algorithms
A Versioning and Evolution Framework for RDF Knowledge Bases
History-Dependent Stochastic Petri Nets
Mining Precise Specifications - (Abstract)
A Knowledge Engineering Approach to Deal with 'Narrative' Multimedia Documents
An Optimal Algorithm for Purging Regular Schemes
Formal Verification of a Compiler Back-End Generic Checker Program
Admissibility of fixed-point induction in first- order logic of typed theories
Numeric Types in Formal Synthesis
An ASM Semantics of Token Flow in UML 2 Activity Diagrams
Semantic unification in a multi-language compiler
Communication as Unification in Process Algebras: Operational Semantics (Invited Paper)
Security for Multithreaded Programs Under Cooperative Scheduling
A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts
A Logic for Data Description
Modeling Actor Systems Using Dynamic I/O Automata
Data Flow Analysis of Java Programs in the Presence of Exceptions
Polymorphic Typing for Call-by-Name Semantics
A Knowledge Portal for Cultural Information Resources: Towards an Architecture
The Language Lola, FPGAs and PLDs in Teaching Digital Circuit Design
Prediction of RNA Secondary Structure Based on Optimization in the Space of Its Descriptors by the Simulated Annealing Algorithm
A Method for Recovery and Maintenance of Software Architecture
Compositional Relational Programming with Name Projection and Compositional Synthesis
Polymorphism in OBJ-P
Linear Types for Cashflow Reengineering
Asymptotic Speedups, Bisimulation and Distillation (Work in Progress)
Refinements in Typed Abstract State Machines
Principles for Entity Authentication
Sonic Partial Deduction
Open Maps and Trace Semantics for Timed Partial Order Models
Using Experiments to Build a Body of Knowledge
Storing Properties in Grouped Tagged Tuples
Relaxed Parsing of Regular Approximations of String-Embedded Languages
Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code
Program structure analysis in a global optimization
Rôle of Domain Engineering in Software Development - Why Current Requirements Engineering Is Flawed !
CDL-A compiler implementation language
A formal approximation theory of semantic data types
What should we do having proved a decision problem to be unsolvable?
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification
Confidentiality for Multithreaded Programs via Bisimulation
Symbolic Tree Transducers
A Logical Reconstruction of Reachability
On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers
A Prolog Tailoring Technique on an Epilog Tailored Procedure
Distributed Representation of n-gram Statistics for Boosting Self-organizing Maps with Hyperdimensional Computing
Configurable computers: a new class of general purpose machines
Scalable Parallel Interval Propagation for Sparse Constraint Satisfaction Problems
Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs
Highlights of the Rice-Shapiro Theorem in Computable Topology
Pragmatics in a complier production system
Hierarchical Constraint Satisfaction Based on Subdefinite Models
Inevitability in Branching Time
The Role of Indirections in Lazy Natural Semantics
Why Automata Models Are Sexy for Testers? (Invited Talk)
On inductive synthesis of programs
Specifying and Verifying Programs in Spec#
Artificial Life and Pollution Control: Explorations of a Genetic Algorithm System on the Highly Parallel Connection Machine
Reachability in One-Dimensional Controlled Polynomial Dynamical Systems
Multi-classification of Patent Applications with Winnow
Basic Protocols: Specification Language for Distributed Systems
Turchin's Relation and Subsequence Relation in Loop Approximation
Program Schemata Technique to Solve Propositional Program Logics Revised
Towards Automated Static Verification of GNU C Programs
Verification of Distributed Dataspace Architectures
Abstract State Machines for the Composition of Architectural Styles
A Layered Architecture Sustaining Model-Driven and Event-Driven Software Development
Algorithms in Modern Mathematics and Computer Science, Proceedings, Urgench, Uzbek SSR, USSR, September 16-22, 1979
On the experience of riding two horses in programming
Logic Program Testing Based on Abstract Interpretation
Observational Logic and Process Semantics (Abstract)
RSSA: A Reversible SSA Form
Metalanguage for formal definition of semantics of programming languages
Verification Support for a State-Transition-DSL Defined with Xtext
Separating Search and Strategy in Solver Cooperations
An Ontology-Based Approach to the Agile Requirements Engineering
Serializability Preserving Extensions of Concurrency Control Protocols
ProgDOC - A New Program Documentation System
On the Importance of Parameter Tuning in Text Categorization
Algo-Like Languages with Higher-Order Procedures and Their Expressive Power
Algebraic State Machines: Concepts and Applications to Security
Providing the Sharing of Heterogeneous Ontology Design Patterns in the Development of the Ontologies of Scientific Subject Domains
Nobrainer: An Example-Driven Framework for C/C++ Code Transformations
A Query Language for Logic Architectures
A Sufficient Condition for the Observational Equivalence of Processes
Symbolic Bounded Conformance Checking of Model Programs
Several aspects of theory of parametric models of languages and parallel syntactic analysis
Establishing Linux Driver Verification Process
Procedure implementation in a multi-language translator
An Extensible System for Enhancing Social Conference Experience
Making the Evolution of Graphical Models Visible
Expanding constructive universes
Runtime Specialization of PostgreSQL Query Executor
Adding Design Strategies to Fork Algebras
Insertion Modeling System
Checking Several Requirements at once by CEGAR
Enriching Textual Xtext-DSLs with a Graphical GEF-Based Editor
Polynomial Approximations for Model Checking
Gentzen Style Systems for K45 and K45D
Hierarchical Cause-Effect Structures
Separability in Conflict-Free Petri Nets
Automated Program Synthesis for Java Programming Language
A Technique for Information Retrieval from Microformatted Websites
On Transformations into Linear Database Logic Programs
Multiple Ant Colony Optimization for Single Depot Multiple Trip Vehicle Routing Problems
Test Case Generation for UML Statecharts
Equivalence of Finite-Valued Symbolic Finite Transducers
Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
On Lexicographic Termination Ordering with Space Bound Certifications
Program Construction in the Context of Evolutionary Computation
On the Possibility of Provably Secure Obfuscating Programs
Looking for an approach to a theory of models for parallel computation
Games, Interaction and Computation
Indexing Dense Nested Metric Spaces for Efficient Similarity Search
Intersecting Classes and Prototypes
Extracting the Essence of Distillation