yusuke1997/dblp-id-title huggingface dataset:
Active Learning with Subsequence Sampling Strategy for Sequence Labeling Tasks
Extending Various Thesauri by Finding Synonym Sets from a Formal Concept Lattice
Completeness of Modal Proofs in First-Order Predicate Logic
An Adaptive Decompressor for Test Application with Variable-Length Coding
Performance Improvement of Ad Hoc Networks by Deployment of Directional Antenna
A Theoretical Analysis of Tree Edit Distance Measures
Design and Implementation of GSN Patterns: A Step toward Assurance Case Language
Improved Prediction Method for Protein Interactions Using Both Structural and Functional Characteristics of Proteins
Simultaneous Virtual-Machine Logging and Replay
Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata
Learning Video Manifolds for Content Analysis of Crowded Scenes
Heading-Aware Proximity Measure and Its Application to Web Search
Adaptation of Grouping Structure Analysis in GTTM to Hierarchical Segmentation of Dance Motion
Entropy as Computational Complexity
Construction of Practical Japanese Parsing System Based on Lexical Functional Grammar
Joint Phrase Alignment and Extraction for Statistical Machine Translation
NCAP - Distributed Network Capture with Shared Analysis
A Large Scale Gathering System for Activity Data using Mobile Devices
Spurious Timeout Detection Algorithm for Mobile Communication with Delay Jitter
Distance-based Factor Graph Linearization and Sampled Max-sum Algorithm for Efficient 3D Potential Decoding of Macromolecules
k NN Search Algorithm with Index of the Minimum Road Travel Time in Time-Dependent Road Networks
Theoretical Analysis of Multi-View Camera Arrangement and Light-Field Super-Resolution
New Construction Methods of Secret Sharing Schemes Based on Authorized Subsets
Computational Model for Calculating Curvatures
Entire Shape Acquisition Technique Using Multiple Projectors and Cameras with Parallel Pattern Projection
Low Power VLSI Circuit Design with Fine-Grain Voltage Engineering
Screening Legitimate and Fake/Crude Antivirus Software
Effects of Multimodal Error Feedback on Human Performance in Steering Tasks
A Method for Isoform Prediction from RNA-Seq Data by Iterative Mapping
Comparison of Chinese Treebanks for Corpus-oriented HPSG Grammar Development
Proxy Certificate Trust List for Grid Computing
Indexing of Motion Capture Data Using Feature Vectors Derived from Posture Variation
A Tool for Creating Glossed Japanese Reading Materials
A Flattening Strategy for SML Module Compilation and Its Implementation
Investigation on Anxieties while Using the Internet to Study about " Anshin "
LED Traffic Light Detection Using High-speed-camera Image Processing for Visible Light Communication
Memory-efficient Genetic Algorithm for Path Optimization in Embedded Systems
Artificial Neural Network Based on Simulated Evolution and Its Application to Estimation of Landslide
Object Detection Using Background Subtraction and Foreground Motion Estimation
Zero-watt Networked Standby: Reducing Power Consumption of Home A/V Network Systems
Heterogeneous Multi-core Architectures
Parallel Java Code Generation for Layer-unified Coarse Grain Task Parallel Processing
A Tag-Based Scheme to Realize Real-Time File Search in Hierarchical Peer-to-Peer Systems
Dihedral Hidden Subgroup Problem: A Survey
An Object-Defined Remote Robot Control Interface
Principal Component Analysis of Botnet Takeover
Distributed Zone Partitioning Schemes for CAN and Its Application to the Load Balancing in Pure P2P Systems
Co-migration of Virtual Machines with Synchronization for IDS Offloading
A Sensor Data Collection Method for Multi-granularity Contour Lines Map Creations on an Overlay Network
A Proposal for Service Differentiation by a Link Layer Protocol Based on SR ARQ and Its Evaluation
Improvements of Katz K Mixture Model
A Behavior-based Adaptive Access-mode for Low-power Set-associative Caches in Embedded Systems
Mobile-carrier Choice Modeling Framework Under Competitive Conditions
Design of Self-Delegation for Mobile Terminals
GroupAdaBoost: Accurate Prediction and Selection of Important Genes
Improving Parse Trees for Efficient Variable-to-Fixed Length Codes
File Management Using Virtual Directory Architecture for Central Managed P2P Information Sharing System (NRBS)
A Simulation-Based Analysis for Worst Case Delay of Single and Multiple Interruptions
A GIDL-Current Model for Advanced MOSFET Technologies without Binning
From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ
Secure Length-Preserving All-or-Nothing Transform
Capturing Textured 3D Shapes based on Infrared One-shot Grid Pattern
Designing Various Multivariate Analysis at Will via Generalized Pairwise Expression
New Certificate Chain Discovery Methods for Trust Establishment in Ad Hoc Networks and Their Evaluation
Meta-envy-free Cake-cutting and Pie-cutting Protocols
Neural 1D Barcode Detection Using the Hough Transform
Object Detection Based on Spatio-temporal Light Field Sensing
Reaction Similarities Focusing Substructure Changes of Chemical Compounds and Metabolic Pathway Alignments
Design Aid of Multi-core Embedded Systems with Energy Model
Detection of Activities and Events without Explicit Categorization
Kurodoko is NP-Complete
Custom Instruction Generation for Configurable Processors with Limited Numbers of Operands
A Simplified Plane-parallel Scattering Model for Rendering Densely Distributed Objects such as Foliage
A grammatical error detection method for dialogue-based CALL system
A Decision Method in B2B E-Commerce Model based on Multi-Items Auction
Sentence Hedge Detection without Cue Annotation: A Heuristic Cue Selection Approach
Base Station Placement for Effective Data Dissemination in Sensor Networks
A New 3D Shape Retrieval Method Using Spherical Healpix
An Automatic Scoring System for E-Reports based on Student Peer Evaluation using Groupware
Automated Port-scan Classification with Decision Tree and Distributed Sensors
Block-Propagative Background Subtraction System for UHDTV Videos
Interactions between Mobile IPv6 and IPsec/IKE
Architecture and Performance of Dynamic Offloading Mechanism for Maestro2 Cluster Network
Highly Efficient Transport Protocol for Large Capacity Data Files and its details
Half-process: A Process Partially Sharing Its Address Space with Other Processes
Depth from Projector's Defocus Based on Multiple Focus Pattern Projection
Limits of Thread-Level Parallelism in Non-numerical Programs
A Share-Correctable Protocol for the Shamir Threshold Scheme and Its Application to Participant Enrollment
Determining a Number of Training Data for Gesture Recognition Considering Decay in Gesture Movements
Depth Coding using Downsampling and View based Upsampling
A Study of Multi-core Processor Design with Asynchronous Interconnect Using Synchronous Design Tools
Integrating Wearable Sensor Technology into Project-management Process
Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes
Fundamental Strategies for Solving Low-Level Vision Problems
Design Choice in 45-nm Dual-Port SRAM - 8T, 10T Single End, and 10T Differential
A Robust Causal Discovery Algorithm against Faithfulness Violation
Implementation Methodology of Geographical Overlay Network Suitable for Ubiquitous Sensing Environment
Improving Linpack Performance on SMP Clusters with Asynchronous MPI Programming
Improving Content-based Social Image Retrieval Based on an Image-tag Relationship Model
Unravel Programming Sessions with THRESHER: Identifying Coherent and Complete Sets of Fine-granular Source Code Changes
A Spectrum Tree Kernel
A Sound Type System for Typing Runtime Errors
User-level Enforcement of Appropriate Background Process Execution
RNA Pseudoknotted Structure Prediction Using Stochastic Multiple Context-Free Grammar
Accumulative Computation on MapReduce
DINE: A Novel Score Function for Modeling Multidomain Protein Structures with Domain Linker and Interface Restraints
Study and Implementation of Dynamic Network Composition in Heterogeneous Network Environments
Time-Series Human Motion Analysis with Kernels Derived from Learned Switching Linear Dynamics
Decomposing Three Fundamental Matrices for Initializing 3-D Reconstruction from Three Views
Analysis of Correlation between Gene Expression and Aberrant Epigenetic Status in Alzheimer's Disease Brain
Approximate Homogeneous Graph Summarization
Programmable Architectures and Design Methods for Two-Variable Numeric Function Generators
A Benchmark Tool for Network I/O Management Architectures
Usage Control Model and Architecture for Data Confidentiality in a Database Service Provider
Efficient Monitoring Method Considering User Utility for Networked Information Sources
Time Series Classification via Topological Data Analysis
Reliable and Efficient Dual-OS Communications for Real-Time Embedded Virtualization
Modeling Physical Skill Discovery and Diagnosis by Abduction
Object-Oriented Color Calibration of Multi-viewpoint Cameras in Sparse and Convergent Arrangement
Leveraging Features from Background and Salient Regions for Automatic Image Annotation
Cost-alleviative Learning for Deep Convolutional Neural Network-based Facial Part Labeling
Evaluating Instructions for Gesture Recognition with an Accelerometer
Stochastic Recognition of Regular Structures in Facade Images
A Real-Time Stream Authentication Scheme for Video Streams
IS-Match: Partial Shape Matching by Efficiently Solving an Order Preserving Assignment Problem
A Grid-aware Access Control Mechanism in a Clinical Database for Parkinson's Disease Research and Diagnosis
May&Must-Equivalence of Shared Variable Parallel Programs in Game Semantics
Point-Tap, Tap-Tap, and the Effect of Familiarity: to Enhance the Usability of See-and-Select in Smart Space
Using Fault Injection to Analyze the Scope of Error Propagation in Linux
Re-ranking Content Based Social Image Search Results by Multi Modal Relevance Feedback
Quantifying Cost Structure of Campus PKI Based on Estimation and Actual Measurement
Physical Model to Achieve Virtual Mezzotint
Supervised Synonym Acquisition Using Distributional Features and Syntactic Patterns
Approximate Model Checking Using a Subset of First-order Logic
Level-3 BLAS and LU Factorization on a Matrix Processor
Empirical-Analysis Methodology for Information-Security Investment and Its Application to Reliable Survey of Japanese Firms
Effectiveness of Combined Features for Machine Learning Based Question Classification
3D Shape from Silhouettes in Water for Online Novel-view Synthesis
On-the-fly Model Checking of Security Protocols and Its Implementation by Maude
Quantum Biased Oracles
Development of a Code Clone Search Tool for Open Source Repositories
Gender Classification Based on Integration of Multiple Classifiers Using Various Features of Facial and Neck Images
Global Network Alignment Method Using Node Similarity Based on Network Characteristics
CSP-Prover - a Proof Tool for the Verification of Scalable Concurrent Systems
Mental Focus Analysis Using the Spatio-temporal Correlation between Visual Saliency and Eye Movements
Design and Run-time Reliability at the Electronic System Level
A Scalable Network Architecture for a Large-scale Uni-directional Link
Improvement in Address Discharge Response of HD PDPs with Stripe Rib and Discharge Deactivation Film
Color Image Enhancement for Dichromats by Additive Image Noise
Analysis and Study of IP Telephony Traffic Characteristics over Next Generation Network with NGN Carrier's Case Study
Synthesis of Dance Performance Based on Analyses of Human Motion and Music
Study on Constants of Natural Language Texts
Estimation of Connectivity between Paragraphs in a Mail Text
A Cognitive Model of Acquiring Embodied Expertise Through Meta-cognitive Verbalization
Considerations on Risk Communication for IT Systems and Development of Support Systems
Culture and Social Relationship as Factors of Affecting Communicative Non-verbal Behaviors
Tree-structured Mesoscopic Surface Characterization for Kinematic Structure Estimation from 3D Video
Visual Query Language for Archetype-Based Electronic Health Records Databases
Trends in Emerging On-Chip Interconnect Technologies
Graded Trust of Certificates and Its Management with Extended Path Validation
Interest Point Detection Based on Stochastically Derived Stability
A Threat Model for Security Specification in Security Evaluation by ISO/IEC 19791
Validating Safety for the Integrated Services of the Home Network System Using JML
On the Number of Rooms in a Rectangular Solid Dissection
Modeling Patent Quality: A System for Large-scale Patentability Analysis using Text Mining
Preventing Information Leakage from Virtual Machines' Memory in IaaS Clouds
Intra- and Inter-personal Coordination of Speech, Gesture and Breathing Movements
Multiple Translation-Engine-based Hypotheses and Edit-Distance-based Rescoring for a Greedy Decoder for Statistical Machine Translation
Embedded System Covalidation with RTOS Model and FPGA
Prevent Contents Leaking in P2P CDNs with Robust and Quick Detection of Colluders
Finding a Very Short Lattice Vector in the Extended Search Space
Properties of Associative Memory Model with the β-th-order Synaptic Decay
SLAX : An Improved Leaf-Clustering Based Approximate XML Join Algorithm for Integrating XML Data at Subtree Classes
Logic-Based Mobile Agent Framework with a Concept of "Field"
DTS: Broadcast-based Content-aware TCP Connection Handover
Computing the Cost of Typechecking of Composition of Macro Tree Transducers
On Finding an Edit Script between an XML Document and a DTD
A Proposal of Storage Power Control Method with Data Placement Control
Empirical Verification of Range Resolution for a TOF Range Image Sensor with Periodical Charge Draining Operation under Influence of Ambient Light
Tabletop dish recommendation system for social dining: Group FDT design based on the investigations of dish recommendation
Quantitative Analysis of Information Leakage in Security-Sensitive Software Processes
Algebraic Approaches to Underdetermined Experiments in Biology
Autonomous L3 Cache Technolgy for High Responsiveness
A Tale of Two Puzzles: Towers of Hanoi and Spin-Out
Making a Virtual Machine Monitor Interruptible
3D Face Reconstruction and Gaze Estimation from Multi-view Video using Symmetry Prior
mm-GNAT: Index Structure for Arbitrary L p Norm
Web Page Classification using Anchor-related Text Extracted by a DOM-based Method
Calculating Cross-Ontology Similarity for Web Services Discovery
Topolo Surface: A 2D Fiducial Tracking System Based on Topological Region Adjacency and Angle Information
Oblivious CAPTCHA: A Fifth-Factor Technology for Practical CAPTCHA Use
Exploring the Social Bonding That Evolves Between a Human and a Minimally Designed Accompanying Robot
Generating Effective Attacks for Efficient and Precise Penetration Testing against SQL Injection
Rendering Translucent Materials with Plane-parallel Solution
mTurnpike: a Model-driven Framework for Domain Specific Software Development
A Middle-Agent Framework Focused on the Role of Distributors
A Multi-Resolution Grid Snapping Technique Based on Fuzzy Theory
Frequent Closed Item Set Mining Based on Zero-suppressed BDDs
Globally Optimal Time-multiplexing of Inter-FPGA Connections for Multi-FPGA Prototyping Systems
A Word Sense Disambiguation System Using Modified Naive Bayesian Algorithms for Indonesian Language
An RSSI-Based Cross Layer Protocol for Directional Ad Hoc Networks and Its Implementation
Co-occurrence Histograms of Oriented Gradients for Human Detection
Parameter Estimation for Harmonic and Inharmonic Models by Using Timbre Feature Distributions
Edge-preserving Image Denoising Method Based on Dyadic Lifting Schemes
Selection of Effective Sentences from a Corpus to Improve the Accuracy of Identification of Protein Names
Background Estimation for a Single Omnidirectional Image Sequence Captured with a Moving Camera
Correlating Relational Competence with Trust
Investigating the Web Structure by Isolated Stars
Multidimensional Matching of Tactile Sensations of Materials and Vibrotactile Spectra
Reducing Power Dissipation of Data Communications on LSI with Scheduling Exploration
Polynomial Time Learnability of a Sub-class of Linear Languages
An Efficient Depth-first Search Algorithm for Extracting Frequent Diamond Episodes from Event Sequences
Adaptive Overlay Network for High-Bandwidth Streaming
Cross-lingual Investigation of User Evaluations for Global Restaurants
a-Si Gate Driver designs for low power AMLCD operation
Scalable QoS for XCAST Using Differentiated Services Architecture
Rogo, a TSP-based Paper Puzzle: Optimization Approaches
Lightweight Vulnerability Management System
Improving Automatic Centralization by Version Separation
Evaluations of Feature Extraction Programs Synthesized by Redundancy-removed Linear Genetic Programming: A Case Study on the Lawn Weed Detection Problem
Uncalibrated Synthetic Aperture Photography for Defocus Control
A Wide Dynamic Range CMOS Image Sensor with Improved 12-bit Column Parallel Cyclic ADCs
NAL Level Stream Authentication for H.264/AVC
A Java Library for Bidirectional XML Transformation
A Rank-based VM Consolidation Method for Power Saving in Datacenters
Practical Considerations to Skin Detection Scheme
Tag Quality Improvement for Social Image Hosting Website
A Transformation-Based Implementation of Lightweight Nested Functions
Collaborative Air Traffic Decision Support Based on Web-based Intelligent Argumentation
Toolbar to Highlight Important Expressions in Scientific Articles on Atomic and Molecular Physics
Facial Expression Recognition Using Facial-component-based Bag of Words and PHOG Descriptors
A Static Analysis using Tree Automata for XML Access Control
Cooking Recipe Search by Pairs of Ingredient and Action - Word Sequence v.s. Flow-graph Representation -
Backup and Recovery Scheme for Distributed e-Learning System
Mobile Camera Localization Using Aerial-view Images
Analysis of Subsurface Scattering Based on Dipole Approximation
Scent-Emitting Display Panel and Its Psychological Effects
Adaptive Method of Slot and Bit Allocation for OFDMA Transmission Systems
Revisited (Hyper)-Elliptic Curve Scalar Multiplication with a Fixed Point
HGAF: A Power Saving Scheme for Wireless Sensor Networks
Beat Induction from Motion Capture Data Using Short-Term Principal Component Analysis
Observing Real-world Attention by a Laser Scanner
Image Enhancement of Low-light Scenes with Near-infrared Flash Images
E 3 : an Elastic Execution Engine for Scalable Data Processing
ContextJ: Context-oriented Programming with Java
Decidability of Reachability for Right-shallow Context-sensitive Term Rewriting Systems
Anonymous On-Demand Position-based Routing in Mobile Ad-hoc Networks
In silico Spleen Tyrosine Kinase Inhibitor Screening by ChooseLD
Modal μ-calculus on Min-plus Algebra N ∞
Fast Method for Face Detection Based on the Characteristic of Cascade Classifier
Prediction of Protein-Protein Interaction Sites Using Only Sequence Information and Using Both Sequence and Structural Information
Semi-Supervised Ligand Finding Using Formal Concept Analysis
Accurate Estimation of the Worst-case Delay in Statistical Static Timing Analysis
Efficient Continual Top- k Keyword Search in Relational Databases
When Your Users Are Not Serious: Using Web-based Associations, Affect and Humor for Generating Appropriate Utterances for Inappropriate Input
A Browsing Method for Presentation Slides Based on Semantic Relations and Document Structure for e-Learning
A Study of Artificial Neural Network Architectures for Othello Evaluation Functions
Performance Analysis of a Directional MAC Protocol for Location Information Staleness in MANETs
Theory of Minimizing Linear Separation Automata
New Booth Modulo m Multipliers with Signed-Digit Number Arithmetic
A Low-stretch Object Migration Scheme for Wide-area Environments
Computer Simulation of Color Confusion for Dichromats in Video Device Gamut under Proportionality Law
Two-phase Search (TPS) Method: Nonbiased and High-speed Parameter Search for Dynamic Models of Biochemical Networks
Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems
General Middleware Bridge to Support Device Interoperability on Different Middlewares
An Approach to Perform Quantitative Information Security Risk Assessment in IT Landscapes
Web Tracking Site Detection Based on Temporal Link Analysis and Automatic Blacklist Generation
Optimal Balanced Semi-Matchings for Weighted Bipartite Graphs
Analysis and Design Methodology for Recognizing Opportunities and Difficulties for Product-based Services
A Method to Reduce Energy Consumption of Conditional Operations with Execution Probabilities
Mastering MPSoCs for Mixed-critical Applications
An Integration Method for Wireless Location Using Built-in Sensors of Mobile Phones and TDOA Landmarks
Distance Computation Between Binary Code and Real Vector for Efficient Keypoint Matching
A Music Therapy System for Patients with Dementia who Repeat Stereotypical Utterances
Web Page Classification Based on Surrounding Page Model Representing Connection Type and Directory Hierarchy
An Efficient and User-friendly Sinhala Input Method Based on Phonetic Transcription
Extraction of Bilingual Terminology from a Multilingual Web-based Encyclopedia
Polarimetric Endoscope for Image Enhancement of Surface Micro-structure on Mucosa
Unsupervised Spam Detection by Document Probability Estimation with Maximal Overlap Method
A Linear Time Algorithm that Infers Hidden Strings from Their Concatenations
How to Verify the Threshold t of Shamir's ( t , n )-Threshold Scheme
High-resolution Surface Reconstruction based on Multi-level Implicit Surface from Multiple Range Images
Evaluation of Coexisting Enhanced TCP Flows on the High-speed Internetworking Satellite (WINDS)
A Study of Link Farm Evolution Using a Time-series of Web Snapshots
Theoretical Analysis of Learning Speed in Gradient Descent Algorithm Replacing Derivative with Constant
Study of Locomotion Task with Haptic Widgets in Human Scale Immersive Environment
Fixed-Hamming-Weight Representation for Indistinguishable Addition Formulae
Improving code completion based on repetitive code completion operations
Empirical Study on Privacy Concerns and the Acceptance of e-Money in Japan
Inductive Logic Programming for Multiple-Part Data: Applications on Structure-Activity Relationship Studies
Super-Resolved Free-Viewpoint Image Synthesis Based on View-Dependent Depth Estimation
High-Modularity Network Generation Model Based on the Multilayer Network
An Asynchronous IEEE-754-standard Single-precision Floating-point Divider for FPGA
Fast and Accurate Object Detection Based on Binary Co-occurrence Features
A Flexible Modeling Engine Enabling Inter-service Management
Array-based Cache Conscious Trees
Verification of Substitution Theorem Using HOL
A Generalized Hidden Markov Model Approach to Transmembrane Region Prediction with Poisson Distribution as State Duration Probabilities
Mining Quantitative Rules in a Software Project Data Set
Reflectance-Field-Based Separation of Surface Reflection Components
Autonomous Multi-Source Multi-Sink Routing in Wireless Sensor Networks
Treatment of Legal Sentences Including Itemization Written in Japanese, English and Vietnamese - Towards Translation into Logical Forms -
A Non-volatile Reconfigurable Offloader for Wireless Sensor Nodes
Sensor Cube: A Modular, Ultra-Compact, Power-Aware Platform for Sensor Networks
Checker Generation of Assertions with Local Variables for Model Checking
On the Robustness of Information Retrieval Metrics to Biased Relevance Assessments
Network for Video Distribution between Preceding and Succeeding Vehicles on the Same Route
An Extensible Secure OS Architecture for Embedded Systems
Analyzing Spatial Structure of IP Addresses for Detecting Malicious Websites
Dynamic Power Management for Embedded System Idle State in the Presence of Periodic Interrupt Services
Short-term Stock Price Analysis Based on Order Book Information
DVB-T2 LDPC Decoder with Perfect Conflict Resolution
An Intelligent Tutoring System with Variable Levels of Instructional Support for Instructing Natural Deduction
An Account Provision and Management Architecture for Messaging Services in Emergencies
Efficient Routing in Multi-ring Content Addressable Network