yusuke1997/dblp-id-title huggingface dataset:
Fusing RGB and Thermal Imagery with Channel State Information for Abnormal Activity Detection Using Multimodal Bidirectional LSTM
Impact Propagation in Airport Systems
A Cloud-Based Anomaly Detection for IoT Big Data
Cyber Threat Monitoring Systems - Comparing Attack Detection Performance of Ensemble Algorithms
FINSTIX: A Cyber-Physical Data Model for Financial Critical Infrastructures
Towards a Global CIs' Cyber-Physical Security Management and Joint Coordination Approach
Cyber-Physical Security for Critical Infrastructures Protection - First International Workshop, CPS4CIP 2020, Guildford, UK, September 18, 2020, Revised Selected Papers
Inferring Anomaly Situation from Multiple Data Sources in Cyber Physical Systems
TLSAssistant Goes FINSEC A Security Platform Integration Extending Threat Intelligence Language
A Comparative Analysis of Emulated and Real IEC-104 Spontaneous Traffic in Power System Networks
Privacy-Preserving CCTV Analytics for Cyber-Physical Threat Intelligence
A Comprehensive Dataset from a Smart Grid Testbed for Machine Learning Based CPS Security Research
Cross-Domain Security Asset Management for Healthcare
Toward a Context-Aware Methodology for Information Security Governance Assessment Validation
Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings
Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004
A Note on Distributive Laws and Power Domains
Bifinite Domains: Stable Case
Categories of Partial Morphisms and the lambda p - Calculus
Dualities Between Nets and Automata Induced by Schizophrenic Objects
A 2-Categorical Presentation of Term Graph Rewriting
Behavioral Program Specification
Enriched Categories for Local and Interaction Calculi
Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics
An Interval Model for Second-Order Lambda Calculus
Compostional Relational Semantics for Indeterminate Dataflow Networks
A Category of Galois Connections
A Category-theoretic Account of Program Modules
Categorical Fixed Point Calculus
Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings
Declarative Continuations: an Investigation of Duality in Programming Language Semantics
Local Variables and Non-Interference in Algol-like Languages
Categorical Reconstruction of a Reduction Free Normalization Proof
A Set Constructor for Inductive Sets in Martin-Löf's Type Theory
From Petri Nets to Linear Logic
Collapsing Graph Models by Preorders
Categorical Modelling of Structural Operational Rules: Case Studies
Stone Duality for Stable Functions
The Convex Powerdomain in a Category of Posets Realized by CPOs
Algebra Categorically
Projections for Polymorphic Strictness Analysis
Relational Set Theory
Temporal Structures
Applications of the Calculus of Trees to Process Description Languages
Proof of a S. Mac Lane Conjecture
An Algebra of Graphs and Graph Rewriting
A Categorical Unification Algorithm
Connections Between Partial Maps Categories and Triops Theory
A Deciding Algorithm for Linear Isomorphism of Types with Complexity O (n log 2 (n))
Category Theory and Programming Language Semantics: an Overview
Weakest Preconditions: Categorical Insights
Internal Completeness of Categories of Domains
Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms
Categories, Data Types and Imperative Languages
A Proposed Categorical Semantics for ML Modules
Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings
A Category-Theoretic Treatment of a Parallel Algol-Like Language
Graded Multicategories of Polynomial-time Realizers
Category Theory and Models for Parallel Computation
Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002
Categories and Effective Computations
The Category of Milner Processes is Exact
Dictoses
Presheaf Models for the pi-Calculus
Two Results on Set-Theoretic Polymorphism
Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999
Cartesian Closure - Higher Types in Categories
Adjunction
Categories of Information Systems
Logic Representation in LF
An Abstract Formulation for Rewrite Systems
Relating Models of Impredicative Type Theories
Programs in Partial Algebras - a Categorical Approach
V-Comprehensions and P Space
The S-Replete Constuction
Higher Dimensional Word Problem
An Equational Presentation of Higher Order Logic
A Final Coalgebra Theorem
A Factorisation Theorem in Rewriting Theory
A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments
Finite Approximation of Spaces
A Categorical View of Weakest Liberal Preconditions
Effectiveness of the Global Modulus of Continuity on Metric Spaces
Relating Two Models of Hardware
A Calculus for Collections and Aggregates
Viewing Implementations as an Institution
Coherence and Valid Isomorphism in Closed Categories - Applications of Proof Theory to Category Theory In a Computer Scientist Perspective
Elements of Categorical Reasoning: Products and Coproducts and some other (Co-) Limits
When Do Datatypes Commute?
Category Theory and Logic
Separating Shape from Data
Allegories as a Basis for Algorithmics
Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages
Monads and Modular Term Rewriting
Combining and Representing Logical Systems
A Direct Proof of the Intuitionistic Ramsey Theorem
Proof Principles for Datatypes with Iterated Recursion
Proof Nets and Coherence Theorems
Independence Results for Calculi of Dependent Types
Dataflow Networks are Fibrations
Categorical Models of Process Cooperation
Theories as Categories
Bits and Pieces of the Theory of Institutions
BCK-Formulas Having Unique Proofs
Formalizing the Network and Hierarchical Data Models - an Application of Categorical Logic
Specifying Interaction Categories
Category Theory and Computer Science, 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings
Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability
Unification Properties of Commutative Theories: A Categorical Treatment
Calois Connections and Computer Science Applications
Logical Aspects of Denotational Semantics
A Dialectica-like Model of Linear Logic
A Fixpoint Construction of the p-adic Domain
Effective Applicative Structures
Quantitative Domains, Groupoids and Linear Logic
Linear Logic and Interference Control
Extended ML: an Institution - Independent Framework for Formal Program Development
Shedding the New Light in the World of Logical Systems
A Note on Categorical Datatypes
An Introduction to n -Categories
Operations in Records
General Synthetic Domain Theory - A Logical Approach
A Typed Lambda Calculus with Categorical Type Constructors
Computing with Categories
An Algebraic View of Interleaving and Distributed Operational Semantics for CCS
Functor - Category Semantics of Programming Languages and Logics
A Modular Approach to Denotational Semantics
Polymorphism is Set Theoretic, Constructively
Functors and Natural Transformations
Tail Recursion from Universal Invariants
Convenient Category of Processes and Simulations 1: Modulo Strong Bisimilarity
Lifting as a KZ-Doctrine
Control Structures: a Model of Interaction
On the Semantics of Second Order Lambda Calculus: From Bruce-Meyer-Mitchell Models to Hyperdoctrine Models and Vice-Versa
Constructions and Predicates
Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings
Good Functors... are Those Preserving Philosophy
Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings
A Semantic Model for Qualitative Reasoning under Ignorance
Towards Synthesis of Reactive and Robust Behavior Chains
Query Processing in Distributed F-Logic Databases
Situated and Ubiquitous Behaviours: Layers of Abstraction for Scene Understanding
Exploring Dynamic Belief Network Visualisation
Automated business process identifier from text-based input using case-matching
Sample-by-Sample Model Selection between Two Classifiers
Pattern search optimization for solving the load-flow problem
On the Hybrid Propositional Plan Encodings
A semi-supervised approach to customer relationship management
Unreachability for a Class of Rewriting Systems using Two Homomorphisms
On the Concept of Mobile Agent Framework for Resource Management in an Enterprise Network
A Component-based Hierarchical Rule System for Business Applications
Optimized synaptic conductance model for integrate-and-fire neurons
A particle swarm digital identification of synchronous machine parameters from short circuit tests
Synthesis of Conversion Rules by Expanding Knowledge Representation
Robotic Arm Control in Fault Conditions
Managing digital libraries using semantic web technologies
A rule - base modification for time delay systems
Fuzzy Graph Analysis System for Sociometry through Man-Machine Interface
Supervised neuronal approaches for EEG signal classification: Experimental studies
ICA Applications in Data Mining
Learning Formations in Simulated Soccer by a Genetic Algorithm
The Function Block is an Agent: Distributed Intelligent Control in Manufacturing
Recognition of gestures in arabic sign language using neural networks
Gesture recognition using a neuro-fuzzy predictor
Practical Aspects Concerning the Development of an ITS for Control Centre Operators Training
Neural Network Fault Tolerant Estimation of an Integrated Power System
A method for removing unused arguments from logic programs
A coding mechanism for business process optimisation using genetic algorithmS: Initial thoughts
Situation recognition for reactive agent behavior
Pattern recognition approach for the automatic classification of data from impact acoustics
The University Examination Scheduling Problems
Learning context-dependency of user interests in smart homes: Comparison between SVM and CBR
Genetic Algorithm Approach for the Allocation of Inspection Stations
Addressing the Layout Design Problem through Genetic Algorithms and Constraint Logic Programming
Sequential mining method based on a new criterion
A hybrid neural network model for daily peak load forecasting using a novel clustering approach
Learning from Others to Improve Planning Performance
Designing Web Sites Using AI and Knowledge Management Concepts
The Space of Time: A Fundamental Method for Manageing Knowledge within and across Disciplines
Knowledge modeling and processing for supervision of process facilities
The Prediction of Permeability in Oil-Bearing Strata using Genetic Algorithms
Identificaiton of Styrene Polymerization using Adaptive Back-propagation Method
Office layout support system considering usage using interactive genetic algorithm
Ontology-guided intelligent data mining assistance: Combining declarative and procedural knowledge
A New Algorithm for Learning Bayesian Classifiers from Data
A New Object-Oriented Stochastic Modeling Language
Complex Adaptive Systems + Soft Computing = Emergent Design Systems (EDS)
Declarative expressions: A new perspective for handling information systems
A New Approach to Active Rule Analysis and Reorganization
Fuzzy logic based tuning of PID controllers for time delay dominant systems
Core equivalence for economy under rough sets information
Automatic Extraction of Important Sentences using Statistical Information and Structural Features
A Comparision of Feature Extraction Techniques in Remotely Sensed Imagery
Cumulative growth of production rules with fuzzy hierarchy (PRFH)
Temporal case-based reasoning - case representation and retrieval for forecasting
Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, Alberta, Canada
Teleo-reactive Control for Accelerator Beamline Tuning
Fuzzy Logic Control for Synchronous Rectifier DC/DC Converter
Measuring White Collar Work through Enabler and Obstacle Analysis
Modelling and Simulation of Oil Extraction: Solid Line
Agent Classification in Manufacturing Systems
Leveraging Chemical Processing Knowledge using CBR and Application Framework
A Framework for Multi-agent Reasoning and Coordination
A WAM implementation for flexible query answering
SC-Web-CS: Suply Chain Web-centric Systems
Hazard Assessment Modeling: A Hierarchical QSAR Approach
Cooperative, Multistep Negotiation over a Multi-dimensional Utility Function
Neural network approach to the optimal lut assignment in FPGA for parallel multipliers over GF(2n)
Automated Genetic Sequence Retrieval and Alignment: An Application in Biological Sciences
The Agent Communication Language AgentCom and its Semantics
A new approach of shannon entropy in recommender systems
Coupling a Text Generator to an Expert System
Evaluation of Number-Kanji Translation Method using Inductive Learning on E-mail
Higher order neural networks and their applications to financial time series prediction
H Control for Fuzzy Systems with Uncertainty
Adaptive Learning from Environment
Design an Expert System (ES) and Artificial Neural Network (ANN) for Functional Test and Repair of Color Television (CTV)
Disaggregate mode choice analysis for work trips using genetic-fuzzy and neuro-fuzzy systems
Fuzzy C-means clustering and facility location problems
State Estimation by using Neural Network under Bad Data
S-curve regression of fuzzy method and statistical application
Trading Singapore Stocks with Quick Propagation Neural Networks
An ontology gateway for efficient communication of agents with web services
Selection of clusters number and features subset during a two-levels clustering task
Complexity of Rulebases
Distributed Knowledge Acquisition using Virtual Spaces
Parallel genetic algorithm for a multiobjective rescheduling problem
Using Belief Measurement to Guide Model-based Diagnosis
Knowledge Management through Content Interpretation
Combining technical analysis and neural networks in the australian stockmarket
Automated Control of a Synthesis System based on Integrated Neural Networks
Local Model Neuro-fuzzy Network Construction based on Support Vector Interface
Measuring Performance of Probabilistic Inferencing and K-Nearest Neighbor for the Best Month Fertilizer Application
Model Reference Fuzzy Logic Control for Robot Manipulators
Rule Base Revision System THERES using Progol
An Improved Korean Morphological Analyzer
Extended Neural Model Predictive Control of Non-Linear Systems
An Intelligent Agent for a Beginning Programming Course
Semantic Interpretation by Rule-based Equivalent Transformation
Cardiac problem diagnosis using SPECT images with statistical neural networks
Intelligent Hybrid Multi-agent Computational Architecture for Resource Management in Complex Systems
A new digital technique for identification of symmetrical components for power system protection
Extending the Tense Structure for Expressing Temporal Adverbs
Artificial Intelligence and Soft Computing, August 28-30, 2006, Palma de Mallorca, Spain
Knowledge Management at the U. S. Department of Labor
Influence of the selection method on the solution of an inverse stefan problem using genetic algorithms
SPAtH: An Adaptive Web-based Learning System
Deploying E-Commerce Enabling Technology using an Advisory System
A Hybrid Approach for Ship Berthing Problem
Towards Realistic Models of Agents: Preliminary Report
A Sound and Complete Diagrammatic Reasoning System
Effectiveness of Information Obtained from Morphological Analysis in PT-IL
Receding horizon control of sampled data systems based on dividing genetic computation
Studying the human visual cortex for improving prehension capabilities in robotics
An evolutionary method to solve the real-time scheduling problem
A multi-expert classification framework for network misuse de tection
Meta-knowledge and Other Knowledge Dimensions: A Unified Framework for Explicit Knowledge
Road sign detection and recognition using fuzzy artmap: A case study swedish speed-limit signs
Optimal phase shifter coordination: A multidimensional problem
Maintaining Awareness of Coordination Document Configuration
Identification of gujarati characters using wavelets and neural networks
Global-local learning strategies in probabilistic principal components analysis
Description of ranns and their generalisation capabilities by means of rule extraction by genetic programming
A Syntactic Analysis Method using Inductive Learning
Exploiting Idiosyncracies in a Machine Learning Database
Using Analogues to Predict Student's Performance
Enhancing HTN Planning as Satisfability
Improved Fuzzy C-Means Algorithm
The Space of Time: Applications
POSCO's Twin-Roll Strip Caster and its Control
Speeding up the learning of equivalence classes of bayesian network structures
A new technique for synchronous machine parameters estimation from frequency tests
Simulation-based optimisation using local search and neural network metamodels
RL-Cyclist: A Self-Teaching Agent Driving a Bicycle
Definition of selective pressure control methods for optimization of genetic algorithms in air traffic control
Improving the Performance of Collaborative Recommendation by using Multi-level Similarity Computation
Word Segmentation Method using Inductive Learning for Chinese Text
Neural network representation of fuzzy systems
Rule Mining via Learning Belief Networks
Training Neural Networks Based on Formal Concepts
12th International Workshop "What can FCA do for Artificial Intelligence? co-located with the 27th European Conference on Artificial Intelligence (ECAI 2024), Santiago de Compostela, Spain, October 19, 2024
Improvements to Lattice Drawing With fca.sty
KLM-style Defeasible Reasoning on Concepts
When Contranominal Scales Give a Solution to the Zarankiewicz Problem?
A System for Different Concepts Generation and Application
Modelling Commonsense Knowledge about Concepts with Language Models (invited talk)
Clustering with Stable Pattern Concepts
Conjunctive Concept Algebras - Named Perspective
Clustering with Axialities
Multimodal 3D Human Pose Estimation from a Single Image
Cached k-d tree search for ICP algorithms
Visual Tomography: Physically Faithful Volumetric Models of Partially Translucent Objects
Curve and Surface Models to Drive 3D Reconstruction Using Stereo and Shading
Pix4Point: Image Pretrained Standard Transformers for 3D Point Cloud Understanding
Learning a General-Purpose Confidence Measure Based on O(1) Features and a Smarter Aggregation Strategy for Semi Global Matching
Multiview Registration for Large Data Sets
A Contour-Based Approach to 3D Text Labeling on Triangulated Surfaces
Combining Off- and On-Line Calibration of a Digital Camera
ACDet: Attentive Cross-view Fusion for LiDAR-based 3D Object Detection
Multiview RGB-D Dataset for Object Instance Detection
Robust and Accurate Partial Surface Registration Based on Variational Implicit Surfaces for Automatic 3D Model Building
R4Dyn: Exploring Radar for Self-Supervised Monocular Depth Estimation of Dynamic Scenes
Automatic Pose Estimation for Range Images on the GPU
Toward Compressed 3D Descriptors
Convolutional Autoencoders for Human Motion Infilling
Watertight As-Built Architectural Floor Plans Generated from Laser Range Data
Learning to Translate Between Real World and Simulated 3D Sensors While Transferring Task Models
Projective Surface Matching of Colored 3D Scans
EgoGlass: Egocentric-View Human Pose Estimation From an Eyeglass Frame
Para-Lane: Multi-Lane Dataset Registering Parallel Scans for Benchmarking Novel View Synthesis
Revisiting Depth Completion from a Stereo Matching Perspective for Cross-domain Generalization
Image-Space Marker Detection and Recognition Using Projective Invariants
Single View Reconstruction of Piecewise Swept Surfaces
Robust Absolute Rotation Estimation via Low-Rank and Sparse Matrix Decomposition
Stable Real-Time Interaction Between Virtual Humans And Real Scenes
High Dynamic Range SLAM with Map-Aware Exposure Time Control
Progression Modelling for Online and Early Gesture Detection
MaskNet: A Fully-Convolutional Network to Estimate Inlier Points
3D-TexSeg: Unsupervised Segmentation of 3D Texture Using Mutual Transformer Learning
PALM: Portable Sensor-Augmented Vision System for Large-Scene Modeling
Progressive 3D Modeling All the Way
Screen-space Regularization on Differentiable Rasterization
Multi-projectors for arbitrary surfaces without explicit calibration nor reconstructio
A Sampling Criterion for Optimizing a Surface Light Field
Joker: Conditional 3D Head Synthesis with Extreme Facial Expressions
A 3D Laser Micro-sensor Integrating Control and Data Processing in an FPGA-Based Calculator
Line-Based Robust SfM with Little Image Overlap
Automatic Keypoint Detection on 3D Faces Using a Dictionary of Local Shapes
Lightplane: Highly-Scalable Components for Neural 3D Fields
Robust ICP Registration Using Biunique Correspondence
Novel Single View Constraints for Manhattan 3D Line Reconstruction
GVP: Generative Volumetric Primitives
A Point-and-Shoot Color 3D Camera
Stereo by Multiperspective Imaging under 6 DOF Camera Motion
U-ARE-ME: Uncertainty-Aware Rotation Estimation in Manhattan Environments
Spatiotemporal Modeling for Efficient Registration of Dynamic 3D Faces
Generating Smooth Surfaces with Bicubic Splines over Triangular Meshes: Toward Automatic Model Building from Unorganized 3D Points
Generalized 4-Points Congruent Sets for 3D Registration
OD-NeRF: Efficient Training of On-the-Fly Dynamic Neural Radiance Fields
A Single-Shot Multi-Path Interference Resolution for Mirror-Based Full 3D Shape Measurement with a Correlation-Based ToF Camera
Point Pair Features Based Object Detection and Pose Estimation Revisited
A Divide et Impera Approach for 3D Shape Reconstruction from Multiple Views
Open-Vocabulary Semantic Part Segmentation of 3D Human
Fast Omnidirectional 3D Scene Acquisition with an Array of Stereo Cameras
Fast Obstacle Detection Using Sparse Edge-Based Disparity Maps
A Layered Model of Human Body and Garment Deformation
Reflecting Reality: Enabling Diffusion Models to Produce Faithful Mirror Reflections
Capturing 2½D Depth and Texture of Time-Varying Scenes Using Structured Infrared Light
Estimating the Location of a Camera with Respect to a 3D Model
Accurate and Practical 3D Measurement for Translucent Objects by Dashed Lines and Complementary Gray Code Projection
Learning to Think Outside the Box: Wide-Baseline Light Field Depth Estimation with EPI-Shift
Automated Pavement Distress Collection and Analysis: A 3-D Approach
PhoMoH: Implicit Photorealistic 3D Models of Human Heads
3-D Modeling of Human Hand with Motion Constraints
Generalized Cylinders Extraction in a Range Image
Reconstruction of Complex Environments by Robust Pre-aligned ICP
Convolutional Fisher Kernels for RGB-D Object Recognition
Calibration of 3D Sensors Using a Spherical Target
Processing Range Data for Reverse Engineering and Virtual Reality
Self-Supervised Learning of Non-Rigid Residual Flow and Ego-Motion
Rapid Skin: Estimating the 3D Human Pose and Shape in Real-Time
Training-Based Object Recognition in Cluttered 3D Point Clouds
Learning a Hierarchical Latent-Variable Model of 3D Shapes
High Resolution Projector for 3D Imaging
ActiveNeuS: Neural Signed Distance Fields for Active Stereo
Joint 3D Reconstruction of a Static Scene and Moving Objects
DeepC-MVS: Deep Confidence Prediction for Multi-View Stereo Reconstruction
Efficient Deformable Shape Correspondence via Kernel Matching
Fast and Stable Algebraic Solution to L2 Three-View Triangulation
Deep Regression on Manifolds: A 3D Rotation Case Study
Towards a MEMS-based Adaptive LIDAR
Deep Learning Parametrization for B-Spline Curve Approximation
Virtual Environment Modeling by Integrated Optical and Acoustic Sensing
Human Body Measurement Estimation with Adversarial Augmentation
Cycle-Consistent Generative Rendering for 2D-3D Modality Translation
Benchmarking Image Retrieval for Visual Localization
AGS-Mesh: Adaptive Gaussian Splatting and Meshing with Geometric Priors for Indoor Room Reconstruction Using Smartphones
Approximate 3D Partial Symmetry Detection Using Co-occurrence Analysis
MonoPatchNeRF: Improving Neural Radiance Fields with Patch-Based Monocular Guidance
TempCLR: Reconstructing Hands via Time-Coherent Contrastive Learning