yusuke1997/dblp-id-title huggingface dataset:
High-Speed IP Address Lookups Using Hardware Based Tree Structures
A2B: An integrated framework for designing heterogeneous and reconfigurable systems
A very high resolution DAC at 1kHz for space applications
Synthesis of Multimode digital signal processing systems
Evolvable Hardware Based Gray-level Image Enhancement
Optimizing high speed serial communication using Honeywell Rad Hard SerDes
A New Behavioural Power Modelling Approach for FPGA based Custom Cores
Dynamic Partial Reconfiguration in Space Applications
2015 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2015, Montreal, QC, Canada, June 15-18, 2015
SW-HW Co-design and Fault Tolerant Implementation for the LRID Wireless Communication System
Normalizing Discrete Circuit Features with Statistically Independent values for incorporation within a highly Secure Encryption System
R3ToS based Partially Reconfigurable Data Flow Pipelined Network on chip
DNA and Protein Sequence Alignment with High Performance Reconfigurable Systems
State-Space Modelling of Anticipatory Behaviour for Self-Adaptability with Applications to Biosensors
Adaptive Hardware Reconfiguration for Performance Tradeoffs in CNNs
Designing Electronic Circuits by Means of Gene Expression Programming
Fault-Tolerant Distributed Attitude and Orbit Control System for Space Applications
Automated synthesis of 8-output voltage distributor using incremental, evolution
Following the Footsteps of Others: Techniques for Automatic Shoeprint Classification
FPGA Implementation of a Cellular Compact Genetic Algorithm
Designing customized microprocessors for fixed-point computation
Keynote address II: Adaptive distributed systems for space exploration: Present and future
A formal approach to self-configurable swarm-based space-exploration systems
Visual Place Recognition for Aerial Robotics: Exploring Accuracy-Computation Trade-off for Local Image Descriptors
Implementation of an initial-configuration based on self-reconfiguration for an on-board processor
A formal model for specification and optimization of flexible communication systems
Recovery method for a turn-off failure mode of a laser array on an ORGA
HW-based Architecture for Runtime Verification of Embedded Software on SoPC systems
A Configurable FIR Filter Scheme based on an Adaptive Multilayer Network Structure
Maxwell - a 64 FPGA Supercomputer
An On-Chip Adaptive Spike Timing Based Offset Cancellation Scheme for Neuromorphic Sensing
Adaptive Facial Behaviour using Selected Machine Learning Methods
On development of Hilbert-Huang Transform data processing real-time system with 2D capabilities
Mapping Reconfigurable Antennas Using Graphs
Enhancements of reconfigurable System-on-Chip Data Processing Units for Space Application
Combined HW-SW adaptive clone-resistant functions as physical security anchors
Application-driven dimensioning of a Coarse-Grain Reconfigurable Array
VLSI Design IP Protection: Solutions, New Challenges, and Opportunities
Self-adaptation techniques for mixed-signal SiGe BiCMOS ICs
Online control adaptation for safe and secure autonomous vehicle operations
An Adaptive Telerobotics Control for Advanced Manufacturing
Adaptive middleware design for satellite fault-tolerant distributed computing
Dual Core System-on-a-Chip Design to Support Inter-Satellite Communications
Embedded system protection from software corruption
A Fingerprint Identification System Using Adaptive FPGA-Based Enhanced Probabilistic Convergent Network
Strategies to On- Line Failure Recovery in Self- Adaptive Systems based on Dynamic and Partial Reconfiguration
Rapid Prototyping of Deep Learning Models on Radiation Hardened CPUs
Performance Analysis of SEE Mitigation Techniques on Zynq Ultrascale + Hardened Processing Fabrics
GP-GPU: Bridging the Gap between Modelling & Experimentation
High Performance Space Computing with System-on-Chip Instrument Avionics for Space-based Next Generation Imaging Spectrometers (NGIS)
Effect of a Central Antenna Element on the Directivity, Half-Power Beamwidth and Side-Lobe Level of Circular Antenna Arrays
Simulation of 3D Printed Antenna System using Liquid Metal Antenna Elements
SoCWire: A Network-on-Chip Approach for Reconfigurable System-on-Chip Designs in Space Applications
Locating rate adaptation by evaluating movement specific parameters
A systematic generation of optimized heterogeneous 3D Networks-on-Chip architecture
A fault-tolerant system-on-programmable-chip based on domain-partition and blind reconfiguration
On the Design of a Reconfigurable OTA-C Filter for Software Radio
The Gannet Service-Based SoC: A Service-level Reconfigurable Architecture
Acceleration method of optical reconfigurations using analog configuration contexts
A fuzzy logic based dynamic reconfiguration scheme for optimal energy and throughput in symmetric chip multiprocessors
Evolvable systems on reconfigurable architecture via self-aware adaptive applications
Efficient reconfiguration of processing modules on FPGAs for space instruments
A high-throughput, adaptive FFT architecture for FPGA-based space-borne data processors
Cocoon-PUF, a novel mechatronic secure element technology
Automatic Recognition of Shoeprints using Fourier-Mellin Transform
Adaptive and evolvable hardware security architectures
An Fpga implementation of the HME self-synchronizing stream cipher for Enhanced security and performance
Architecture of a Dynamically Reconfigurable NoC for Adaptive Reconfigurable MPSoC
Self-Scaling Evolution of analog computation circuits with digital accuracy refinement
Adaptive genetic algorithm-based method for antenna location optimization in RF relative measurement
2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012, Erlangen, Germany, June 25-28, 2012
Rapid Prototyping of an Improved Cholesky Decomposition Based MIMO Detector on FPGAs
Process reliability based trojans through NBTI and HCI effects
Characterising Wireless Sensor Motes for Space Applications
Decentralized obstacle avoidance in collective object manipulation
A bio-inspired self-organizing approach for multicellular embryonic architecture
MAT-CNN-SOPC: Motionless Analysis of Traffic Using Convolutional Neural Networks on System-On-a-Programmable-Chip
Adaptable video compression and transmission using lossy and workload balancing techniques
Recursive sigmoidal neurons for adaptive accuracy neural network implementations
Gate-level Morphogenetic Evolvable Hardware for Scalability and Adaptation on FPGAs
Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method
Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
Plane Euclidian Reasoning
Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL
Current Status of the I2GATP Common Format
Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams
Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons
Automatic Verification of the Adequacy of Models for Families of Geometric Objects
Planar Generalized Stewart Platforms and Their Direct Kinematics
Linear Programming for Bernstein Based Solvers
Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving
A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction
Automated Geometric Reasoning: Dixon Resultants, Gröbner Bases, and Characteristic Sets
What Is a Line ?
Algebraic and Semialgebraic Proofs: Methods and Paradoxes
Computational Geometry Problems in REDLOG
Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System
Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry
Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
Proof and Computation in Geometry
Flat Central Configurations of Four Planet Motions
Equation Systems with Free-Coordinates Determinants
An Application of Automatic Theorem Proving in Computer Vision
Multivariate Resultants in Bernstein Basis
On One Method of Proving Inequalities in Automated Way
n D Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation
Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving
Cancellation Patterns in Automatic Geometric Theorem Proving
Area in Grassmann Geometry
Distance Coordinates Used in Geometric Constraint Solving
C 1 Spline Implicitization of Planar Curves
The Relation Tool in GeoGebra 5
Using Computer Algebra Tools to Classify Serial Manipulators
Extension of Simson-Wallace Theorem on Skew Quadrilaterals and Further Properties
Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study
Proof Documents for Automated Origami Theorem Proving
The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction
Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers
Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries
Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach
Variant Geometry Analysis and Synthesis in Mechanical CAD
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization
Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method
Integration of Reasoning and Algebraic Calculus in Geometry
Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods
Dynamical Systems of Simplices in Dimension Two or Three
Offsetting Revolution Surfaces
Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Symbolic Solution of a Piano Movers' Problem with Four Parameters
Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs
Mechanical Theorem Proving in Computational Geometry
Some Applications of Clifford Algebra to Geometries
Points on Algebraic Curves and the Parametrization Problem
Volume Frameworks and Deformation Varieties
Towards an Electronic Geometry Textbook
Mechanical Theorem Proving in Tarski's Geometry
Automatic Verification of Regular Constructions in Dynamic Geometry Systems
Constructing a Tetrahedron with Prescribed Heights and Widths
Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method
Towards a Geometric-Object-Oriented Language
On Flattenability of Graphs
Decision Complexity in Dynamic Geometry
Rigidity of Origami Universal Molecules
Automated Geometry Diagram Construction and Engineering Geometry
On the Design and Implementation of a Geometric Knowledge Base
A Complex Change of Variables for Geometrical Reasoning
An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time
A New Structural Rigidity for Geometric Constraint Systems
Recognition of Computationally Constructed Loci
Recent Advances in Real Geometric Reasoning
The Kinds of Truth of Geometry Theorems
Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases
Effective Methods in Computational Synthetic Geometry
On the Formal Analysis of Geometrical Optics in HOL
On the Heilbronn Optimal Configuration of Seven Points in the Square
The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes
Formalizing Projective Plane Geometry in Coq
A Clifford Algebraic Method for Geometric Reasoning
Clifford Term Rewriting for Geometric Reasoning in 3D
Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
On the Decidability of Tracing Problems in Dynamic Geometry
Algorithmic Tests for the Normal Crossing Property
Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
The Nonsolvability by Radicals of Generic 3-connected Planar Graphs
The Midpoint Locus of a Triangle in a Corner
Solving Geometric Problems with Real Quantifier Elimination
Extended Dixon's Resultant and Its Applications
Algebraic Analysis of Huzita's Origami Operations and Their Extensions
A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry
Readable Machine Solving in Geometry and ICAI Software MSG
An Introduction to Java Geometry Expert - (Extended Abstract)
Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management
Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization
A Hybrid Method for Solving Geometric Constraint Problems
On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons
MMP/Geometer - A Software Package for Automated Geometric Reasoning
Remarks on Geometric Theorem Proving
Equidecomposable Quadratic Regions
Extending the Descartes Circle Theorem for Steiner n-Cycles
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
On Spatial Constraint Solving Approaches
Unique Factorization Domains in the Java Computer Algebra System
Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers
From Tarski to Hilbert
Probabilistic Verification of Elementary Geometry Statements
Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers
Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle
Algorithmic Search for Flexibility Using Resultants of Polynomial Systems
Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness
Decomposing Algebraic Varieties
A Practical Program of Automated Proving for a Class of Geometric Inequalities
Nonstandard Geometric Proofs
Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision
Computational Synthetic Geometry with Clifford Algebra
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry
Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving
Qubit Logic, Algebra and Geometry
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
Automated Discovering and Proving for Geometric Inequalities
Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides
Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems
Reasoning about Surfaces Using Differential Zero and Ideal Decomposition
Star-Unfolding Polygons
Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls
Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods
GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically
Realizations of Volume Frameworks
Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Cylinders Through Five Points: Complex and Real Enumerative Geometry
Function-Based Shape Modeling: Mathematical Framework and Specialized Language
Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving
Head Posture Recognition Based on Newton-Raphson Method
Accurate Semantic Segmentation in Remote Sensing Image
Machine Learning for Prediction of Blood Transfusion Rates in Primary Total Knee Arthroplasty
Improving Histopathological Image Segmentation and Classification using Graph Convolution Network
PruneFaceDet: Pruning Lightweight Face Detection Network by Sparsity Training
Explaining GBDT by Probabilistic Finite-State Automata
AMINN: Attention-Based Multi-Information Neural Network for Emotion Recognition
TU-Net: A Precise Network for Tongue Segmentation
Metagenomic Sequence Classification based on One-Dimensional Convolutional Neural Network
Multiple Speech Source Separation by Using MVDR for B-Format Recordings
Enhancing Pretrained Multilingual Machine Translation Model with Code-Switching: A Study on Chinese, English and Malay Language
Single Image Reflection Removal with Diffusion Model
Calibration of the Industrial Robot End-effector Pose Measurement Error
Modeling and Analyzing the Multi-Information Network Propagation Dynamics on Hot Events
Sentiment Analysis of Weibo Text Using a Deep Combination Model
Perceptual Video Coding Based on Spatial Masking for Medical Video Communication
Prediction of Vehicle Registration Quantity Based on ARIMA Model
Knowledge Enhanced Fine-grained Biomedical Named Entity Recognition
DOA Estimation Based On Improved Weighted Algorithm
MRFNet: Muscle Motion and Facial Region Relationships Fusion for Enhanced Micro-expression Recognition
Improving Pedestrian Attribute Recognition with Dual Adaptive Fusion Attention
A Tracking Algorithm with Dynamic Response Fusion Mechanism
A Cyber Threat Entity Recognition Method Based on Robust Feature Representation and Adversarial Training
Medium and Long Wave Infrared Image Enhancement Fusion Method Based on Edge Preserving
Gas flow meter anomaly data detection based on fused LOF-DBSCAN algorithm
Image-to-Image Bidirectional Generation Net for MR Images
Generative Models Based Wafer Surface Defect Detection in Limited Sample Scenarios
FedRFD: Heterogeneous Federated Learning via Refining Feature-level Distillation
RGFGM-LXMERT-An Improve Architecture Based On LXMERT
Oil Pipelines Detection Based on Unmanned Aerial Vehicle Pipeline Patrol Image
Enhancing the Encoding Process in Point Cloud Completion
Principal component self-attention mechanism for melanoma hyperspectral image recognition
A Model for Luggage Re-identification Based on the Network Ensemble
Object Detection Based on Feature Scale Fusion and Feature Scale Enhancement
Class-Aware Feature Regularization for Semantic Segmentation
Vehicle Ranging Warning System based on Trinocular Vision
Design and Implementation of Integrated Processing Platform Based on Patrol UAVs
Using Noisy Word-Level Labels to Train a Phoneme Recognizer based on Neural Networks by Expectation Maximization
A Sentiment Analysis Algorithm of Danmaku Based on Building a Mixed Fine-grained Sentiment Lexicon
Pathologic Myopia Classification based on Shuffle-EfficientNet Model
WFaceNets: A Series of Efficient Neural Networks for Face Validation Tasks
Intelligent IoT Scheduling Mechanism Based on Data Traffic Prediction
Design of 16ch Input and 4ch Output High-speed Analog Matrix Switching Circuit
Multi Dimensional Deep Encoding for Categorical Feature Space
Gaze Estimation with Multi-Scale Channel and Spatial Attention
A Graph-Enhanced Convolution Network with Attention Gate for Skeleton Based Action Recognition
Proceedings of the 2024 13th International Conference on Computing and Pattern Recognition, ICCPR 2024, Tianjin, China, October 25-27, 2024
Valid Activity Acquisition and Recognition with WIFI Based on Blind Source Separation
Proceedings of the 2022 11th International Conference on Computing and Pattern Recognition, ICCPR 2022, Beijing, China, November 17-19, 2022
Multi-Scale Features Integration for Handwritten Mathematical Expression Recognition
Face Clustering Based on Fusion of Face Tracking and Optimization
ICCPR '21: 10th International Conference on Computing and Pattern Recognition, Shanghai, China, October 15 - 17, 2021
Heart Rate Detection Using Motion Compensation with Multiple ROIs
Fractional Order Image Registration Model Based on Infimal Convolution
Monocular Depth Estimation Using Differential Scale Features and Log-Remapping Depth Guidance
Research on Simulation System and Simulation Technology of the Guided Ammunition
Face Frontalization with Inpainting Method
Twitter User Geolocation based on Heterogeneous Network and Label Propagation
A Symmetric Dual-Attention Generative Adversarial Network with Channel and Spatial Features Fusion
Multi-paths Deep Convolutional Neural Network Based on Knowledge Distillation
An Efficient Lightweight Spatio-temporal Attention Module for Action Recognition
BiLSTM-KAN: A Time Series-based Traffic Flow Forecasting Model
Coordinate Attention-enabled Ship Object Detection with Electro-optical Image
Activity classification of the elderly based on lightweight convolutional neural networks
Attention-based Hyperspectral Classification Networks with Spectral Separability Analysis
Pipeline Displacement Detection Based on Unmanned Aerial Vehicle Trajectory
Estimation of Physical Characteristics of Peach Leaves Using K-means Clustering in the L*a*b* Color Space
Real-time Sidewalk Anomaly Detection from Surveillance Video with A Combination Model
Research on Aspect-based Sentiment Analysis Based on XLNet-GCN
Multiple Sound Sources Localization by using Statistical Source Component Equalization
An Optimized Algorithm for Speeding up Universal Adversarial Perturbation Generation
The Research on Multi-angle Face Tracking Based on Multi-feature Fusion and KCF
Construction of Uyghur Scene Text Image Database
Rare Association Rule Mining Based on Reinforcement Learning
Multi-level Relational Knowledge Distillation for Low Resolution Image Recognition
A Multi-scale Wavelet CNN for Scanning Electron Microscopy Nerve Image Super Resolution
Understanding the Structure of Streaming Documents based on Neural Network
A Selective Multi-feature Tracker based on Confidence
A Recommendation Algorithm Incorporating Self-Attention Mechanism and Knowledge Graph
A Survey of Person Re-identification Based on Deep Learning
A Wearable Brain-Computer Interface System for Fatigue Detection in Driving
A Mining Policy based Malicious Encrypted Traffic Detection Scheme
Deep Features Based IDS Alarm False Positive Elimination Algorithm
Fully Convolutional Network for Target Classification of Ice Sheet Radar Image
A Deep Residual Sparse and Cross Domain Reconstruction Network for Dynamic MR Imaging
Plant Diseases Recognition on Digital Images using Swin Transformer
An Ontology-enhanced Knowledge Graph Embedding Method
Brain control jigsaw puzzle system based on hybrid brain computer interface of motor imagery and steady-state visual evoked potential
Exploiting Generalized Matched Filter for Efficient and Effective P300 Detection in Speller Paradigm
The Impact of Online Word-of-mouth on Movie Box Office Based on Fine-grained Sentiment Analysis
The PDS6Net, a sequence model based on state-space theory, is utilized to classifying Chronic Primary Pain and depression
N-DPC: Dense 3D Point Cloud Completion Based on Improved Multi-Stage Network
Spatial-Perception Fusion and Progressive Refinement Network For RGB-D Camouflaged Object Detection
Can We Extract 3D Biometrics from 2D Images for Facial Beauty Analysis?
An Automatic Diagnosis Method for Chronic Obstructive Pulmonary Disease (COPD) Based on the Integration of MFCC and LPCC Feature Parameters
Sentiment Analysis of Chinese Text Based on CNN-BiLSTM Serial Hybrid Model
A Brief Comparison of Deep Learning Methods for Semantic Segmentation
DOA Estimation Based on a Sparsity Pre-estimation Adaptive Matching Pursuit Algorithm
Global Image Correlation Filter with H-D Fusion Mechanism for Visual Tracking
Multiple Sound Source Separation by Jointing Single Source Zone Detection and Linearly Constrained Minimum Variance
Offline Text-Independent Writer Identification Using Different Levels of Features
CardiacSegFormer: Transformer for Semantic Segmentation of Cardiac Images
Attention-Based End-to-End Keywords Spotting
SLFRM: A Novel Signature Local Feature Reconstruction Module for Offline Signature Verification
An Unstructured Data Desensitization Approach for Futures Industry