yusuke1997/dblp-id-title huggingface dataset:
Enhancing UAV tracking: a focus on discriminative representations using contrastive instances
An improved algorithm of median flow for visual object tracking and its implementation on ARM platform
A high-speed feature matching method of high-resolution aerial images
Design and implementation of a real-time LDWS with parameter space filtering for embedded platforms
Efficient FPGA implementation of homodyne-based time-of-flight range imaging
Predicting behavioral competencies automatically from facial expressions in real-time video-recorded interviews
A motion conditioned diffusion model for real-time hand trajectory semantic prediction
Stochastic stable buffer control for quality-adaptive HEVC video transmission in enterprise WLAN architectures
The line segment table: a fast region description algorithm
An efficient low-cost FPGA implementation of a configurable motion estimation for H.264 video coding
A GPU-based elastic shape registration approach in implicit spaces
UHD 8K energy-quality scalable HEVC intra-prediction SAD unit hardware using optimized and configurable imprecise adders
Hardware accelerator IP cores for real time Radar and camera-based ADAS
An optimisation of Gaussian mixture models for integer processing units
Fast deep neural networks for image processing using posits and ARM scalable vector extension
Journal of Real-Time Image Processing - second issue of volume 7
GAN-STD: small target detection based on generative adversarial network
Enhanced safety helmet detection through optimized YOLO11: addressing complex scenarios and lightweight design
FRD-YOLO: a faster real-time object detector for aerial imagery
Real time data hiding by exploiting the IPCM macroblocks in H.264/AVC streams
FPGA architecture-based front-end processing for SLAM applications
Study on end-to-end detection method for surface defects of automotive sheet metal parts
EDet-YOLO: an efficient small object detection algorithm for aerial images
Advanced multimedia service provisioning based on efficient interoperability of adaptive streaming protocol and high efficient video coding
Real-time power line segmentation detection based on multi-attention with strong semantic feature extractor
Real-time interactive regions of interest in H.264/AVC
FESSD:SSD target detection based on feature fusion and feature enhancement
Heterogeneous SoC-based acceleration of MPEG-7 compliance image retrieval process
Virtual models in 3D digital reconstruction: detection and analysis of symmetry
WoodGLNet: a multi-scale network integrating global and local information for real-time classification of wood images
Comparative analysis of simple facial features extractors
Performance and energy-efficient implementation of a smart city application on FPGAs
Efficiency and complexity analysis of video-based and geometry-based point cloud encoders
Position-aware lightweight object detectors with depthwise separable convolutions
Pse: mixed quantization framework of neural networks for efficient deployment
A new approach for the detection of pneumonia in children using CXR images based on an real-time IoT system
A real-time foreign object detection method based on deep learning in complex open railway environments
A scheme for conditional access-based systems using index locations of DCT coefficients
Complexity-aware algorithm architecture for real-time enhancement of local anomalies in hyperspectral images
An Experimental Implementation of the Tilde Naming System
Parametrized Types for C++
Optimal Design of Megabyte Second-Level Caches for Minimizing Bus Traffic in Shared-Memory Shared-Bus Multiprocessors
A Distributed Look-Ahead Workload Assignment Algorithm for Interdependent Tasks
The Design and Implementation of the Clouds Distributed Operating System
The DUNE_iX Real-Time Operating System
Fine-Grained Access Control in a Transactional Object-Oriented System
Trust-Based Navigation in Distribution Systems
Schema and Tuple Trees: An Intuitive Structure for Representing Relational Data
The Virtual Filesystem Interface in 4.4BSD
An Object Model for Conventional Operating Systems
Applicability of Smart Cards to Network User Authentication
Type-Safe Linkage for C++
Casper: A Cached Architecture Supporting Persistence
Optimal Write Batch Size in Log-Structured File Systems
Controversy: The Case Against Multiple Inheritance in C++
The Expected Lifetime of Single-Address-Space Operating Systems
Developing Applications for Heterogeneous Machine Networks: The Durra Network
Swift: Using Distributed Disk Striping to Provide High I/O Data Rates
GRAB - Inverted Indexes with Low Storage Overhead
Little Languages for Music
Delayline: A Wide-Area Network Emulation Tool
Mach/4.3BSD: A Conservative Approach to Parallelization
Distributed Programming with Objects and Threads in the Clouds System
MPVM: A Migration Transparent Version of PVM
CHORUS Distributed Operating System
Specifying and Checking UNIX Security Constraints
The Evolution of C++: 1985 to 1989
Object-Oriented Design Archaeology with CIA++
Keynote - A Language and Extensible Graphics Editor for Music
Setting Interrupt Priorities in Software via Interrupt Queueing
Experience with Viruses on UNIX Systems
Smart Messages: An Object-Oriented Communication Mechanism for Parallel Systems
Engineering Radix Sort
The Software Design Laboratory
Architecture and Implementation of Guide, an Object-Oriented Distributed System
Virology 101 (UNIX System Virus)
Controversy: Window Systems Should Be Transparent
The Non-Technical Threat to Computing Systems
Dynamics for Computer Graphics: A Tutorial
Managing Data Redundancy in Interoperable Heterogeneous Environments
Data Structures in the Icon Programming Language
expect: Scripts for Controlling Interactive Processes
Design and Implementation of Parallel Make
Reliable Real-Time Garbage Collection of C++
Implementing Atomic Objects with the RelaX Transaction Facility
Effects of Copy-on-Write Memory Management on the Response Time of UNIX Fork Operations
YACC meets C++
An Architecture for Multi-User Software Development Environments
Checking for Race Conditions in File Accesses
The Personal Orchestra, or Audio Data Compression by 10, 000: 1
Process Synchronization in the UTS Kernel
Distributed Spooling in a Heterogeneous Environment
A Critique of the Inheritance Principles of C++
Optimized Memory-Based Messaging: Leveraging the Memory System for High-Performance Communication
Portability - A No Longer Solved Problem
Relational Schema Integration: Dealing with Inter-Relation Correspondences and Querying Over Component Relations
A System for Algorithm Animation
Performance Evaluation of Two Multidatabase Transaction Management Algorithms
Design and Performance of an Object-Oriented Framework for High-Speed Electronic Medical Imaging
Response: Independent One-Time Passwords
Experiences: Overcoming Data Transfer Bottlenecks across SUN-Transputer Interfaces
The Dynascope Directing Server: Design and Implementation
A Rule-Set Approach to Formal Modeling of a Trusted Computer System
A Stub Generation System for C++
Recovery in Spritely NFS
Architectural and Operating System Support for Orthogonal Persistence
Controversy: Rejoinder: Independent One-Time Passwords
Grasshopper: An Orthogonally Persistent Operating System
Policy Considerations for Data Networks
Can Unix Survive Secret Source Code?
Evolution of a Communication System for Distributed Transaction Processing in Raid
The Prospero File System: A Global File System Based on the Virtual System Model
United We Fall, or Killing the Goose that Laid the Golden Egg
Measured Performance of Caching in the Sprite Network File System
GroupDesign: Shared Editing in a Heterogeneous Environment
SOS: An Object-Oriented Operating System - Assessment and Perspectives
A Concurrent Window System
Experience Developing the RP3 Operating System
Enhanced Resource Sharing in UNIX
Implementation Issues for the Psyche Multiprocessor Operating System
An Application of a Fast Data Encryption Standard Implementation
A UNIX Toolkit for Distributed Synchronous Collaborative Applications
The Design and Implementation of Arjuna
A Hypertext System for UNIX
The Synthesis Kernel
Controversy: The Case for Multiple Inheritance in C++
Issues in the Design of a Toolkit for Supporting Multiple Group Editors
Availability and Latency of World Wide Web Information Servers
A Technique for Documenting the Framework of an Object-Oriented System
Pickling State in the Java System
Elk: The Extension Language Kit
Fine-Grain Adaptive Scheduling using Feedback
The Implementation of Cooperative Mechanisms Among System Components in a Heterogeneous Multidatabase Environment
A Comparison of Basic CPU Scheduling Algorithms for Multiprocessor UNIX
Heuristics for Disk Drive Positioning in 4.3 BSD
A Concurrent Programming Support for Distributed Systems
Multiple Inheritance for C++
Page Makeup by Postprocessing Text Formatter Output
A Site Configuration Engine
Configurable Data Manipulation in an Attached Multiprocessor
Achieving Predictable Response Time with an Intelligent File System Updater
Tom Strong (1944-1990)
Distributed Indexing of Autonomous Internet Services
Watchdogs - Extending the UNIX File System
Economical Inversion of Large Text Files
Using Hints in DUNE Remote Procedure Calls
A Comparison of Two Distributed Systems: Amoeba and Sprite
Distribution and Persistence in the IK Platform: Overview and Evaluation
Swift/RAID: A Distributed RAID System
An Unorthodox Approach to Undergraduate Software Engineering Instruction
An ASCII Database for Fast Queries of Relatively Stable Data
Choices, Frameworks and Refinement
A Tool for Building Firewall-Router Configurations
Kerberos with Clocks Adrift: History, Protocols, and Implementation
A Comparison of Three Distributed File System Architectures: Vnode, Sprite, and Plan 9
Secure Timeliness: On the Cost of Non-Synchronized Clocks
A Comparison of Internet Resource Discovery Approaches
Language and Operating System Features for Real-time Programming
A Weak-Consistency Architecture for Distributed Information Services
Adaptive Disk Spin-Down Policies for Mobile Computers
A Preservationist Perspective on Relevance Logic
Epistemic State Mappings among Ranking Functions and Total Preorders
On the Completeness of Some First-order Extensions of C
What Means 'Tri-' in 'Trinity'? An Eastern Patristic Approach to the 'Quasi-Ordinals'
Two Normalizations for Natural Deductions in Sequent Style
Two Types of Indefinites: Hilbert & Russell
Time and Compensation Mechanisms in Checking Legal Compliance
Computational Problems in Formal Argumentation and their Complexity
G' 3 as the logic of modal 3-valued Heyting algebras
Fundamentals of Computability Logic
Finiteness of Plays
Joint Attacks and Accrual in Argumentation Frameworks
Commentary on Jaakko Hintikka's "IF Logic and Linguistic Theory"
Defeasible Deontic Logic: Arguing about Permission and Obligation
Argument Schemes and Dialogue Protocols: Doug Walton's Legacy in Artificial Intelligence
Multi-agent Argumentation and Dialogue
Formalization of Lerch's Theorem using HOL Light
The logical foundations of strategic reasoning: inconsistency-management as a test case for logic
Computer-Aided Discovery and Categorisation of Personality Axioms
On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models
Cycles-based and Transformation-based Synthesis of Ternary Reversibel Circuits. Aspects of Complexity
Formal Approaches to the Ontological Argument
What is Negation in a System 2020?
Introduction to "Hilbert's epsilon and tau in Logic, Informatics and Linguistics"
Kant'sLogicRevisited
Efficient PAM-4 Symbol Estimation Using Soft Clustering
Logic's Naturalistic Character
Worms and Spiders: Reflection Calculi and Ordinal Notation Systems
A Vector Simplex Model of Concepts
Hilbert's epsilon-operator in Doctrines
The Problem of Universals in Late Patristic Theology
Dale Jacquette: An Appreciation
Reasoning about Coalition Structures in Social Environments via Weighted Propositional Logic
The Clique Covering Problem and Other Questions
Explainable Reasoning with Legal Big Data: A Layered Framework
Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context
Kripke-Galois Frames and their Logics
Dripping the Poison: The Instruments of Bias. A Qualitative Case Study of News Articles in Four Languages over Nine Years
Business Process Modelling in Healthcare and Compliance Management: A Logical Framework
The Indian Schema Analogy Principles
Homogenous and Heterogeneous Logical Proportions
The Éminence Grise of Christology: Porphyry's Logical Teaching as a Cornerstone of Argumentation in Christological Debates of the Fifth and Sixth Centruies
Orbit Equivalence Relations
Leon Henkin: A Logician's View on Mathematics Education
On Weak Bases for Boolean Relational Clones and Reductions for Computational Problems
Some Applications of Boolean Valued Analysis
Closing Words
Multiagent Deontic Logic and its Challenges from a Normative Systems Perspective
Content and Object in Brentano
On the Update Operation in Skew Lattices
Covariant-Contravariant Refinement Modal Logic
Argumentation Schemes. History, Classifications, and Computational Applications
Suzumura Consistency, an Alternative Approach
Do Humans Find Postulates of Belief Change Plausible?
Introducing Abstract Argumentation with Many Lives
HTLC: Hyperintensional Typed Lambda Calculus
Abductive cognition: affordance, curation, and chance
A Mechanically Assisted Examination of Begging the Question in Anselm's Ontological Argument
Burden of Persuasion: A Meta-argumentation Approach
Hilbert's tau and epsilon in Proof Theoretical Foundations of Mathematics: An Introduction
Editorial for Special Issue on Multiple Valued Logic
Towards Depth-bounded Natural Deduction for Classical First-order Logic
The Γ-ultraproduct and Averageable Classes
The Annihilating-ideal Graphs of MV-algebras
Against Narrow Optimization and Short Horizons: An Argument-based, Path Planning, and Variable Multiattribute Model for Decision and Risk
On the Difference between Assumytion-Based Argumentation and Abstract Argumentation
A Complex Problem For Formalists
Point-free Theories of Space and Time
Abduction in Akkadian Medical Diagnosis
Teaching Natural Deduction in the Right Order with Natural Deduction Planner
Douglas Walton: The Early Years
Computing or Estimating Extensions' Probabilities over Structured Probabilistic Argumentation Frameworks
New Foundations for Imperative Logic IV: Natural Deduction
An Exploratory Study on the Use of Artificial Intelligence to Initiate Legal Understanding for Business Development
p -valued Maiorana-McFarland Functions Structure of their Reed-Muller Spectra
Concept Functionals
Inside Außersein
Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property
Height of Valuations in Non-deterministic Semantics for Modal Logic
Groups Definable in o-minimal Structures: Various Properties and a Diagram
Implicit Dynamic Function Introduction and Ackermann-like FunctionTheory
Evolutionary Temporal Logic for Modelling Many-Lives Argumentation Networks
Course of Action Recommendations and Their Place in Developmental Abduction
On the Evolution of AI and Machine Learning: Towards a Meta-level Measuring and understanding Impact, Influence and Leadership at Premier AI Conferences
Design Automation of Invertible Logic Circuit from a Standard HDL Description
On the Nature of Argumentation Semantics: Existence and Uniqueness, Expressibility, and Replaceability
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle
The Totality of Predicates and the Possibility of the Most Real Being
Probabilistic Deontic Logics for Reasoning about Uncertain Norms
A Complete, Correct, and Independent Axiomatization of the First-Order Fragment of a Three-Valued Paraconsistent Logic
Advancing the Boundaries of Formal Argumentation: Reflections on the AI 3 2021 Special Issue
Relevant Justification Logic
Bisimulations for Intuitionistic Temporal Logics
Going Forth and Drawing Back: An Intensional Approach in Nonmonotonic Inference
Abduction: from the Ignorance Problem to the Ignorance Virtue
Relative Necessity Extended
Characterization of a New Subquasivariety of Residuated Lattice
Weight Predication on Missing Links in Social Networks. A Cross-Entropy-Based Approach
A Deontic Argumentation Framework Towards Doctrine Reification
Argument is Moral. Using Walton's Dialectical Tools to Evaluate Argumentation from a Moral Perspective
A Novel Criterion for Rejecting the Non-Inductive Method
Appealing to Ignorance? De-extinction and Accounts of a Fallacy
Dual-Belnap Logic and Anything but Falsehood
Historical Overview of Formal Argumentation
The Logic for Metaphysical Conceptions of Vagueness
Barry Hartley Slater (1936-2016): A Logical Obituary
Recent Thought on Is and Ought: Connections, Confluences and Rediscoveries
Addenda: Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'
Logic of Bipartite Truth with Uncertainty Dimension
A Comparison of Connexive Logics
Elementary-base Cirquent Calculus I: Parallel and Choice Connectives
On Yablo's Construction
An Ordinal-free Proof of the Complete Cut-elimination Theorem for \Pi^1_1-CA+BI with the omega-rule
Putting Bounded Involutive Lattices, De Morgan Algebras, Ortholattices and Boolean Algebras on the "Map"
DNA Technology for Multi-Valued Data Storage using Read Only Memory
About the Unification Type of Fusions of Modal Logic
On a New Three-Valued Paraconsistent Logic
Reminiscences of Alonzo Church
Riesz Space-valued States on Pseudo MV-algebras
Dale Jacquette. Publications
A simple and complete model theory for intensional and extensional untyped lambda-equality
Editorial comment about "On the Difference between ABA and AA"
A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant
Did the Neo-Babylonians Construct a Symbolic Logic for Legal Proceedings?
Formal Periodic Steady-state Analysis of Power Converters in Time-domain
åqvist's Dyadic Deontic Logic E in HOL
The logical Cone
Corrigendum to "The Never Ending Recursion"
Themes from Gödel: Some Recent Developments
Time, Defeasible Logic and Belief Revision: Pathways to Legal Dynamics
Finitist Consistency Proofs and the Impact of Gödel's Incompleteness Theorems on Hilbert?s Metamathematics
Weak Pseudo EMV-algebras. I: Basic Properties
Models for Connexive Logics
A Logical Solution to the Paradox of the Stone
Preservation properties of De Finetti Coherence
Bilattice Basics
Induced morphisms between Heyting-valued models
On the Representation of Transposition Algebras and Non-commutative Cylindric Algebras
Referential Indeterminacy in Fiction
Modern Czech Logic: Vopenka and Hájek, History and Background
A Propositional Logic with Binary Metric Operators
Less Scheming, More Typing: Musings on the Waltonian Legacy in Argument Technologies
Reflecting on Truth
Modeling Norm Dynamics in Multiagent Systems
Preference Inference Based on Hierarchical and Simple Lexiographic Models
The Emergence of Set-theoretical Semantics for Relevance Logics around 1970
Elementary Unification in Modal Logic KD45
Speaking of Fiction
Editorial Note for the Speical Issue on Multiple Valued Logic 2023
Reasoning with diagrams and images: observation and imagination as rules of inference
Amoeba-inspired Electronic Computing System and its Application to Autonomous Walking of a Multi-legged Robot
Classical and Intuitionistic Geometric Logic
Intuitionistic Modal Logic made Explicit
Detachment in Normative Systems: Examples, Inference Patterns, Properties
On the order theory of C ∞ -reduced C ∞ -rings and applications
Unification for Multi-Agent Temporal Logics with Universal Modality
Characterizing Parallel Multipliers for Detecting Hardware Trojans
Joining Formal and Cognitive Reasoning
Textual Entailment for Cybersecurity: An Applicative Case
Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science
Logicism in the eyes of the author of Tractatus Logico-Philosophicus (and of Philosophical Remarks)
A Dynamic Approach to Peirce's Interrogative Construal of Abductive Logic
Towards Fuzzy Neural Conceptors
Meaning Updating of Density Matrices
Explaining Classifiers' Outputs with Causal Models and Argumentation
Estimating the Strength of Defeasible Arguments: A Formal Inquiry
Exponentially huge natural deduction proofs are redundant: Preliminary results on M ⊃
Parsing and Generation as Datalog Query Evaluation
Multi-Valued Data Transmission Quality Evaluation Using Two-Dimensional PAM-4 Symbol Mapping
Higher-Radix Chrestenson Gates for Photonic Quantum Computation
Defeasible reasoning in Navya-Nyaya
The Weak Completion Semantics and Counterexamples
Functorial Properties of the Reticulation of a Universal Algebra
Some classical modal logics with a necessity/impossibility operator
Fast Hardware-based Learning Algorithm for Binarized Perceptrons using CMOS Invertible Logic
Optical Microscopes Reveal the Hyperreal World
An Exact Optimization Method using ZDDs for Linear Decomposition of Symmetric Index Generation Functions
Setting the Basis for Here and There Modal Logics
Correction note to "Proof theory for non-normal modal logics: The neighbourhood formalism"
On the Role of Aristotle's Connexive Axioms in Non-connexive Logics
First-degree Entailment and Binary Consequence Systems
Potentiality and Indeterminacy in Mathematics
Long Sequences of Descending Theories and other Miscellanea on Slow Consistency
A 2 Set-up Routley Semantics for the 4-valued Logic PL4
Logic-Based Approaches to Formal Argumentation
Compositionality for Recursive Neural Networks
Lighthouse Principle for Diffusion in Social Networks
Are Ante Rem Structuralists Descriptivist Or Revisionist Metaphysicians? How We Speak About Numbers
Integrating Conceptual Spaces in Frames
Reflections on Logics for Assertion and Denial
Maximum Entropy Models for $\sum$ 1 Sentences
Formal Analysis of Discrete-Time Systems using z-Transform
Beyond System P - Hilbert-Style Convergence Results for Conditional Logics with a Connexive Twist
Quantum Machine Learning, Logic Minimization, and Circuit Design by Optimizing Ternary-Input Binary-Output Kronecker Reed-Muller Forms
Vector Spaces as Kripke Frames
Aspects of Walton's Theory of Argumentation Schemes
Foundations as Superstructure (Reflections of a practicing mathematician)
Handling Norms in Multi-agent Systems by Means of Formal Argumentation
The generalized continuum hypothesis and two parametrized families of hit-and-miss games
Measuring Inconsistency with the Tableau Method
A Tractarian Resolution to the Ontological Argument
On superrings of polynomials and algebraically closed multifields
Value-based Argumentation
Fragments of Quasi-Nelson: Two Negations
Completeness of Connexive Heyting-Brouwer Logic
Resnik's Structuralism in Light of the History of Mathematics
Pseudo EMV-algebras. I - Basic Properties
A Data-informed Analysis of Argument Mining
On Herbrand's Theorem for Hybrid Logic
NLP Techniques for Normative Mining
On Arithmetic Formulated Connexively
When is a strategy in games?
Collective Acceptability in Abstract Argumentation
On How the 2 Set-up Routley-Meyer Semantics are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-valued Logics
Groups of Worldview Transformations Implied by Isotropy of Space
Douglas Walton and the Covid-19 crisis
Hilbert Algebras in a Non-Classical Framework: Hilbert Algebras with Apartness
Ambiguity and the Semantics of Relevant Logic
On Decidable Extensions of Propositional Dynamic Logic with Converse
Rationality Postulates: Applying Argumentation Theory for Non-monotonic Reasoning
Entailment, Transmission of Truth, and Minimality
Fuzzy Propositional Formulas under the Stable Model Semantics
Model Theory of Some Local Rings
Computational Complexity of Compliance and Conformance: Drawing a Line Between Theory and Practice
Gödel's God-like Essence
Studies of Hilbert's epsilon-operator in the USSR
Morphisims and Duality for Polarities and Lattices with Operators
Teaching Modal Logic from the Linear Algebraic Viewpoint
A Note on the Axiom of Countability
Squeezing Arguments and the Plurality of Informal Notions
Cut-Free Proof Systems for Geach Logics
Modelling Identity Rules with Neural Networks