yusuke1997/dblp-id-title huggingface dataset:
Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings
Modeling the Evolution of Objects in Temporal Information Systems
Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies
Compilation of Conditional Knowledge Bases for Computing C-Inference Relations
On the Security of Individual Data
A Probabilistic Temporal Logic That Can Model Reasoning about Evidence
Partial Evaluations in a Set-Theoretic Query Language for the WWW
Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin
Semantic Web Search Based on Ontological Conjunctive Queries
A New Approach to Belief Modeling
Two Complementary Classification Methods for Designing a Concept Lattice from Interval Data
Assumption-Based Argumentation for Extended Disjunctive Logic Programming
Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists
ONTO-EVO A L an Ontology Evolution Approach Guided by Pattern Modeling and Quality Evaluation
The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences
Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem
On Multivalued Dependencies in Fixed and Undetermined Universes
Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model
Utilizing Deep Learning and RDF to Predict Heart Transplantation Survival
On the Distance of Databases
On Sampling Representatives of Relational Schemas with a Functional Dependency
Foundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
Reasoning on Data Models in Schema Translation
Minimum Matrix Representation of Some Key System
The Principle of Conditional Preservation in Belief Revision
Statistics of RDF Store for Querying Knowledge Graphs
Random Geometric Identification
Extremal Theorems for Databases
Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance
Equivalence of OLAP Dimension Schemas
The Semijoin Algebra
Towards a Logic for Abstract MetaFinite State Machines
Non-situation Calculus and Database Systems
OntoDebug: Interactive Ontology Debugging Plug-in for Protégé
Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags
View-Based Tree-Language Rewritings for XML
A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases
Merging First-Order Knowledge Using Dilation Operators
Controlled Query Evaluation for Known Policies by Combining Lying and Refusal
Measuring Inconsistency in a General Information Space
Learning the News in Social Networks
An Alternative Foundation for DeLP: Defeating Relations and Truth Values
Weak Functional Dependencies in Higher-Order Datamodels
Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings
Axiomatization of Implication for Probabilistic Independence and Unary Variants of Marginal Identity and Marginal Distribution Equivalence
Integrity Constraints for General-Purpose Knowledge Bases
Optimizing Multiset Relational Algebra Queries Using Weak-Equivalent Rewrite Rules
Refining Semantic Matching for Job Recruitment: An Application of Formal Concept Analysis
Characterizing and Computing Causes for Query Answers in Databases from Database Repairs and Repair Programs
Foundations of Information and Knowledge Systems, 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings
Hintikka-Style Semantic Games for Fuzzy Logics
SIM-PDT: A Similarity Based Possibilistic Decision Tree Approach
Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
The Equational Approach to Contrary-to-duty Obligations
Modeling Paraconsistent Reasoning by Classical Logic
Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings
Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case
Constrained Derivation in Assumption-Based Argumentation
On the Number of Independent Functional Dependencies
Incremental Maintenance of Aggregate Views
Preference Learning and Optimization for Partial Lexicographic Preference Forests over Combinatorial Domains
Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings
Maximal Expansions of Database Updates
Lossless Decompositions in Complex-Valued Databases
Database Repair by Signed Formulae
A Context Model for Constructing Membership Functions of Fuzzy Concepts Based on Modal Logic
The Fault-Tolerant Cluster-Sending Problem
The Complexity of Non-Iterated Probabilistic Justification Logic
Analytic Tableaux and Database Repairs: Foundations
Bagging Decision Trees on Data Sets with Classification Noise
Semantically Characterizing Collaborative Behavior in an Abstract Dialogue Framework
Core c-Representations and c-Core Closure for Conditional Belief Bases
Craig Interpolation of Epistemic Logics with Distributed Knowledge
Strongly Minimal MapReduce Algorithms: A TeraSort Case Study
Improving Supervised Learning by Feature Decomposition
Equivalence Between Answer-Set Programs Under (Partially) Fixed Input
How to Manage Supports in Incomplete Argumentation
EHC: Non-parametric Editing by Finding Homogeneous Clusters
Composition of Stochastic Services for LTL f Goal Specifications
The Power of Tarski's Relation Algebra on Trees
Rationality and Context in Defeasible Subsumption
Hybrid Minimal Spanning Tree and Mixture of Gaussians Based Clustering Algorithm
Theoretical Foundations for Enabling a Web of Knowledge
Functional Dependencies in Incomplete Databases with Limited Domains
Diversity, Dependence and Independence
A Logic for Specifying Stochastic Actions and Observations
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
The Nested List Normal Form for Functional and Multivalued Dependencies
Belief Revision in Structured Probabilistic Argumentation
The Challenge of Optional Matching in SPARQL
High-Level Logic Programming
A Simple but Formal Semantics for XML Manipulation Languages
On the Dynamics of Structured Argumentation: Modeling Changes in Default Justification Logic
Conjunctive Queries with Constraints: Homomorphism, Containment and Rewriting
Query Answering and Containment for Regular Path Queries under Distortions
A Logic for Non-deterministic Parallel Abstract State Machines
Iterative Modification and Incremental Evaluation of Preference Queries
On Naive Labellings - Realizability, Construction and Patterns of Redundancy
Strategic Abilities of Agents
Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization
Encoding Databases Satisfying a Given Set of Dependencies
Improving the Performance of the k Rare Class Nearest Neighbor Classifier by the Ranking of Point Patterns
Minimizing Agents' State Corruption Resulting from Leak-Free Epistemic Communication Modeling
The Relative Complexity of Updates for a Class of Database Views
A Family of Nested Query Languages for Semi-structured Data
Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes
Minimal Sample Databases for Global Cardinality Constraints
On Updates of Logic Programs: A Properties-Based Approach
Model-Based Diagnosis with ASP for Non-groundable Domains
Haydi: Rapid Prototyping and Combinatorial Objects
Can You Answer While You Wait?
An AIF-Based Labeled Argumentation Framework
Extension of the Relational Algebra to Probabilistic Complex Values
Foundations of XML Based on Logic and Automata: A Snapshot
Aggregation of Attack Relations: A Social-Choice Theoretical Analysis of Defeasibility Criteria
More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based Optimisation
The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics
Processing Ranked Queries with the Minimum Space
Knowledge Representation in Extended Pawlak's Information Systems: Algebraic Aspects
Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions
Relational Databases and Homogeneity in Logics with Counting
Belief Merging in Dynamic Logic of Propositional Assignments
Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities
A Privacy-Enhanced Microaggregation Method
Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports
On Real-Valued Evaluation of Propositional Formulas
Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs
A Study of Argument Acceptability Dynamics Through Core and Remainder Sets
Similarity Relational Calculus and its Reduction to a Similarity Algebra
Inferences from Attribute-Disjoint and Duplicate-Preserving Relational Fragmentations
Enriching Taxonomies of Place Types Using Flickr
Foundations of Information and Knowledge Systems - 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings
Capturing LOGSPACE over Hereditarily-Finite Sets
Low Discrepancy Allocation of Two-Dimensional Data
Handling Preferences in P2P Systems
Count Constraints and the Inverse OLAP Problem: Definition, Complexity and a Step toward Aggregate Data Exchange
Generative Adversarial Networks for Classification
Fused Spectropolarimetric Visible Near-IR Imaging
Ballistic Missile Boost Phase Acceleration Reconstruction using Wavelet Multi-resolution Analysis
Hyperspectral remote sensing subpixel object detection performance
Real-time, multiple hot-target tracking and multi-spectral fusion
Towards a Domain-Agnostic Knowledge Graph-as-a-Service Infrastructure for Active Cyber Defense with Intelligent Agents
Improved Gait recognition based on specialized deep convolutional neural networks
Automatic Target Detection Using Multispectral Imaging
On the use of covariance and correlation matrices in hyperspectral detection
Confocal vessel structure segmentation with optimized feature bank and random forests
Detection and Removal of Salt and Pepper Noise by Gaussian Membership Function and Guided Filter
Spatial-spectral cross correlation for reliable multispectral image registration
39th IEEE Applied Imagery Pattern Recognition Workshop, AIPR 2010, Washington, DC, USA, October 13-15, 2010
Early History of Remote Sensing
Gabor filter based entropy and energy features for basic scene recognition
Automated Drug-Resistant TB Screening: Importance of Demographic Features and Radiological Findings in Chest X-Ray
Model-Based Face Tracking for Dense Motion Field Estimation
Robust vehicle edge detection by cross filter method
A Method for Online Interpolation of Packet-Loss Blocks in Streaming Video
Entropy metric regularization for computational imaging with sensor arrays
Visual Literacy: An Overview
Feature track summary visualization for sequential multi-view reconstruction
High Storage Capacity Architecture for Pattern Recognition Using an Array of Hopfield Neural Networks
A Vector Coding Method for Natural Images
33rd Applied Image Pattern Recognition Workshop (AIPR 2004), Emerging Technologies and Applications for Imagery Pattern Recognition, 13-15 October 2004, Washington, DC, USA, Proceedings
A Conversational Paradigm for Multimodal Human Interaction
Semi-automatic System for Rapid Annotation of Moving Objects in Surveillance Videos using Deep Detection and Multi-object Tracking Techniques
Enhancing Spatial Resolution for Exploitation in Hyperspectral Imagery
The Empire That Was Russia: The Prokudin-Gorskii Photgraphic Record Re-Created
Predicting COVID-19 from Chest X-ray Images using a New Deep Learning Architecture
A Benchmark for Building Footprint Classification Using Orthorectified RGB Imagery and Digital Surface Models from Commercial Satellites
Distributed Multiuser Visualization of Time Varying Anatomical Data
Retinal venous caliber abnormality: Detection and analysis using matrix edge fields-based simultaneous smoothing and segmentation
Focal plane array folding for efficient information extraction and tracking
Tamper-Proofing Imagery from Distributed Sensors Using Learned Blockchain Consensus
Surgery Task Classification Using Procrustes Analysis
A Review on Image Dehazing Algorithms for Vision based Applications in Outdoor Environment
Line Segments based Rotation Invariant Descriptor for Disparate Images
Online Handwritten Circuit Recognition on a Tablet PC
Template matching localization for GPS denied environments
Development of an efficient perception system and a path planning algorithm for autonomous mobile robots
Adaptive Cycle-consistent Adversarial Network for Malaria Blood Cell Image Synthetization
Histo-pathological image analysis using OS-FCM and level sets
Real Time Texture Classification using Field Programmable Gate Arrays
Millimeter-Wave Weapons Detection System
Applying attributes to improve human activity recognition
Evaluation of Different Decision Fusion Mechanisms for Robust Moving Object Detection
Some Unmixing Problems and Algorithms in Spectroscopy and Hyperspectral Imaging
Technical maturity evaluations for sensor fusion technologies
A Real-Time Object Tracking System Using a Color Camera
Robust object recognition using a cascade of geometric consistency filters
RefinedFed: A Refining Algorithm for Federated Learning
Machine learning nuclear detonation features
Remote detection of humans and animals
Dynamic eye misalignment retroversion system (DEMRS)
Biologically Inspired Approaches to Automated Feature Extraction and Target Recognition
Validation Techniques for Image-Based Simulations
Successful design of biometric tests in a constrained environment
Latent-Space Analysis for Improved Overhead Imagery Explainability
Efficient Passive Sensing Monocular Relative Depth Estimation
Against conventional wisdom: Longitudinal inference for pattern recognition in remote sensing
Ensemble of Deep Learning Cascades for Segmentation of Blood Vessels in Confocal Microscopy Images
A Qualitative Image Reconstruction from an Axial Image Sequence
Registering large volume serial-section electron microscopy image sets for neural circuit reconstruction using FFT signal whitening
A multifaceted benchmarking of GAN architectures on generating synthetic satellite imagery
Cramer-Rao Lower Bound Calculations for Registration of Linearly-Filtered Images
Estimating the Population of Large Animals in the Wild Using Satellite Imagery: A Case Study of Hippos in Zambia's Luangwa River
Gender and age recognition for video analytics solution
Quantifying Socio-economic Context from Overhead Imagery
Adversarial Barrel! An Evaluation of 3D Physical Adversarial Attacks
Human re-identification in multi-camera systems
A Constant Probability of Detection Model for Image Quantization
Digital Fluorescence Technique for Biomedical Applications
Pavement distress detection and classification using a Genetic Algorithm
A video-based face detection and recognition system using cascade face verification modules
Video coding layer optimization for target detection
Anatomically Guided Registration for Multimodal Images
Tomographic Reflection to Merge Ultrasound Images with Direct Vision
Experiences with a Virtual Reality System for Immersive Decision Making and Learning
Atmospheric Correction of Spectral Imagery: Evaluation of the FLAASH Algorithm with AVIRIS Data
Sensor fusion framework for robust occupancy grid mapping
An Ensemble Approach for Classification of Reach and Grasp Movements based on EEG Signals
A Computational Framework for Real-time Detection and Recognition of Large Number of Classes
An Approach to Image Classification in Ultrasound
Hyperspectral Imaging of Kaposi's Sarcoma for Disease Assessment and Treatment Monitoring
Multiple-Aperture Imaging Spectrometer: Computer Simulation and Experimental Validation
An Adaptive Technique for the Extraction of Object Region and Boundary from Images with Complex Environment
Multi-Scale Spatially Weighted Local Histograms in O(1)
Sparse Unsupervised Clustering with Mixture Observations for Video Summarization
An Agent-based Architecture for Distributed Imagery & Geospatial Computing
A Feature Level Multi-Sensor Information Fusion Strategy for Land Region Classification
Creating semi-Quanta multi-layer synthetic CNT images using CycleGAN
Regional Variance Dependant Sub-frame Reduction for Face Detection in High Definition Video Frames
Multi-channel MRI Embedding: An Effective Strategy for Enhancing Brain Tumor Segmentation
Data Level Fusion of Multilook Inverse Synthetic Aperture Radar (ISAR) Images
Persistence and tracking: Putting vehicles and trajectories in context
In Situ Adaptive Feature Extraction for Underwater Target Classification
Object identification for inventory management using convolutional neural network
Adaptive Road Detection through Continuous Environment Learning
PUPILS-Enabling a Dialogue Between the Machine and the Brain
Path-based constraints for accurate scene reconstruction from aerial video
On Evaluating Video-based Generative Adversarial Networks (GANs)
Automated Road Extraction via the Hybridization of Self-Organization and Model Based Techniques
Mobile ISR: Intelligent ISR management and exploitation for the expeditionary warfighter
A Deep Learning Approach for Contour Interpolation
51st IEEE Applied Imagery Pattern Recognition Workshop, AIPR 2022, Washington, DC, USA, October 11-13, 2022
Exploring the Effects of Class-Specific Augmentation and Class Coalescence on Deep Neural Network Performance Using a Novel Road Feature Dataset
Axon and Myelin Sheath Segmentation in Electron Microscopy Images using Meta Learning
A Rate Distortion Method for Beamforming in RF Image Formation
Remote Sensing to Analyze Wealth, Poverty, and Crime
50th IEEE Applied Imagery Pattern Recognition Workshop, AIPR 2021, Washington, DC, USA, October 12-14, 2021
Using Hyperspectral Reflectance Data for Discrimination Between Healthy and Diseased Plants, and Determination of Damage-Level in Diseased Plants
Video image quality analysis for enhancing tracker performance
Discretization Error Based Mesh Generation for Diffuse Optical Tomography
Medical image segmentation using multi-scale and super-resolution method
Face recognition using Elastic bunch graph matching
Combining the advice of experts with randomized boosting for robust pattern recognition
Unsupervised land cover classification in multispectral imagery with sparse representations on learned dictionaries
Mobile robot navigation under duct environment
Increasing Trust in Artificial Intelligence with a Defensible AI Technique
Using a High-Fidelity Simulation Framework for Performance Singularity
Adaptive Confidence Level Assignment to Segmented Human Face Regions for Improved Face Recognition
An ATR System Using an Integer Based Correlation Algorithm in a Time Varying Environment
Road sign detection on a smartphone for traffic safety
Point cloud processing strategies for noise filtering, structural segmentation, and meshing of ground-based 3D Flash LIDAR images
Spectral Imaging and Biomedicine: New Devices, New Approache
Hierarchical Bayesian Algorithm for Diffuse Optical Tomography
Landslide detection on earthen levees with X-band and L-band radar data
Full body tracking using an agent-based architecture
A Rate Distortion Method for Waveform Design in RF Image Formation
Learning tree-structured approximations for conditional random fields
Image Processing and Pre-Processing for Medical Ultrasound
Multi features hybrid Active Shape Model for automated lip contours tracking in video sequence
A Sneak Attack on Segmentation of Medical Images Using Deep Neural Network Classifiers
Dual Band (MWIR/LWIR) Hyperspectral Imager
Camera Auto-calibration for Planar Aerial Imagery, Supported by Camera Metadata
Contourlet image preprocessing for enhanced control point selection in airborne image registration
Complex Neural Networks as Future Tools in Imagery Analysis
Utilization of Artificial Intelligence in Automated Image Analysis
Parallel photon mapping computations to enable fast approximate solutions to the art gallery and watchman route problems
Edge grouping around a fixation point
Evaluation of Sentinel-2 Data for Automatic Maasai Boma Mapping
Embedded Reading Device for Blind People: A User-Centred Design
Standoff video analysis for the detection of security anomalies in vehicles
Hyperspectral Sensor Testbed For Real-Time Algorithm Evaluation
Obtaining accurate change detection results from high-resolution satellite sensors
BioSense: Real-Time Object Tracking for Animal Movement and Behavior Research
Rapid extraction and updating of road network from airborne LiDAR data
Optimal Features for Cross Subject Classification of Imagined Left and Right Fist Movements using EEG Signals
Change detection analysis of tornado disaster using conditional copulas and Data Fusion for cost-effective disaster management
Passive vision: The global webcam imaging network
Automated georegistration of motion imagery
Action classification in polarimetric infrared imagery via diffusion maps
3D shape estimation and texture generation using texture foreshortening cues
Adaptive Data Generation and Bidirectional Mapping for Polyp Images
Non-Gaussian methods in biomedical imaging
User guided visualization for target search
Nonlinear dimensionality reduction for structural discovery in image processing
Adversarial Examples in Deep Learning for Multivariate Time Series Regression
From X-Rays to Radar: Using Color to Understand Imagery
Deep Learning for Recognizing Mobile Targets in Satellite Imagery
Unsupervised approach for object matching using Speeded Up Robust Features
Multi Stage Common Vector Space for Multimodal Embeddings
Automatic Inspection System Using Machine Vision
3D exploitation of 2D ground-level & aerial imagery
Recognition of Middle Age Persian Characters Using a Set of Invariant Moments
Object detection on aerial image using cascaded binary classifier
Automated Video Interpretability Assessment using Convolutional Neural Networks
3D shape retrieval by visual parts similarity
Machine vision algorithms for robust pallet engagement and stacking
3D sparse point reconstructions of atmospheric nuclear detonations
Surface-enhanced Raman spectroscopy for the identification of a non-enveloped virus
Rapid Data Reduction and Target Detection in Literal Imagery
Advanced Algorithms for Autonomous Hyperspectral Change Detection
Aceso: A Medical Image Analysis Platform Using Deep Learning
Advanced image processing techniques for extracting regions of interest using multimode IR processing
Integrating temporal and spectral features of astronomical data using wavelet analysis for source classification
Informativeness of Degraded Data in Training a Classification System
Optically Reconfigurable Gate Array
Evaluation methods for curvilinear feature extraction
Automated Classification of Wrinkle Levels in Seed Coat Using Relevance Vector Machine
Detecting Physical Adversarial Patch Attacks with Object Detectors
Benchmarking Convolutional Neural Networks for Object Segmentation and Pose Estimation
Head pose estimation from images using Canonical Correlation Analysis
A manifold based methodology for color constancy
Automated Annotation of Satellite Imagery using Model-based Projections
Quantifying Image Quality Effects On Automatic Target Detection In Sar Imagery
Deep Nets Spotlight Illegal, Unreported, Unregulated (IUU) Fishing
A Hybrid Approach to Character Segmentation of Gurmukhi Script Characters
A Mammography Database and View System for the African American Patients
FairFed: Cross-Device Fair Federated Learning
The Equivalency Processing Parallel Photonic Integrated Circuit (EP3IC), a Parallel Digital Equivalence Search Module
A virtual filesystem approach to storage, analysis and delivery of volumetric image data for connectomics
Depth data assisted structure-from-motion parameter optimization and feature track correction
Performance Assessment of Mammography Image Segmentation Algorithms