yusuke1997/dblp-id-title huggingface dataset:
Influence of camera and in-scene motion on perceived video quality in MPEG-2 adaptive coding
Parallax scanning methods for stereoscopic three-dimensional imaging
Discriminability measures for predicting readability
Perception and motor activity: reality is always virtual
Forensic analysis of print using digital image analysis
Color image semantics for digital libraries
Spatial imaging in color and HDR: prometheus unchained
Human-centered content-based image retrieval
Photometric stereo without multiple images
Drawing accuracy measured using polygons
Bivariate statistical modeling of color and range in natural scenes
Top-down modulation: the crossroads of perception, attention and memory
Masking effects in the quality assessment of coded images
Influence of high ambient illuminance and display luminance on readability and subjective preference
Generation of blue noise arrays by genetic algorithm
Can observers exploit enhanced motion parallax to control reaching movements within telepresence environments?
Modifications to Retinex to relax RESET nonlinearity and implement segmentation constraints
Vision systems for the inspection of resistance welding joints
Biosensors for landing creative intent
Use of a local cone model to predict essential CSF light adaptation behavior used in the design of luminance quantization nonlinearities
Virtual displays for 360-degree video
Algorithm for automated eye-strain reduction in real stereoscopic images and sequences
Mixed visual reference frames: perceiving nonretino-centric visual quantities in a retino-centric frame
Adaptive user interfaces for relating high-level concepts to low-level photographic parameters
Top-down guided eye movements: peripheral model
Evaluation of virtual board as a hypermedia visual interface
Active visual computing model based on data- and knowledge-driven selective attention mechanism
Colour Visualisation of the Phase of Complex Signals
Beyond the predominance of the visual empire: A functional model on haptics & more
Human vision-based algorithm to hide defective pixels in LCDs
Human Vision and Electronic Imaging XVII, Burlingame, California, USA, January 22, 2012
Influence of the source content and encoding configuration on the perceived quality for scalable video coding
On the performance of human visual system based image quality assessment metric using wavelet domain
Perceptually optimal color reproduction
A comparison of perceived lighting characteristics in simulations versus real-life setup
Revealing pentimenti: the hidden history in a painting
Technique to extract relevant image features for visual tasks
Study of center-bias in the viewing of stereoscopic image and a framework for extending 2D visual attention models to 3D
Toward a perceptual video-quality metric
Assessing the impact of image manipulation on users' perceptions of deception
A methodology for coupling a visual enhancement device to human visual attention
Quality versus intelligibility: studying human preferences for American Sign Language video
Perceiving simulated ego-motions in virtual reality: comparing large screen displays with HMDs
Comparison of feature combination strategies for saliency-based visual attention systems
The Field of View, the Field of Resolution, and the Field of Contrast Sensitivity
Visual Performance in Multidimensional Data Characterisation with Scatterplots and Parallel Coordinates
Mathematical modeling and the neuroscience of metaphor
Higher-order image representations for hyper-resolution image synthesis and capture
Image quality and entropy masking
Percentage scaling: a new method for evaluating multiply impaired images
Measuring images: differences, quality, and appearance
Quantitative analysis of qualitative images
Perceived Dynamic Range of HDR Images with no Semantic Information
Recognition methods for 3D textured surfaces
Estimating the Subjective Video Stability of First-Person Videos
A Method for Rapid Measurement of Contrast Sensitivity on Mobile Touch-Screens
Dynamic scanpaths: eye movement analysis methods
Advances in electromagnetic brain imaging
Society 5.0 - 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26-28, 2024, Revised Selected Papers
Student-Mediated Knowledge Exchange in Switzerland
Society 5.0 - First International Conference, Society 5.0 2021, Virtual Event, June 22-24, 2021, Revised Selected Papers
Business Agility to Cope with the Increasing National Minimum Wage After the Covid-19 Pandemic: A Case of SMEs in Mauritius
Ethical Implications of Precision Medicine for Society 5.0: A Systematic Review
Does Board Composition Taking Account of Sustainability Expertise Influence ESG Ratings? An Exploratory Study of European Banks
Closing the Gap: Leveraging Recorded Video Lessons for Digital Inclusion in Rural South Africa
More Bureaucracy Instead of More Security or More Fairness: The Effects of AI Regulation
The Influence of Tribal Leaders in the Adoption of e-Banking Products in the Kingdom of eSwatini: Using Social Influence Theory
Examining Smart Contracts Within Mauritian Contract Law: Assessing Their Compatibility with Existing Legal Frameworks
Exploring the Innovation Capabilities of Mauritian SMEs: A Factor Analysis Approach
Predictors of Workplace Satisfaction: Working Onsite Versus Working from Home
Towards a Smart City Sustainability Tracker for Achieving SDG 11 in Cities
Modelling Transformation of Corporate Communications in the Digital Age
Implementing Robotic Process Automation for Auditing and Fraud Control
A Decision-Support Approach for University Incubators
An Indoor Farming Framework for Decision Support Towards Food Security in Society 5.0
Assessing the Impact of Decent Work on the Mental Health of Female Carers in Mauritius Through the Psychology of Working Theory
Enhancing Cross-Cultural Teaching and Learning: An Instructor's View on Africanization
The Influence of Board Characteristics on Environmental Sustainability in Northern Europe
Design Parameters of Multidimensional Reward Systems Based on Preference Analysis of Students of Business Information Systems (Bachelor and Master) at the University of Applied Sciences Northwestern Switzerland
COVID-19 Contact Tracing Apps
The Smart City: Analysis of Application Areas and Their Potential in an International Context
Short Duration, Lasting Impression: The Role of Short-Term Study Trips in Cross-Cultural Learning
Exploring the Innovation Capabilities of South African SMEs: A Principal Component Analysis Approach
Moving Towards Society 5.0: A Bibliometric and Visualization Analysis
The Impact of Generative AI on Creative Professionals in Marketing: A Systematic Review and Practical Framework
Examining Future Ready Accounting Course (FRAC) Experiences for Non-accounting Students: An Education in Society 5.0 Using Augmented Reality and IoT
CyMed: A Framework for Testing Connected Medical Devices
Role of Innovation Competitive Advantage on Strategic Orientation Dimensions and Sustainable Growth of SMEs in Nigeria
Determinants of the Adoption of Virtual Team Collaboration as a Mode of Knowledge Transfer within Innovation Driven Organisations
Collaborative Model-Based Process Assessment for Trustworthy AI in Robotic Platforms
The Benefits and Challenges of Using Datathons as a Method of Learning Data Analytics
A Systematic Literature Review on How Conversational Agents are Transforming Healthcare
Unveiling the "Vulnerability Cycle" of Migrant Workers in Mauritius: Applying a Grounded Theory Approach to Health and Wellbeing of Migrant Workers
A Knowledge Base About Non-pharmaceutical Interventions to Support Hospitals in Responding to Pandemic Situations
Towards a Sustainable Future: Understanding Green Consumerism in Mauritius
Harnessing Technology for Mangrove Research in the Western Indian Ocean to Enhance Climate Change Resilience
A Conceptual Framework for Digitalized Payment Systems in South Africa
Advancing Financial Inclusion and Data Ethics: The Role of Alternative Credit Scoring
Adopting AI in the Banking Sector - The Wealth Management Perspective
Checklist for Effective Knowledge Visualization
Collaborative Online International Learning COIL: Trends, Definition & Typology
Transcultural Leadership and Sustainable Development in the Digital Era: Navigating the 4IR in South Africa
Unveiling the Power of Apomediation: Perspectives from Individuals Living with Autoimmune Disease
Blockchain and IoT Integration for Society 5.0
Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, LADIS '10, Zürich, Switzerland, July 28-29, 2010
Low-latency access to robust amnesic storage
Paxos for System Builders: an overview
A simple totally ordered broadcast protocol
Efficient on-demand operations in dynamic distributed infrastructures
Mosaic: policy homomorphic network extension
Configuration-space performance anomaly depiction
Towards distributed software transactional memory systems
Defining weakly consistent Byzantine fault-tolerant services
Dr. Multicast: Rx for data center communication scalability
Efficient reconciliation and flow control for anti-entropy protocols
Challenges facing tomorrow's datacenter: summary of the LADiS workshop
Fault prediction in distributed systems gone wild
Decentralized real-time monitoring of network-wide aggregates
Sources of instability in data center multicast
Conductor: orchestrating the clouds
Data-centric reconfiguration with network-attached disks
Reliable data-center scale computations
Data caching as a cloud service
Parallel bulk insertion for large-scale analytics applications
Flexible and efficient resource location in large-scale systems
Harnessing the power of DHTs to build dynamic quorums in large-scale enterprise infrastructures
Reducing the costs of large-scale BFT replication
Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, LADIS '08, Yorktown Heights, New York, USA, September 15-17, 2008
BFT: the time is now
Independent faults in the cloud
Weak consistency as a last resort
Specification and Verification of Controlled Systems
Software Hazard and Safety Analysis
Modelling Real-Time Behaviour with an Interval Time Calculus
Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems
Real-Time Operating Systems: Problems and Novel Solutions
Decidability of Safety Properties of Timed Multiset Rewriting
Discrete-Time Promela and Spin
Specification and Verification of Real-Time Behaviour Using Z and RTL
Fair Synchronous Transition Systems and Their Liveness Proofs
System Verification Environment - SVE
TAM: A Formal Framework for the Development of Distributed Real-Time Systems
Decidable Model Checking of Probabilistic Hybrid Automata
UPPAAL Implementation Secrets
Operational Semantics for Timed Observations
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)
Timed Acceptances: A Model of Time Dependent Processes
Verifying Synchronous Reactive Systems Programmed in ESTEREL
Towards Bounded Model Checking for the Universal Fragment of TCTL
ITEX-DE: A TTCN Development Environment
A Practical and Complete Algorithm for Testing Real-Time Systems
Verification of a Reliable Net Protocol
Languages for Reactive Specifications: Synchrony Vs Asynchrony
A Layered Real-Time Specification of a RISC Processor
Efficient Reconfiguration of Trees: A Case Study in Methodical Design of Nonmasking Fault-Tolerant Programs
On Refinement and Temporal Annotations
Reasoning about Uncertainty in Fault-tolerant Distributed Systems
Applications of Formal Methods in Biology
Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal Logic
Reliability Modelling of Time-Critical Distributed Systems
Real-Time UML
Retiming Techniques for Statecharts
A Calculus for Hybrid Sampled Data Systems
Asynchronous Communication in Real Space Process Algebra
Real-Timed Concurrent Refineable Behaviours
Scheduler Modeling Based on the Controller Synthesis Paradigm
Compiling Graphical Real-Time Specifications into Silicon
Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method
Formal Specification of Fault-Tolerant Real-Time Systems Using Minimal 3-Sorted Modal Logic
Observing Task Preemption in Ada 9x
Model Checking - Timed UML State Machines and Collaborations
A Mechanized Theory for the Verification of Real-Time Program Code using Higher Order Logic
Verification of Timed Automata via Satisfiability Checking
Fault-Tolerant Bisimulation and Process Tranformations
An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language
The SDL Design Tool
The Real-Time Behaviour of Asynchronously Communicating Processes
Testing and Refinement for Nondeterministic and Probabilistic Processes
A Dual Interpretation of "Standard Constraints" in Parametric Scheduling
A Methodology for the Construction of Scheduled Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings
Constructing Test Automata from Graphical Real-Time Requirements
Weak Chop Inverses and Liveness in Mean-Value Calculus
On Checking Parallel Real-Time Systems for Linear Duration Properties
Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models
Verification Methods for the Divergent Runs of Clock Systems
Stability of Discrete Sampled Systems
IFAD VDM-SL Toolbox
Prooving Safety Properties of Hybrid Systems
A Calculus of Stochastic Systems for the Specification, Simulation, And Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems
Mona: Decidable Arithmetic in Practice
Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information
Automating the Addition of Fault-Tolerance
Co-simulation of Hybrid Systems: Signal-Simulink
RLucid, a General Real-Time Dataflow Language
Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings
Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern
Formal Design of Hybrid Systems
On Fault-Tolerant Symbolic Computations
Partition Refinement in Real-Time Model Checking
Scheduling in Real-Time Models
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata
A General Framework for the Composition of Timed Systems Extended Abstract
Challenges in the Utilization of Formal Methods
Dynamic Scheduling in the Presence of Faults: Specification and Verification
Some Decidability Results for Duration Calculus under Synchronous Interpretation
Designing and Implementing Correct Real-Time Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings
A Formal Proof of the Deadline Driven Scheduler
Synthesizing Controllers from Duration Calculus
The VDM Domain Compiler
Verifying Universal Properties of Parameterized Networks
Using Higher-order Logic for Modular Specification of Real-time Distributed Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings
Formal Specification and Verification Using KIV
From the Specification to the Scheduling of Time-Dependent Systems
Towards a Duration Calculus Proof Assistant in PVS
Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization
Challenges in the Verification of Electronic Control Units
Development of Hybrid Systems
The PVS Verification System and PC/DC
AutoFocus: A Tool for Distributed Systems Specification
Layering of Real-Time Distributed Processes
A Modular Visual Model for Hybrid Systems
Partial Order Path Technique for Checking Parallel Timed Automata
Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency
Analysis of Timeliness Requirements in Safety-Critical Systems
SGLOT: A Visual Tool for Structural LOTOS Specifications
Linear Duration Invariants
Towards a Formal Semantics of Verilog Using Duration Calculus
Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet
Modeling Faults of Distributed, Reactive Systems
Issues in the Refinement of Distributed Programs
STATEMATE
Partial Orders and Verification of Real-Time systems
The Production Cell: A Verified Real-Time System
Voluntary Preemption: a Tool Tn The Design Of Hard Real-Time Systems
Activation-Oriented Specification of Real-Time Systems
From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time
Simulation Approach to Provably Correct Hardware Compilation
ISL: An Interval Logic for the Specification of Real-time Programs
A Temporal Approach to Requirements Specification of Real-Time Systems
Scheduling in Critical Real-Time Systems: a Minfesto
On Specifying Real-Time Systems in a Causality-Based Setting
A Method for Testing the Conformance of Real Time Systems
Eliminating Queues from RT UML Model Representations
Static Analysis to Identify Invariants in RSML Specifications
Hybrid Verification by Exploiting the Environment
Multicycles and RTL Logic Satisfiability
A Probabilistic Extension of UML Statecharts
Automated Stream-Based Analysis of Fault-Tolerance
A Specification Language for Reliable Real-time Systems
Timed Specifications for the Development of Real-time Systems
Scheduling Data Flow Programs in Hard Real-Time Environments
Duration Calculus in the Specification of Safety Requirements
Duration Calculus of Weakly Monotonic Time
Dynamical Properties of Timed Automata
The DST Z-Tools
Formal Methods for Early Fault Detection
Compositionality in Real-Time Shared Variable Concurrency
Specification and Refinement of Finite Dataflow Networks - a Relational Approach
On the Need for Practical Formal Methods
Paradigms for Real-time Systems
Real-Time Program Refinement Using Auxiliary Variables
Synchronizing Clocked Transition Systems
Compositional Verification of Synchronous Networks
Verification of an Audio Control Protocol
Correctness of Real Time Systems by Construction
Specifying Asynchronous Transfer of Control
Applications of Temporal Logic to the Specification of Real-time Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
Toward a Modal Theory of Types for the pi-Calculus
Eager Class Initialization for Java
Generalizing Action Systems to Hybrid Systems
Component-Based Synthesis of Dependable Embedded Software
Reasoning about Durations in Metric Temporal Logic
Operational and Logical Semantics for Polling Real-Time Systems
A Tool for Translation of VHDL Descriptions into a Formal Model and its Application to Formal Verification and Synthesis
Invariant-Based Synthesis of Fault-Tolerant Systems
Verfying Invariance Properties of Timed Systems with Duration Variables
Model-Checking for Extended Timed Temporal Logics
Modelling Coordinated Atomic Actions in Timed CSP
On Control with Bounded Computational Resources
Responsive Sequential Processes
Efficient Broadcasting on Faulty Star Networks
Fault Diagnosis for Timed Automata
Unifying Verification Paradigms
A Formal Treatment of Interference in Remote Procedure Calls
A System for Object Code Validation
A Typed Interrupt Calculus
Protocol Design by Layered Decomposition: A Compositional Approach
On the Semantics of Group Communication
Stepwise Development of Fault-Tolerant Reactive Systems
The ICOS Synthesis Environment
Graphical Formalization of Real-Time Requirements
Threshold and Bounded-Delay Voting in Critical Control Systems
Integrating Real-Time Structured Design and Formal Techniques
An Overview of Formal Verification for the Time-Triggered Architecture
Broadcast Communication for Real-time Processes
Exhaustive Computation of the Scheduled Task Execution Sequences of a Real-Time Application
A Calculus for Timed Automata
Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22-23, 1988
Tools Demonstration
Specifying and Verifying Fault-Tolerant Systems
Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction
Static Analysis of Real-time Distributed Systems
Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets
MOBY/PLC - Graphical Development of PLC-Automata
High Integrity Computing
A Real Time Fault Tolerant Microprocessor Based On-Board Computer System for INSAT-2 Spacecraft
EVGC: A Tool for Visualizing LOTOS Behavioural Specifications
Formal Analysis of a Real-Time Kernel Specification
An Algorithm for the Approximative Analysis of Rectangular Automata
Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning
Compiling ARGOS into Boolean Equations
Predictability in Critical Systems
Real-Time Scheduling by Queue Automata
A Logical Characterisation of Event Recording Automata
Minimizable Timed Automata
Reasoning about Atomic Objects
Sampling Semantics of Duration Calculus
Probabilistic Neighbourhood Logic
Mechanical Verification of Clock Synchronization Algorithms
A Compositional Semantics for Fault-Tolerant Real-Time Systems
Case Study Production Cell
Provably Correct Systems
A Finite-Domain Semantics for Testing Temporal Logic Specifications
Towards a Theory of Replicated Processing
Parametric Verification of a Group Membership Algorithm
From Physical Modelling to Compositional Models of Hybrid Systems
An On-the-Fly Tableau Construction for a Real-Time Temporal Logic
Temporal Logic Applied to Reliability Modelling of Fault-Tolerant Systems
Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata
Take It NP-Easy: Bounded Model Construction for Duration Calculus
Low Level Synchronisation Problems in Digital Systems
Real-Time Mode-Machines
Distributed Implementation of SIGNAL: Scheduling & Graph Clustering
A Comparison of Statecharts Variants
Control Specification Language - CSL
Translating Timed Process Algebra into Prioritized Process Algebra
Formal Verification of Stabilizing Systems
Duration Specifications for Shared Processors
Verification of Embedded Systems Using Synchronous Observers
Timed and Hybrid Statecharts and Their Textual Representation
Constraint Databases and Program Analysis Using Abstract Interpretation
Constraint Databases and Applications, ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995, Proceedings
Generalized Relational Algebra: Modeling Spatial Queries in Constraint Databases
Problem Solving in the DISCO Constraint Database System
Constraint Databases, Proceedings of the 1st International Symposium on Applications of Constraint Databases, CDB'04, Paris, France, June 12-13, 2004
Taking Constraints out of Constraint Databases
Dynamic FP-Tree Based Mining of Frequent Patterns Satisfying Succinct Constraints
Integrating Constraint and Relational Database Systems
The DEDALE Prototype
The Application of Multi-Dimensional Indexing Methods to Constraints
Aggregate Languages for Constraint Databases
Constraint Algebras
Computing the Well-Founded Semantics for Constraint Extensions of Datalog
On the Expressiveness of Query Languages with Linear Constraints; Capturing Desirable Spatial Properties
Querying Indexed Files
Genomic Database Applications in DISCO
Ambiguity for Referential Integrity Is Undecidable
Constraint Databases, Data Structures and Efficient Query Evaluation
Genericity in Spatial Databases
Implementing Index Data Structures Using Constraint Logic Programming
Moving Objects and Their Equations of Motion
Expressive Power: The Finite Case
SQL/TP: A Temporal Extension of SQL
The C3 Constraint Object-Oriented Database System: An Overview
Constraint Databases, Queries, and Query Languages
Datalog and Constraints
The DISCO System
Decomposition and Lossless Join in Constraint Databases
A Semantic Query Optimization Algorithm for Object-Oriented Databases
Constraint Processing Techniques for Improving Join Computation: A Proof of Concept