yusuke1997/dblp-id-title huggingface dataset:
A novel framework for white blood cell segmentation based on stepwise rules and morphological features
A state observer for using a slow camera as a sensor for fast control applications
Unsupervised tracking with a low computational cost using the doubly stochastic Dirichlet process mixture model
An edge-from-focus approach to 3D inspection and metrology
Bottle inspector based on machine vision
Dynamic hierarchical algorithm for accelerated microfossil identification
Eliminating illumination effects by discrete cosine transform (DCT) coefficients' attenuation and accentuation
Advanced colour processing for mobile devices
3D motion artifact compenstation in CT image with depth camera
A 2D histogram representation of images for pooling
Front Matter: Volume 7877
Wave front distortion based fluid flow imaging
Automating the estimation of coating thickness measurements in the ball crater technique
Fabric defect detection using the wavelet transform in an ARM processor
Efficient adaptive thresholding with image masks
Segmentation and visualization of anatomical structures from volumetric medical images
Innovative hyperspectral imaging (HSI) based techniques applied to end-of-life concrete drill core characterization for optimal dismantling and materials recovery
Human action classification using procrustes shape theory
Density-induced oversampling for highly imbalanced datasets
Face detection and eyeglasses detection for thermal face recognition
Line detection in a noisy environment with weighted Radon transform
Vision based forest smoke detection using analyzing of temporal patterns of smoke and their probability models
Image Processing: Machine Vision Applications IX, San Francisco, CA, USA, February 14-18, 2016
Multi-frame decision level fusion for face classification based on a photon-counting linear discriminant analysis
Fused methods for visual saliency estimation
Data-driven Approach to Aesthetic Enhancement
Estimating the coordinates of pillars and posts in the parking lots for intelligent parking assist system
3D temperature mapping of turboshaft components using thermal paints and color recognition
Structural deformation measurement via efficient tensor polynomial calibrated electro-active glass targets
Bit Depth Expansion via Estimation of Bit Value Expectation
An elliptic phase-shift algorithm for high speed three-dimensional profilometry
A modified hierarchical graph cut based video segmentation approach for high frame rate video
Application of image processing to track twin boundary motion in magnetic shape memory alloys
Low complexity smile detection technique for mobile devices
Pavement distress detection and severity analysis
Image Processing: Machine Vision Applications IV, San Francisco Airport, California, USA, January 23-27, 2011
High-temperature dual-band thermal imaging by means of high-speed CMOS camera system
A polynomial phase-shift algorithm for high precision three-dimensional profilometry
Gram polynomial image decimation and its application to non-rigid registration
Localizing people in crosswalks with a moving handheld camera: proof of concept
Validation of a Novel Geometric Coordination Registration using Manual and Semi-automatic Registration in Cone-beam Computed Tomogram
An uniformity algorithm for high-speed fixed-array printers
Machine vision based quality inspection of flat glass products
Understanding video transmission decisions in cloud based computer vision services
Real-time Machine Vision with GPU-acceleration using Quasar
Realistic texture extraction for 3D face models robust to self-occlusion
Fast face recognition by using an inverted index
Image Processing: Machine Vision Applications VII, San Francisco, California, USA, February 2-6, 2014
Context-based handover of persons in crowd and riot scenarios
Estimation of fire volume by stereovision
Combining spatial and spectral information to improve crop/weed discrimination algorithms
Monitoring plant growth using high resolution micro-CT images
Classification of hyperspectral images based on conditional random fields
Density-based Outlier Detection by Local Outlier Factor on Largescale Traffic Data
Trends and developments in industrial machine vision: 2013
Runway hazard detection in poor visibility conditions
On the use of MKL for cooking action recognition
Improved metrology of implant lines on static images of textured silicon wafers using line integral method
Front Matter: Volume 8661
Efficient local approximation of perceptual color differences for color inspection
Recognizing human gestures using a novel SVM tree
Mammogram CAD, hybrid registration and iconic analysis
Accurate, fast, and robust centre localisation for images of semiconductor components
Illumination-invariant pattern recognition using fringe-adjusted joint transform correlator and monogenic signal
Sudoku Texture Classification
Eye gaze tracking using correlation filters
Multispectral imaging: an application to density measurement of photographic paper in the manufacturing process control
Power and execution performance tradeoffs of GPGPU computing: a case study employing stereo matching
Real-time wavelet-based inline banknote-in-bundle counting for cut-and-bundle machines
Image fusion on redundant lifting non-separable wavelet transforms
Pose-robust face recognition using shape-adapted texture features
Depth-map and albedo estimation with superior information-theoretic performance
Building and road detection from large aerial imagery
Hyperspectral image reconstruction using RGB color for foodborne pathogen detection on agar plates
Illumination invariant 3D change detection
Multiple object detection in hyperspectral imagery using spectral fringe-adjusted joint transform correlator
An efficient algorithm for food quality control based on multispectral signatures
Autonomous ship classification using synthetic and real color images
Front Matter: Volume 8300
An auto focus framework for computer vision systems
Sensor placement optimization in buildings
Machine vision system for the control of tunnel boring machines
Improved wheal detection from skin prick test images
Extraction and fusion of spectral parameters for face recognition
Image Processing: Machine Vision Applications VIII, San Francisco, California, United States, February 8-12, 2015
Interactive image quantification tools in nuclear material forensics
Image calibration and registration in cone-beam computed tomogram for measuring the accuracy of computer-aided implant surgery
Still-to-video face recognition in unconstrained environments
Touch sensing analysis using multi-modal acquisition system
Orthophotoplan segmentation based on region merging for roof detection
Front Matter: Volume 9024
Defect inspection technology for a gloss-coated surface using patterned illumination
Strain analysis by regularized non-rigid registration
Multiple-level patch-based object tracking using MLBP-based integral histogram
Towards autonomic computing in machine vision applications: techniques and strategies for in-line 3D reconstruction in harsh industrial environments
Geological applications of machine learning on hyperspectral remote sensing data
Hyperspectral imaging using a color camera and its application for pathogen detection
Evaluating distances using a coded lens camera and a blur metric
Dense sampling of shape interiors for improved representation
Image Processing: Machine Vision Applications V, Burlingame, California, USA, January 22-26, 2012
Shape recognition for capacitive touch display
Development of a Multi-Resolution Microscopy Image Processing System
Improved skin detection method by iteratively eliminating pseudo-skin colors through combined skin filter
Adaptive Optimizations for Parallel Single-Source Shortest Paths
Cache-optimized BFS on multi-core CPUs
BFSBlitz: A Highly Parallel Graph System for Breadth-First Search
Hyb-Stepping: Hybrid Stepping for Parallel Shortest Paths
HisOrder: A Historical Frontier-Aware Graph Reordering for Efficient BFS
Relax and don't Stop: Graph-aware Asynchronous SSSP
Proceedings of the 1st FastCode Programming Challenge, FCPC 2025, The Westin Las Vegas Hotel & Spa, Las Vegas, NV, USA, March 1-5, 2025
ParaCoder: Parallel Code Generation with Large Language Model
Optimized Parallel Breadth-First Search with Adaptive Strategies
Parallel Breadth-First Search Optimization Strategies
An Efficient Implementation of Parallel Breadth-first Search
Techniques for Practical Parallel BFS and SSSP
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures
The Geometry of Lattice Cryptography
A Survey of Name-Passing Calculi and Crypto-Primitives
Mathematical Models of Computer Security
Cryptographic Voting - A Gentle Introduction
Security for Mobility
Trust and Reputation Systems
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
Quantitative Information Flow and Applications to Differential Privacy
EasyCrypt: A Tutorial
Justifying a Dolev-Yao Model Under Active Attacks
Formal Methods for Smartcard Security
Resource Usage Analysis and Its Application to Resource Certification
Trusted Mobile Platforms
Foundations of Security Analysis and Design VII - FOSAD 2012/2013 Tutorial Lectures
Secure Service Orchestration
From Zoos to Safaris - From Closed-World Enforcement to Open-World Assessment of Privacy
Access Control: Policies, Models, and Mechanisms
Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures
Model-Based Security Engineering with UML
Encryption and Fragmentation for Data Confidentiality in the Cloud
Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000]
Analysis of Security Threats, Requirements, Technologies and Standards in Wireless Sensor Networks
JavaScript Sandboxing: Isolating and Restricting Client-Side JavaScript
Security Protocols: Principles and Calculi
Cryptographic Verification by Typing for a Sample Protocol Implementation
Static Analysis of Authentication
Efficient Zero-Knowledge Proof Systems
The Key Establishment Problem
Classification of Security Properties - Part II: Network Security
Privacy-Preserving Database Systems
Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models
Foundations of Security Analysis and Design VIII - FOSAD 2014/2015/2016 Tutorial Lectures
Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures
A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach
An Introduction to Certificate Translation
Intrusion Detection: Introduction to Intrusion Detection and Security Information Management
Federated Identity Management
Risk Analysis of Changing and Evolving Systems Using CORAS
On Intransitive Non-interference in Some Models of Concurrency
A Tutorial on Physical Security and Side-Channel Attacks
Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures
An Introduction to the Role Based Trust Management Framework RT
Defensive JavaScript - Building and Verifying Secure Web Components
Security and Trust Requirements Engineering
Information Flow Control for Web Scripts
Distributed Authorization in Vanadium
Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures
Security Goals: Packet Trajectories and Strand Spaces
Two Formal Approaches for Approximating Noninterference Properties
An Introduction to Security API Analysis
An Interpretation of Identity-Based Cryptography
Low-Level Software Security: Attacks and Defenses
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
Enhancing Java Security with History Based Access Control
Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment
IT Security Analysis Best Practices and Formal Approaches
Notes on Nominal Calculi for Security and Mobility
The Logic of Authentication Protocols
Location Privacy in WSNs: Solutions, Challenges, and Future Trends
Logic in Access Control (Tutorial Notes)
Cryptographic Algorithms for Multimedia Traffic
On the Protection and Technologies of Critical Information Infrastructures
Classification of Security Properties (Part I: Information Flow)
Model-Based Testing for Functional and Security Test Generation
Certified Static Analysis by Abstract Interpretation
Model-Driven Development of Security-Aware GUIs for Data-Centric Applications
Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif
Verification of Concurrent Programs with Chalice
Scientific Applications of Grid Computing, First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers
Introduction to OGSA-DAI Services
Mercatus: A Toolkit for the Simulation of Market-Based Resource Allocation Protocols in Grids
A Service Oriented Architecture for Integration of Fault Diagnostics
Embarrassingly Distributed and Master-Worker Paradigms on the Grid
Data Driven Infrastructure and Policy Selection to Enhance Scientific Applications in Grid
Mobile Agent-Based Service Provision in Distributed Data Archives
A Proxy Service for the xrootd Data Server
GAM: A Grid Awareness Model for Grid Environments
Grid Services Complemented by Domain Ontology Supporting Biomedical Community
A Flexible Two-Level I/O Architecture for Grids
Towards Peer-to-Peer Access Grid
Modelling a Protein Structure Comparison Application on the Grid Using PROTEUS
A Service-Oriented Framework for Traffic Information Grid
A Framework for the Design and Reuse of Grid Workflows
Grid Accounting Service Infrastructure for Service-Oriented Grid Computing Systems
A Resource Monitoring and Management Middleware Infrastructure for Semantic Resource Grid
Using OGSA-DQP to Support Scientific Applications for the Grid
A Generic Architecture for Sensor Data Integration with the Grid
Languages, Methodologies, and Development Tools for Multi-Agent Systems - Third International Workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010, Revised Selected Papers
Extending the MaSE Methodology for the Development of Embedded Real-Time Systems
Enabling the Reuse of Platform-Dependent Agents in Heterogeneous Agent-Based Applications
OperettA: Organization-Oriented Development Environment
A Methodology for Developing Self-explaining Agents for Virtual Training
Temporal Planning in Dynamic Environments for P-CLAIM Agents
A Common Basis for Agent Organisation in BDI Languages
Call Graph Profiling for Multi Agent Systems
Open Knowledge
An Argumentation Based Semantics for Agent Reasoning
The ARTS Real-Time Agent Architecture
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming
DCaseLP: A Prototyping Environment for Multi-language Agent Systems
Validation of Agile Workflows Using Simulation
Introducing a Process Infrastructure for Agent Systems
Exploiting Agent-Oriented Programming for Developing Future Internet Applications Based on the Web: The JaCa-Web Framework
Programming Social Middleware through Social Interaction Types
JaCa-Android: An Agent-Based Platform for Building Smart Mobile Applications
Measuring Complexity of Multi-agent Simulations - An Attempt Using Metrics
Facilitating Agent Development in Open Distributed Systems
Verifiable Semantic Model for Agent Interactions Using Social Commitments
The Webbridge Framework for Building Web-Based Agent Applications
Reducing Agent Plans to Workflows
Languages, Methodologies and Development Tools for Multi-Agent Systems, First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers
A Step Towards Fault Tolerance for Multi-Agent Systems
Specifying Interaction Space Components in a FIPA-ACL Interaction Framework
Goal Selection Strategies for Rational Agents
Detecting Exceptions in Commitment Protocols: Discovering Hidden States
Languages, Methodologies, and Development Tools for Multi-Agent Systems, Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers
Probabilistic and Logical Beliefs
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
Intention Change via Local Assignments
An Alternative Approach for Reasoning about the Goal-Plan Tree Problem
Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS
Data Driven Language for Agents Secure Interaction
Augmenting Agent Platforms to Facilitate Conversation Reasoning
Towards Efficient Multi-agent Abduction Protocols
Knowledge Extraction on Multidimensional Concepts: Corpus Pattern Analysis (CPA) and Concordances
Compilation of a Multilingual (Spanish / English / French / Portuguese) Glossary of Rural Tourism Terms of Castile and Leon
To see or not to see: concept visualization in terminological knowledge bases
BADELE: Applying MTT to specialized domain definitions in a knowledge-based tool
A Combined Resource of Biomedical Terminology and its Statistics
Parallel corpus-based bilingual terminology extraction
Le terme et ses réseaux. Un outil pour l'appropriation terminologique
Novel Metaphor and Scientific Discourse Come to Terms: A Case Study of Metaphorical Prototerms in Biology
Ontology Building: an Application in Food Risk Analysis
Automatic Term and Collocation Extraction from English-Croatian corpus
Les termes complexes dans les LSP: des processus de collaboration entre les unités textuelles et les unités terminologiques
Utiliser la Structure du Document dans le Processus de Construction d'Ontologies
A Logical Information System Proposal for Browsing Terminological Resources
Enhancing Terminological Knowledge with Upper Level Ontologies
Spanish FrameNet. An on-line lexical resource and its application to NLP
Mise en lumière de relations sémantiques pour la construction d'ontologie à partir de textes
Comment peut-on construire une ontologie personnelle à partir de textes ? Considérations linguistiques
Constructing a Syndromic Terminology Resource for Veterinary Text Mining
OMTAT Annotation Tool: Semantical Enrichment for Legal Document Search
Dealing with Large Corpora for Ontology Population
Impact des informations sémantiques sur la catégorisation automatique des documents cliniques
A New Corpus Resource for Studies in the Syntactic Characteristics of Terminologies in Contemporary English
Génération Automatique de HashTags
Fusion d'un thesaurus et d'une terminologie : utilisation de ressources existantes pour amorcer une onto-terminologie
Terminological Research in Ukraine
Conceptual relations established by processes: the case of cocción (firing) in a corpus of industrial ceramics
A model of characteristics' formalization using Protégé-0WL
Helping Term Sense Disambiguation with Active Learning
Terminology Acquisition and Description Using Lexical Resources and Local Grammars
Descriptors for the Detection of the Chemical Risk
The Time Factor as an Associative Concept Relation in Modelling Post-Liver Transplant Management Complications
Identifying anatomical concepts associated with ICD10 diseases
La désignation des commerciaux : une approche socioterminologique peut-elle conduire à une ontologie?
Syntagmatic Behaviors of Verbs in Medical Texts: Expert Communication vs. Forums of Patients
Towards a Thesaurus for Energy Efficiency in Building Construction: the Italian context
GATE: Bridging the Gap between Terminology and Linguistics
Proceedings of the 8th International Conference on Terminology and Artificial Intelligence, Toulouse, France, November 18-20, 2009
Acquisition of Medical Terminology for Ukrainian from Parallel Corpora and Wikipedia
Evaluating Noise Reduction Strategies for Terminology Extraction
Ontologies for Terminological Purposes: the EndoTerm Project
Managing inner and outer overinformation in EcoLexicon: an environmental ontology
DaFOE : an Ontology Building Platform From Texts or Thesauri?
From Linguistic Patterns to Ontology Structures
Tracing Research Paradigm Change Using Terminological Methods. A Case Study on "Machine Translation" in the ACL Anthology Reference Corpus
Using a Distributional Neighbourhood Graph to Enrich Semantic Frames in the Field of the Environment
How Terms Meet in Small-World Lexical Networks: The Case of Chemistry Terminology
Measuring the Relatedness between Documents in Comparable Corpora
Proceedings of the 11th International Conference on Terminology and Artificial Intelligence, Universidad de Granada, Granada, Spain, November 4-6, 2015
Marqueurs de la relation cause-effet : stabilité et variation dans des corpus de nature différente
Towards the Integration of Multilingual Terminologies: an Example of a Linked Data Prototype
Annotation sémantique de documents pour la révision des règles métiers
Extraction of Definitional Contexts from Restricted Domains by Measuring Synthetic Judgements and Word Relevance
Etudier la sémantique des termes techniques : des théories à la pratique
A Methodology for Identifying Terms and Patterns Specific to Requirements as a Textual Genre Using Automated Tools
Constitution d'une Base Bilingue de Marqueurs de Relations Conceptuelles pour l'Élaboration de Ressources Termino-Ontologiques
Half-steps toward LMNL
Topic Maps for Managing Classification Guidance
Proceedings of the Extreme Markup Languages® 2004 Conference, 2-6 August 2004, Montréal, Quebec, Canada
RelaxNG with Son of ODD
Beyond PSIs: Topic Map design patterns
XSL and Hyperdocuments: Applying XSL to arbitrary groves and hyperdocuments
XML/RDF Query By Example
What matters?
XIndirect: Indirect addressing for XML
Binary Queries
Generalizing XPath for directed graphs
Obscuring XML
XML used in natural language processing system for medical records: A case study
Lightweight derivation and translation of XML vocabularies
Human and Machine Sign Systems
Datatype- and namespace-aware DTDs: A minimal extension
Format and Content: Should they be separated? Can they be?: With a counter-example
Supporting UPA and restriction on an extension of XML Schema
Can Topic Maps describe context for enterprise-wide applications?
Content repurposing with Topic Maps: a real world use in custom-publishing
Making CONCUR work
TMIP, A RESTful Topic Maps Interaction Protocol
XML Query Update: state of publicly available implementations
Synthesizing stylesheets using "Literate XSLT"
Balanced Context-Free Grammars, Hedge Grammars and Pushdown Caterpillar Automata
What programming language designers should do to help markup processing
Achieving Extensibility and Reuse for XSLT2.0 Stylesheets
Forecasting Terrorism: Meeting the Scaling Requirements
(WIRLED PEAS): World Information Resources, Localized Environment Distribution: Personalized Emergency Alerting System
IANAL, but HTH
Specializing Occurrences in Topic Maps by Association Template Subclassing
tolog for TMQL
XMLR: XML Reduced: A Thought Experiment - or, Why I Demand Coherence
When "It Doesn't Matter" means "It Matters"
A unified type hierarchy for discourse: A potential direction for DITA 2
Object mapping for markup semantics
Extended SAX filter processing with STX
Q: A model for topic maps: Unifying RDF and topic maps
Binding Points for Subject Identity: The case for standard Published Subject Indicators
Generalized Metadata in your Palm
On-the-fly Clustering As A Novel RDF Query Mechanism
An extensible and modular processing model for document trees
Metadata on the Web: On the integration of RDF and Topic Maps
Model-Driven Development of Dynamic Web Applications
Taxonomy of XML Schema Languages Using Formal Language Theory
XOM Design Principles
Sync-by-CBA: Synchronized and adaptive web-based presentations using video groves and MPEG-7 metadata
Gliding down from graphs to trees: An attempt to bottle geometry and chemical content
Secondary Information Structuring - A Methodology for the Vertical Interrelation of Information Resources
Interoperability Between Collaborative Knowledge Applications
Automated Quality Assurance for Heuristic-Based XML Creation Systems
Structure-Preserving Difference Search for XML Documents
XTL: An XML Transformation Language and XSLT generator for XTL
The gap between structured and unstructured information needs a bridge
Analyzing and visualizing the structure of medieval encyclopedic works with XML-related technologies
Further development of OpenJade