yusuke1997/dblp-id-title huggingface dataset:
The Event Calculus in Classical Logic - Alternative Axiomatisations
Qualitative Trees Applied to Bicycle Riding
Relating Theories of Actions and Reactive Control
Describing Abstraction in Rendered Images through Figure Captions
An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming
Combining Inductive Logic Programming, Active Learning and Robotics to Discover the Function of Genes
The Complexity of the Language A
Integrating Probabilistic and Logical Reasoning
Ontologies for Molecular Biology
Action Languages
An Approach to Perception in Theory of Actions: Part I
R-GCN Based Function Inference for Gate-level Netlist
An OpenCL-based Software Framework for a Heterogeneous Multicore Architecture on Zynq-7000 SoC
A Fast Performance Estimation Framework for System-Level Design Space Exploration
LLVM-C2RTL: C/C++ Based System Level RTL Design Framework Using LLVM Compiler Infrastructure
A Learning-based Control Scheme for MTJ-based Non-volatile Flip-Flops
An FPGA Implementation of a HOG-based Object Detection Processor
Communication-Aware Scheduling of Data-Parallel Tasks on Multicore Architectures
Intensity Difference Map (IDM) Accuracy Analysis for OPC Efficiency Verification and Further Enhancement
A Low Bandwidth Integer Motion Estimation Module for MPEG-2 to H.264 Transcoding
Courier: A Toolchain for Application Acceleration on Heterogeneous Platforms
A Robust Algorithm for Pessimistic Analysis of Logic Masking Effects in Combinational Circuits
Large-Scale 3D Chips: Challenges and Solutions for Design Automation, Testing, and Trustworthy Integration
Proposal for Non-Volatilization of Logic Cell Architecture for eFPGA IP
An Accurate and Fast Trace-aware Performance Estimation Model For Prioritized MPSoC Bus With Multiple Interfering Bus-Masters
Scalar Replacement with Circular Buffers
Gridless Gap Channel Routing to Minimize Wirelength
Automatic Pipeline Construction Focused on Similarity of Rate Law Functions for an FPGA-based Biochemical Simulator
Two-layer Bottleneck Channel Track Assignment for Analog VLSI
Welcome to TSLDM - A New Open-Access Online Journal from IPSJ
A Counter-based Read Circuit Tolerant to Process Variation for 0.4-V Operating STT-MRAM
A Case Study for Improving Performances of Deep-Learning Processor with MRAM
Placement: From Wirelength to Detailed Routability
Software Development Tool Generation Method Suitable for Instruction Set Extension of Embedded Processors
Energy-aware Routing of Delivery Drones under Windy Conditions
Scalable Stochastic Number Duplicators for Accuracy-flexible Arithmetic Circuit Design
Area Recovery under Depth Constraint for Technology Mapping for LUT-based FPGAs
Layout Generator with Flexible Grid Assignment for Area Efficient Standard Cell
An FPGA Implementation Method based on Distributed-register Architectures
A Fast Trace Aware Statistical Based Prediction Model with Burst Traffic Modeling for Contention Stall in A Priority Based MPSoC Bus
Power Optimized Design Framework for FPGA Clusters
A Fast Weighted Adder by Reducing Partial Product for Reconstruction in Super-Resolution
Measurement Results of Real Circuit Delay Degradation under Realistic Workload
Scan-based Side-channel Attack against HMAC-SHA-256 Circuits Based on Isolating Bit-transition Groups Using Scan Signatures
Scan Vulnerability in Elliptic Curve Cryptosystems
Efficient Algorithms for Extracting Pareto-optimal Hardware Configurations in DEPS Framework
Scalable Hardware Architecture for fast Gradient Boosted Tree Training
Scalar Replacement in the Presence of Multiple Write Accesses with Non-constant Reuse Distances
A Low-Power Reconfigurable DNN Accelerator for Instruction-Extended RISC-V
Supplemental PDK for ASAP7 Using Synopsys Flow
Performance Estimation with Automatic False-Path Detection for System-Level Designs
A Genetic Algorithm for Scheduling of Data-parallel Tasks on Multicore Architectures
A CMOS-compatible Non-volatile Memory Element using Fishbone-in-cage Capacitor
An Accelerating Technique for SAT-based ATPG
Circuit and System Design Guidelines for Ultra-low Power Sensor Nodes
Computational Lithography Using Machine Learning Models
Secure and Testable Scan Design Utilizing Shift Register Quasi-equivalents
Design and Implementation of IP-based iSCSI Offload Engine on an FPGA
Parallel Scheduling Attention Mechanism: Generalization and Optimization
1W8R 20T SRAM Codebook for 20% Energy Reduction in Mixed-precision Deep-learning Inference Processor System
Size Optimization Technique for Logic Circuits that Considers BTI and Process Variations
Universal NBTI Compact Model Replicating AC Stress/Recovery from a Single-shot Long-term DC Measurement
Feature Vectors Based on Wire Width and Distance for Lithography Hotspot Detection
Towards Open-HW: A Platform to Design, Share and Deploy FPGA Accelerators in Low Cost
Design and Implementation of Echo Instructions for an Embedded Processor
VLSI Architecture Design for H.264/AVC Intra-frame Video Encoding
A Case Study on FPGA Implementation of Parts Counting Orientation Recognition Method for Industrial Vision System
Coarse-Grained Reconfigurable Array: Architecture and Application Mapping
Scalar Replacement with Polyhedral Model
Measurement of Variations in FPGAs under Various Load Conditions
Data Flow Graph Partitioning Algorithms and Their Evaluations for Optimal Spatio-temporal Computation on a Coarse Grain Reconfigurable Architecture
Design of Reference-free Flash ADC With On-chip Rank-based Comparator Selection Using Multiple Comparator Groups
Variability and Statistical Design
Detecting Arithmetic Optimization Opportunities for C Compilers by Randomly Generated Equivalent Programs
Experimental Evaluations of Parallel Tempering on an Ising Machine
Behaviour Driven Development for Hardware Design
Real Circuit Delay Measurement Method by Variable Frequency Operation with On-Chip Fine Resolution Oscillator
Diagnosis Methods for Gate Delay Faults with Various Amounts of Delays
Design and Evaluation of Asymmetric and Symmetric 32-core Architectures on FPGA
Efficient Fault Simulation Algorithms for Analyzing Soft Error Propagation in Sequential Circuits
High-level Synthesis for Low-power Design
A Resource Binding Method to Reduce Data Communication Power Dissipation on LSI
Shift Register Initialization in Scalar Replacement for Reducing Code Size
Synthesis and Generalization of Parallel Algorithm for Matrix-vector Multiplication
Polygon Fracture Method Considering Maximum Shot Size for Variable Shaped-beam Mask Writing
Design of Synthesizable Digital Phase Locked Loops
A New Formal Verification Approach for Hardware-dependent Embedded System Software
Conversion of Logic Gates in Netlists for Rapid Single Flux Quantum Circuits Utilizing Confluence of Pulses
Parallelism-flexible Convolution Core for Sparse Convolutional Neural Networks on FPGA
Accurate Cloning of the Memory Access Behavior
DRAMSys: A Flexible DRAM Subsystem Design Space Exploration Framework
A Calibration Technique for DVMC with Delay Time Controllable Inverter
Circuit Techniques for Device-Circuit Interaction toward Minimum Energy Operation
Interconnect Electromigration Modeling and Analysis for Nanometer ICs: From Physics to Full-Chip
Unified HW/SW Co-Verification Methodology for High Throughput Wireless Communication System
Macroblock Feature Based Adaptive Propagate Partial SAD Architecture for HDTV Application
Toward Unidirectional Routing Closure in Advanced Technology Nodes
Parallelizing Random and SAT-based Verification Processes for Improving Toggle Coverage
Framework for Parallel Prefix Adder Synthesis Considering Switching Activities
Current Pass Optimized Symmetric Pass Gate Adiabatic Logic for Cryptographic Circuits
Neuromorphic Computing Systems: From CMOS To Emerging Nonvolatile Memory
A Fault-Secure High-Level Synthesis Algorithm for RDR Architectures
A Logic Optimization Method by Eliminating Redundant Multiple Faults from Higher to Lower Cardinality
A Stackable LTE Chip for Cost-effective 3D Systems
Scan FF Reordering for Test Volume Reduction in Chiba-scan Architecture
Single-Cycle-Accessible Two-Level Caches and Compilation Technique for Energy Reducion
Dynamic Power Consumption Optimization for Inductive-Coupling based Wireless 3D NoCs
A Dynamic Programming Algorithm for Energy-aware Routing of Delivery Drones
An Optimization Technique for Low-Energy Embedded Memory Systems
Slashing IC Power and Democratizing IC Access for the Digital Age
From Process Variations to Reliability: A Survey of Timing of Digital Circuits in the Nanometer Era
SAT-based Automatic Rectification and Debugging of Combinational Circuits with LUT Insertions
A Posit Based Multiply-accumulate Unit with Small Quire Size for Deep Neural Networks
Automatic integration of spatial data in viewing services
Mining urban perceptions from social media data
Enhancing building footprints with squaring operations
Geo-social visual analytics
Spatio-temporal visual analytics: a vision for 2020s
Routes visualization: Automated placement of multiple route symbols along a physical network infrastructure
Special Feature: Behavior monitoring and interpretation
Using trend clusters for spatiotemporal interpolation of missing data in a sensor network
Topological augmentation: A step forward for qualitative partition reasoning
Georeferencing places from collective human descriptions using place graphs
Using mobility data as proxy for measuring urban vitality
Ontologies for geospatial information: Progress and challenges ahead
Presenting spatial information: Granularity, relevance, and integration
Identifying the use of a park based on clusters of visitors' movements from mobile phone data
Formalizing spatiotemporal knowledge in remote sensing applications to improve image interpretation
Spatial behavior and linguistic representation: Collaborative interdisciplinary specialized workshop
Beyond spatial reasoning: Challenges for ecological problem solving
Bridging space, time, and semantics in GIScience
Visualizing patterns in spatially ambiguous point data
Semantic trajectory compression: Representing urban movement in a nutshell
Connect the dot: Computing feed-links for network extension
Modelling Orebody Structures: Block Merging Algorithms and Block Model Spatial Restructuring Strategies Given Mesh Surfaces of Geological Boundaries
Computationally determining the salience of decision points for real-time wayfinding support
Exploring the human body space: A geographical information system based anatomical atlas
Local modelling: one size does not fit all
GeoComputation 2019 special feature
VGI in surveying engineering: Introducing collaborative cloud land surveying
Indigeneity and spatial information science
Twitter location (sometimes) matters: Exploring the relationship between georeferenced tweet content and nearby feature classes
Spatial data science for sustainable mobility
A hidden Markov model for matching spatial networks
The semantics of similarity in geographic information retrieval
What spatial environments mean
Uncertainty-aware video visual analytics of tracked moving objects
Integrated science of movement
A combined GIS and stereo vision approach to identify building pixels in images and determine appropriate color terms
Rockfall detection from terrestrial LiDAR point clouds: A clustering approach using R
Modeling movement probabilities within heterogeneous spatial fields
Modeling and manipulating spacetime objects in a true 4D model
Integrating cross-scale analysis in the spatial and temporal domains for classification of behavioral movement
How does socio-economic and demographic dissimilarity determine physical and virtual segregation?
Testing OGC Web Feature and Coverage Service performance: Towards efficient delivery of geospatial data
Grand challenges for the spatial information community
On the semantics of big Earth observation data for land classification
JOSIS' 10th anniversary special feature: part two
A wayfinding aid to increase navigator independence
Evaluating existing manually constructed natural landscape classification with a machine learning-based approach
Multi-scale window specification over streaming trajectories
Exploring the effectiveness of geomasking techniques for protecting the geoprivacy of Twitter users
An algorithm for the selection of route dependent orientation information
The influence of landscape variation on landform categorization
Parameter-free aggregation of value functions from multiple experts and uncertainty assessment in multi-criteria evaluation
Data-driven agriculture for rural smallholdings
Towards harmonizing property measurement standards
Mapping neighborhood scale survey responses with uncertainty metrics
From spatial to platial - the role and future of immersive technologies in the spatial sciences
Wayfinding and navigation research for sustainable transport
This is the tricky part: When directions become difficult
Segmenting trajectories: A framework and algorithms using spatiotemporal criteria
Don't forget about geography
Privacy, Space and Time: a Survey on Privacy-Preserving Continuous Data Publishing
Discovery of topological constraints on spatial object classes using a refined topological model
JOSIS' 10th anniversary special feature
Community activities: An interactive bibliography on temporal GIS
Why are events important and how to compute them in geospatial research?
A context-sensitive conceptual framework for activity modeling
Mining sensor datasets with spatiotemporal neighborhoods
Spatial models for context-aware indoor navigation systems: A survey
Special feature editorial: Semantic and conceptual issues in geographic information systems
Sailing: Cognition, action, communication
Letter: GI science, not GIScience
Exploring place through user-generated content: Using Flickr tags to describe city cores
Knowledge formalization for vector data matching using belief theory
Similarity of trajectories taking into account geographic context
Movement analytics for sustainable mobility
Spatial reasoning with augmented points: Extending cardinal directions with local distances
Determining the optimal spatial and temporal thresholds that maximize the predictive accuracy of the prospective space-time scan statistic (PSTSS) hotspot method
Development and evaluation of a geographic information retrieval system using fine grained toponyms
Special Feature Editorial: 25 years of GISRUK
A comparative study of linear and region based diagrams
The semantic similarity ensemble
Trustworthy maps
Report on the first workshop on Movement Pattern Analysis MPA10
Special feature editorial: The open source dynamics in geospatial research and education
CyberGIS - Toward synergistic advancement of cyberinfrastructure and GIScience: A workshop summary
Geospatial Privacy and Security
Hyper-local geographically weighted regression: extending GWR through local model selection and local bandwidth optimization
GeoAI: Where machine learning and big data converge in GIScience
Service quality monitoring in confined spaces through mining Twitter data
Locally-varying explanations behind the United Kingdom's vote to leave the European Union
Invariant spatial information in sketch maps - a study of survey sketch maps of urban areas
Web and Wireless Geographic Information Systems
Cartographic generalization
Tutorial report: Understanding spatial thought through language use
Dissemination and geovisualization of territorial entities' history
Twenty years of progress: GIScience in 2010
Big issues for big data: challenges for critical spatial data analytics
Book Review: Spatial Mathematics: Theory and Practice through Mapping by Sandra Lach Arlinghaus and Joseph J. Kerski
Interactive maps: What we know and what we need to know
Quantifying space, understanding minds: A visual summary approach
A grounding-based ontology of data quality measures
Linguistic spatial classifications of event domains in narratives of crime
Geospatial images in the acquisition of spatial knowledge for wayfinding
Approaching the notion of place by contrast
Road network selection for small-scale maps using an improved centrality-based algorithm
Grain levels in English path curvature descriptions and accompanying iconic gestures
Volunteered and crowdsourced geographic information: the OpenStreetMap project
Towards place-based exploration of Instagram: Using co-design to develop an interdisciplinary geovisualization prototype
Cognitively plausible representations for the alignment of sketch and geo-referenced maps
Considering the non-programming geographer's perspective when designing extracurricular introductory computer programming workshops
Ontology of core concept data types for answering geo-analytical questions
A cutting-plane method for contiguity-constrained spatial aggregation
Affordance-based individuation of junctions in Open Street Map
How well do we really know the world? Uncertainty in GIScience
The impact of urban road network morphology on pedestrian wayfinding behaviour
Creating the 2011 area classification for output areas (2011 OAC)
GeoCAM: A geovisual analytics workspace to contextualize and interpret statements about movement
Trajectory data mining: A review of methods and applications
Provenance and credibility in spatial and platial data
A dynamic and context-aware semantic mediation service for discovering and fusion of heterogeneous sensor data
MethOSM: a methodology for computing composite indicators derived from OpenStreetMap data
Thinking spatial
Optimizing map labeling of point features based on an onion peeling approach
µ-shapes: Delineating urban neighborhoods using volunteered geographic information
Route schematization with landmarks
Geocoding location expressions in Twitter messages: A preference learning method
Inferring movement patterns from geometric similarity
Community activities: Synthesizing population, health, and place
Spatial refinement as collection order relations
Insight provenance for spatiotemporal visual analytics: Theory, review, and guidelines
Evaluation of Textural Degradation in Compressed Medical and Biometric Images by Analyzing Image Texture Features and Edges
Detection and Classification of Potato Diseases Potato Using a New Convolution Neural Network Architecture
Improving Parotid Gland Tumor Segmentation and Classification Using Geometric Active Contour Model and Deep Neural Network Framework
Comparative Study Based on De-Occlusion and Reconstruction of Face Images in Degraded Conditions
Décodage EM du code de Tardos pour le fingerprinting
Orientation holes positioning of printed board based on LS-Power spectrum density algorithm
Recognition and Analysis of Behavior Features of School-Age Children Based on Video Image Processing
A Dynamic Swarm Firefly Algorithm Based on Chaos Theory and Max-Min Distance Algorithm
Classification of Medical Thermograms Belonging Neonates by Using Segmentation, Feature Engineering and Machine Learning Algorithms
An automatic camera calibration method based on checkerboard
Critères BIC et AIC pour les chaînes de Markov cachées. Application aux communications numériques
A Novel Geometrical Method for Discrimination of Normal, Interictal and Ictal EEG Signals
Investigation of Timbral Qualities of Guitar Using Wavelet Analysis
A Home Efficacy Multi-Modal Intelligent Evaluation System for Wearable Treatment Equipment of Insomnia Through Integration Between Traditional Chinese Medicine and Modern Medicine
Étude statistique du fouillis de mer à partir de lois alpha-stables
Euclidean Distance Versus Manhattan Distance for New Representative SFA Skin Samples for Human Skin Segmentation
Image Based Classification of Rumor Information from the Social Network Platform
Glioma Segmentation and Classification System Based on Proposed Texture Features Extraction Method and Hybrid Ensemble Learning
Image Feature Analysis and Dynamic Measurement of Plantar Pressure Based on Fusion Feature Extraction
ConvNet: 1D-Convolutional Neural Networks for Cardiac Arrhythmia Recognition Using ECG Signals
Estimation robuste et matrices aléatoires
A Fast Recognition Algorithm of Online Social Network Images Based on Deep Learning
Detection of Hidden Facial Surface Masking in Stored and Real Time Captured Images: A Deep Learning Perspective in Covid Time
A Novel Co-planar Waveguide-fed Direct Current Wide Band Printed Dipole Antenna
Analysis of Normal and Adventitious Lung Sound Signals Using Empirical Mode Decomposition and Central Tendency Measure
A Target Positioning Method for Industrial Robot Based on Multiple Visual Sensors
Autoencodeurs discriminants pour la détection et la reconnaissance de véhicules en imagerie aérienne
Méthodes d'optimisation du système PCL. Réseau d'antennes à chevauchement d'éléments pour la détection passive cohérente d'échos radar à faible puissance
Gesture Feature Extraction and Recognition Based on Image Processing
DenseResUNet: An Architecture to Assess Water-Stressed Sugarcane Crops from Sentinel-2 Satellite Imagery
Age Estimation from Left-Hand Radiographs with Deep Learning Methods
Multi-modal Biometric Protection System Using SURF Filter with BioHashing Algorithm
An analysis of feature identification for tool wear monitoring by using acoustic emission
An Investigation of Spectral Efficiency in Linear MRC and MMSE Detectors with Perfect and Imperfect CSI for Massive MIMO Systems
Finger Vein Recognition by Combining Anisotropic Diffusion and a New Feature Extraction Method
Detection of Various Types of Metal Surface Defects Based on Image Processing
Fast Job Recognition and Sorting Based on Image Processing
Binocular visual positioning under inhomogeneous, transforming and fluctuating media
Video Data Extraction and Processing for Investigation of Vehicles' Impact on the Asphalt Deformation Through the Prism of Computational Algorithms
Brain Tumor Classification of MRI Images Using Deep Convolutional Neural Network
Parallélisation d'opérateurs de TI : multi-cœurs, Cell ou GPU ?
Online Learning Behavior Analysis Based on Image Emotion Recognition
Novel Image Steganography Based on Preprocessing of Secrete Messages to Attain Enhanced Data Security and Improved Payload Capacity
Sélection de capteurs pour interfaces cerveau-ordinateur de type P300
Sampling Rate Optimization for Improving the Cascaded Integrator Comb Filter Characteristics
Reconstruction of 3D building model based on the information in floor plan
Contrôle gestuel de la synthèse vocale. Les instruments Cantor Digitalis et Digitartic
The Enhancement on Stress Levels Based on Physiological Signal and Self-Stress Assessment
Acoustic radiation features and structuralacoustic sensitivity of channel beam
Simple and Efficient Double-Talk-Detector for Acoustic Echo Cancellation
Un estimateur de la L 2 -mesure de dépendance probabiliste pour la réduction de dimension vectorielle. Cas multiclasse
Secure Transfer of Color Images Using Horizontal and Vertical Scan
MRI Image Based Classification Model for Lung Tumor Detection Using Convolutional Neural Networks
An Automatic Insect Recognition Algorithm in Complex Background Based on Convolution Neural Network
Estimation des cartes du temps de collision (TTC) basée sur le flot optique en vision para-catadioptrique
Big Data-Driven Feature Extraction and Clustering Based on Statistical Methods
Infrared Small Target Detection Based on Four-Direction Overlapping Group Sparse Total Variation
Continuous Wavelet Technique for Detection of Broken Bar Faults in Induction Machine
Spectral Graph Wavelet Based Image Steganography Using SVD and Arnold Transform
Image Segmentation for Review of Cerebral Apoplexy
Robust Optimized Discrete Wavelet Transform-Singular Value Decomposition Based Video Watermarking
Décompositions en éléments sonores et applications musicales
Perspectives en matrices aléatoires et grands réseaux
Investigations of Medical Image Segmentation Methods with Inclusion Mathematical Morphological Operations
Marine Distributed Radar Signal Identification and Classification Based on Deep Learning
Comparative Experimental Investigation of Deep Convolutional Neural Networks for Latent Fingerprint Pattern Classification
A Face Detection Method Based on Image Processing and Improved Adaptive Boosting Algorithm
A Synchronous Transmission Method for Array Signals of Sensor Network under Resonance Technology