yusuke1997/dblp-id-title huggingface dataset:
Evolutionary Multi-objective Environmental/Economic Dispatch: Stochastic Versus Deterministic Approaches
Computing Hypervolume Contributions in Low Dimensions: Asymptotically Optimal Algorithm and Complexity Results
A Multi-objective Approach to Integrated Risk Management
Genetic Algorithm Approach for a Class of Multi-Criteria, Multi-Vehicle Planner of UAVs
A Multi-objective Optimization Approach Associated to Climate Change Analysis to Improve Systematic Conservation Planning
4th International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2010, Shanghai, China, November 15, 2010
Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, TTSS 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia, August 17, 2009
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008
Proceedings of the 6th AMAST Workshop on Real-Time Systems, ARTS 2004, Stirling, UK, July 12, 2004
Regular Processes and Timed Automata
A Transformation of Monitor into Communication Synchronized Parallel Processes: A Systematic Refinement Step in Design
High-Level Execution Time Analysis
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach
A Sound and Complete Proof System for Probabilistic Processes
Verification and Refinement of Distributed Programs in a Fair Framework
Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms
Refinement of Time
Contracts for ODP
Formal Specification and Verification Method of Concurrent and Distributed Systems by Restricted Timed Automata
Modelling Timeouts without Timelocks
Llull as Computer Scientist or Why Llull Was One of Us
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings
Verifying Progress in Timed Systems
Fully Abstract Characterization of Probabilistic May Testing
Integrating Temporal Logics and Model Checking Algorithms
Semi-numerical Solution of Stochastic Process Algebra Models
Process Algebra with Probabilistic Choice
Communication Concepts for Statecharts: A Semantic Foundation
Testing Semantics for a Probabilistic-Timed Process Algebra
What Was Llull Up To?
Transformational Formal Development of Real-Time Systems
A Visual Fomalism for Real-Time Requirement Specifications
Denotational Semantics for Timed Testing
Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach
Introduction of a Suspend/Resume Operator in ET-LOTOS
PLC-Automata: A New Class of Implementable Real-Time Automata
Extending LOTOS with Time: A True Concurrency Perspective
Specifying Performance Measures for PEPA
Action-Based Concurrency and Synchronization for Objects
Specification and Verification of Real-Time Field Bus with Formal Description Languages
Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings
Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems
Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation
Comparing the Efficiency of Asynchronous Systems
Refining Interval Temporal Logic Specifications
A Formal Model of Real-Time Program Compilation
Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes
The Verus Language: Representing Time Efficiently with BDDs
An Axiomatization of Probabilistic Testing
A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics
Automatic Verification of Real-Time Systems with Discrete Probability Distributions
Root Contention in IEEE 1394
Deductive Verification of Real-Time Systems Using STeP
Specification and Refinement of Continuous Real-Time Systems
ProbVerus: Probabilistic Symbolic Model Checking
Verification of Hybrid Systems (abstract)
Formalizing Real-Time Scheduling as Program Refinement
Reliable Fault Diagnosis of Bearings Using Distance and Density Similarity on an Enhanced k-NN
CEMAB: A Cross-Entropy-based Method for Large-Scale Multi-Armed Bandits
Optimal Power Allocation of Wireless Sensor Networks with Multi-operator Based Constrained Differential Evolution
Feedback Modulated Attention Within a Predictive Framework
Co-Evolving Line Drawings with Hierarchical Evolution
Equity Option Strategy Discovery and Optimization Using a Memetic Algorithm
Detectable Genetic Algorithms-Based Techniques for Solving Dynamic Optimisation Problem with Unknown Active Variables
A Memetic Cooperative Co-evolution Model for Large Scale Continuous Optimization
Multi-objective Optimisation with Multiple Preferred Regions
Investigating the Generality of Genetic Programming Based Hyper-heuristic Approach to Dynamic Job Shop Scheduling with Machine Breakdown
Extending the Delaunay Triangulation Based Density Measurement to Many-Objective Optimization
A Batch Infill Strategy for Computationally Expensive Optimization Problems
An Evolutionary Multi-criteria Journey Planning Algorithm for Multimodal Transportation Networks
Surrogate-Assisted Multi-swarm Particle Swarm Optimization of Morphing Airfoils
Resource Constrained Job Scheduling with Parallel Constraint-Based ACO
A MOEA/D with Non-uniform Weight Vector Distribution Strategy for Solving the Unit Commitment Problem in Uncertain Environment
Estimating Passenger Preferences Using Implicit Relevance Feedback for Personalized Journey Planning
Quantitative Assessment of Heart Function: A Hybrid Mechanism for Left Ventricle Segmentation from Cine MRI Sequences
Generation and Exploration of Architectural Form Using a Composite Cellular Automata
Applying Dependency Patterns in Causal Discovery of Latent Variable Models
Neighbourhood Analysis: A Case Study on Google Machine Reassignment Problem
A Hybrid Feature Selection Scheme Based on Local Compactness and Global Separability for Improving Roller Bearing Diagnostic Performance
Reliability Estimation of Individual Multi-target Regression Predictions
Binary PSO for Web Service Location-Allocation
Exploratory Analysis of Clustering Problems Using a Comparison of Particle Swarm Optimization and Differential Evolution
Towards Solving TSPN with Arbitrary Neighborhoods: A Hybrid Solution
An Adaptive Memetic Algorithm for the Architecture Optimisation Problem
Artificial Life and Computational Intelligence - Third Australasian Conference, ACALCI 2017, Geelong, VIC, Australia, January 31 - February 2, 2017, Proceedings
Automatic Clustering and Summarisation of Microblogs: A Multi-subtopic Phrase Reinforcement Algorithm
A PSO-Based Reference Point Adaption Method for Genetic Programming Hyper-Heuristic in Many-Objective Job Shop Scheduling
An Iterated Local Search with Guided Perturbation for the Heterogeneous Fleet Vehicle Routing Problem with Time Windows and Three-Dimensional Loading Constraints
Emotion, Trustworthiness and Altruistic Punishment in a Tragedy of the Commons Social Dilemma
Wrapper Feature Construction for Figure-Ground Image Segmentation Using Genetic Programming
Research of the Reliability Coefficient in Information Fusion
An Efficient Technique for Error-Free Implementation of H.264 Using Algebraic Integer Encoding
2010 International Conference on Signal Acquisition and Processing, ICSAP 2010, Bangalore, India, February 9-10, 2010
Voice Controlled Wheelchair Using DSK TMS320C6711
Multiresolution Framwork with Neural Network Approach for Automatic Target Recognition (ATR)
Method for EEG Feature Extraction Based on Morphological Pattern Spectrum
A Novel High Performance Atto-Ampere Current Mirror
A Novel Measurement and Statistics of Similarity Cue for Edges in Contour Grouping
Omnidirectional Surveillance System for Digital Home Security
Secured Backup Routing Protocol for Ad Hoc Networks
Estimation of Approximate Entropy of Heart Rate Variability of Healthy Subjects and Investigation of the Effect of Meditation on It
Authentication Model Using Multiple Sensors Input
Integrated Change Detection Method for Landslide Monitoring
An Adept Edge Detection Algorithm for Human Knee Osteoarthritis Images
Microcontroller Based Low Cost Controlled Rectifiers Training Module for Power Electronics Laboratory
Efficient Conference Key Distribution for Dynamic Groups
Fuzzy Based Ant Miner Algorithm in Datamining for Hepatitis
Using a Novel Intelligent Location Management Strategy in Cellular Networks
SBA Backoff Algorithm to Enhance the Quality of Service in MANETs
Characterrization and Categorization of ECG
New Optimized IIR Low-Pass Differentiators
Analysis of SPIHT Algorithm Using Tiling Operations
An Efficient IFIR Filter Based Prototype Filter Design for Cosine Modulated Transmultiplexers
A Framework for RFID Systems' Security for Human Identification Based on Three-Tier Categorization Model
Performance Analysis of Orthogonal Coded Modulation Based on 6PSK and BPSK in Alerting Channel for GEO Mobile Satellite System
FTTH Network Management Software Tool: SANTAD ver 2.0
DSP Course Teaching Using Moodle
Image Watermarking Scheme Using Singular Value Decomposition, Quantization and Genetic Algorithm
Segmentation Algorithm for Multiple Face Detection for Color Images with Skin Tone Regions
Enhanced Performance of H.264 Using FPGA Coprocessors in Video Surveillance
Cloud Computing: Applying Issues in Small Business
A Nature Based Fusion Scheme for Multimodal Biometric Person Identity Verification at a Distance
Classification of Motor Imaginary Signals for Machine Commmunication - A Novel Approach for Brain Machine Interface Design
Novel CAD Design Methodology for Two Stage Opamp with Noise-Power Balance
Abnormality Detection from Medical Thermographs in Human Using Euclidean Distance Based Color Image Segmentation
Performance of R-Tree with Slim-Down and Reinsertion Algorithm
Time Delay Estimation Using One Microphone Inverse Filtering in Highly Reverberant Room
An Effective Surveillance System Using Thermal Camera
MOS Modelling and Simulation of Human Glottis
Rule Based Part of Speech Tagging of Sindhi Language
Face Recognition Using Principle Component Analysis, Eigenface and Neural Network
Access Control System: A Cost Effective Protection Scheme for Fiber Fault Identification
Contour Following Using Maximum Search Algorithm
New Approach for Approximating Parks McClellan Low-Pass Differentiators
Modeling and Simulation of Multi-operation Microcode-Based Built-In Self Test for Memory Faults
A Search of WOSF Equivalent Classes up to Order 5
Parallel Pipelined VLSI Architectures for Lifting-Based Two-Dimensional Forward Discrete Wavelet Transform
EEMLA: Energy Efficient Monitoring of Wireless Sensor Network with Learning Automata
Implementation of 3-Nose Strategy in Odor Plume-Tracking Algorithm
Performance Evaluation of Neural Networks for Shape Identification in Image Processing
Color Space Selection for Color Image Enhancement Applications
Improved Particle Swarm Optimization for Dual-Channel Speech Enhancement
An FFT Approach for Efficient OFDM Communication Systems
Waveform Set Design Using Hermite-Rodriguez Functions for CDMA Communications
SONAR Based Obstacle Detection and Avoidance Algorithm
Content Dependent Data Hiding on GSM Full Rate Encoded Speech
Design of Air Quality Remote Sensing Monitoring System and Parallel Dense Dark Vegetation Algorithm
A Novel Approach for Hiding Messages in Images
A Fully Digital Background Calibration Technique for Pipeline Analog-to-Digital Converters
Neural Synchronization with Queries
A Novel Method for Information Prediction
Classification Rule Construction Using Particle Swarm Optimization Algorithm for Breast Cancer Data Sets
CMMI and Six Sigma-Relationship & Integration
Predicting Traffic Bursts Using Extreme Value Theory
Performance Comparison of Novel, Robust Spatial Domain Digital Image Watermarking with the Conventional Frequency Domain Watermarking Techniques
Hybrid Face Recognition with Locally Discriminating Projection
A Study on Architecture of Event Driven Service System
Instrument Landing System: Enhanced Model
Natural Prosody Generation in TTS for Marathi Speech Signal
An Enhanced Implementation of Brain Tumor Detection Using Segmentation Based on Soft Computing
Modified Gabor Wigner Transform for Crisp Time Frequency Representation
Tamper Proofing 3D Models
An Approach to Distributed Remote Bridges Monitoring Based on Soft Middleware
Low Pass Filtering and Computing Cost
Towards Benchmarking of Video Motion Tracking Algorithms
ESA: Equilibrium-Based Spectrum Allocation Algorithm in CogMesh Network
Robustness Study on NARXSP-Based Stiction Model
A Robust Technique for Power Spectrum Estimation Using Multirate Observations
2009 International Conference on Signal Acquisition and Processing, ICSAP 2009, Kuala Lumpur, Malaysia, April 3-5, 2009
Single Channel Inverse Filtering of Room Impulse Response by Maximizing Skewness of LP Residual
Hybrid Self Organizing Map for Improved Implementation of Brain MRI Segmentation
BiCMOS Implementation of Cell Signaling for Cell Survival/Death
Cover Image Preprocessing for More Reliable LSB Replacement Steganography
Optimization of Neural Network Model Structures for Valve Stiction Modeling
Data Transmission over GSM Adaptive Multi Rate Voice Channel Using Speech-Like Symbols
Unified Approach for Next Generation Multimedia Based Communication Components Integration with Signaling and Media Processing Framework
Instantaneous Frequency Estimation Using Fractional Fourier Transform and Wigner Distribution
Research on Communication Controller between FlexRay and Modbus
A Discrete Wavelet Transform Based Approach to Hindi Speech Recognition
A Novel Method of DOA Estimation Based on Subarray Beamforming for Uniform Circular Arrays
3D Reconstruction Using Level-Based Approach in Stereopsis
Signal Separation of Nonlinear Time-Delayed Mixture: Time Domain Approach
Scheduling Cells with Multiple Output Ports for Input-Queued Switches
Neural Networks for Prediction of Loan Default Using Attribute Relevance Analysis
A Pattern Matching Technique for Multiple Sequences Alignment with GAP Consideration
G-Filter's Gaussianization Function for Interference Background
The Effect of Subcarrier-Based Channel Estimation on the BER Bound of Turbo Coded OFDM/SDMA System
A Method of Continuous Data Flow Embedded within Speech Signals
Natural Sounding Sub-Word Units Concatenation in Malay Speech Synthesis
A Sensor Set Selecting Algorithm Based on Confidence Detection in Cognitive Radio
Aerosol Particles Effects in FSOC: Analysis of Physical Properties, Dispersion and a Simple Model
Iris Recognition Using Vector Quantization
Improved Chaos Optimization Method in the Fractional Fourier Transform
Design and Development of Digital Signal Processor Based Phonocardiogram System
A Robust Multiuser Detection Based Scheme for Crosstalk Mitigation in DMT VDSL with Non-Gaussian Noise
Tsallis Entropy Based Contrast Enhancement of Microcalcifications
Research and Implement of Digital Receiver
Active Noise Suppression of SISO Model Using a Filtered X-LMS Algorithm
The Chaotic Behavior of the Chaos-Based Phase-Coded Pulse Train Signal
Fast H.264/AVC Intra Mode Decision Implementation on DM648 DSP
Enhanced Cost Effective Symmetric Key Algorithm for Small Amount of Data
An Integrated Library Management System for Book Search and Placement Tasks
Iris Verification Algorithm Based on Texture Analysis and its Implementation on DSP
A High Resolution Algorithm for Nonplanar Array with Arbitrary Geometry without Source Number Estimation
A Simple Background Interstage Gain Calibration Technique for Pipeline ADCs
A Method of FPGA Implementation for Gradient Adaptive Lattice Joint Processing Filter
A Music Information System Based on Improved Melody Contour Extraction
A Highly Linear Operational Transconductance Amplifier (OTA) with High Common Mode Rejection Ratio
Database Instances Generation Tool for White-Box Testing
Single-Channel Blind Identification with FIR Filter Design in Frequency Domain
Implementation and Optimization of Real-Time H.264/AVC Main Profile Encoder on DM648 DSP
DS-CDMA Descrambling and Despreading with the Cell Broadband Engine
Performance of Real-Time Kinematic Global Positioning System and Automatic Level Surveying for Height Determination - A Comparison
Palmprint Recognition Based on Discriminative Local Binary Patterns Statistic Feature
A Real-Time Note Transcription Technique Using Static and Dynamic Window Sizes
A Comparison of Kekre's Fast Search and Exhaustive Search for Various Grid Sizes Used for Colouring a Greyscale Image
Watermark Embedder Optimization for 3D Mesh Objects Using Classification Based Approach
Block Level Multi-Focus Image Fusion Using Wavelet Transform
Research on MANET Security Architecture Design
Fluid and Cooperative HMI for Vehicle - Pedestrian Interactions
Tribalism and Fake News: Descriptive and Predictive Models on How Belief Influences News Trust
Progressive Education: Augmented Reality Visualization of Human Anatomy on Hololens 2
Designing with Constraints: Real-Life UX Lessons
Quantifying Drivers' Physiological Responses to Take-Over Requests in Conditionally Automated Vehicles
Proceedings of the 9th Human-Computer Interaction Slovenia (HCI SI) Conference 2024, Ljubljana, Slovenia, November 8, 2024
Augmented Reality Training System Fusing the Triple Nature of Chemical Concepts
Proceedings of the 7th Human-Computer Interaction Slovenia Conference 2022, Ljubljana, Slovenia, November 29, 2022
Proceedings of the 6th Human-Computer Interaction Slovenia Conference, Koper, Slovenia, November 8, 2021
pARt Blocks: Programming with Physical Tangible Blocks and AR
E-Računi: Razlogi za Uporabo in Uporabniška Prijaznost
GoraNiNora: Kontekstno-odvisno obveščanje za varen obisk gora (GoraNiNora: Context-Dependent Dissemination of Mountaineering Safety Information)
Not Deep Enough: Autoencoders for Automatic Feature Extraction in Wireless Cognitive Load Inference
Towards Hand Gesture Recognition Prototype Using the iwr6843isk Radar Sensor and Leap Motion
Trustworthy Recommender Systems
Teach Me How to Improvise: Co-designing an Augmented Piano Training System for Improvisation
Estimation of Mathematical Anxiety Using Psycho-Physiological Data
Increasing Driver's Situational Awareness in Semi-automated Vehicles Using a Head-up Display
Name and Face Recall Cognitive Failure: Presenting a Short Literature Review and System Design
Proceedings of the 8th Human-Computer Interaction Slovenia (HCI SI) Conference 2023, Maribor, Slovenia, January 26, 2024
Explore, Edit, Guess: Understanding Novice Programmers' Use of CodeBlocks for Regression Experiments
The Role of Energetic Music in a Video Game: Analyzing its Effect on Immersion, Perception and Performance
Predicting User Engagement in Video Advertisement: Insights from Pupillary Response and Heart Rate
Predicting the Gullibility of Users from their Online Behaviour
Imputing Missing Answers in the World Values Survey
Ranking Footballers with Multilevel Modeling
Cross-Country Analysis on Connection Between Financial Lifestyle and Happiness
Recognition of Eudaemonic and Hedonic Qualities from Song Lyrics
Teaching Shortest Path Algorithms with a Robot and Overlaid Projections
Primerjava Vnosa Besedila v Virtualnem Okolju na Različnih Postavitvah Tipkovnice
An Overview of Music Retrieval and Recommendation: From Describing Sound to Asking What is Fair
User Experience and Interface Design for a Digital Pet Adoption Platform
Investigating Sensor Modality Informativeness and Stability for Behavioural Authentication
Playing with the Artworks: A Personalised Artwork Experience
Music and Myth: The Relationship Between Music Preference and Unverified Beliefs
Exploratory Analysis of Users' Interactions with AR Data Visualisation in Industrial and Neutral Environments
Integrating Environmental Awareness Into NPCs: Contextual Conversational Interaction in Games
Retzzles: Do Jigsaw Puzzle Actions on Interactive Display Maps Increase the Retention of Map Information?
The Effects of Driving Disengagement on Response Time in Transition to Manual Driving Mode
Deep Reinforcement Learning Compared to Human Performance in Playing Video Games
UX Design: the Impacts on Physiological Responses
The Role of Personality-Tailored Notifications in Mobile-Based Behavior Change Intervention
Driver Monitoring Systems in Automated Interactions: A Realtime, Thermographic-based Algorithm
Prediction of Eudaimonic and Hedonic Movie Characteristics from Subtitles
Manipulating and Augmenting Digital Content Through Physical Counterpart
Method for Inferential Continuous Assessment of Driver's Situational Awareness
Gadgets in Psychophysiology
What's the Matter with Vehicle Automation Ethics? ...or: What Really Matters in Vehicle Automation Ethics
GazeHD: Towards Measuring Effect of Depth of Field Controlled by Eye Tracking in 3D Environments
Accurate Proximity Sensor for Parking Assistance
Understanding and Managing Quality of Experience for Emerging XR Services
Native IP Multicast Support in MPLS
Generalized Multicast Congestion Control. An Efficient Multi-rate Scheme Using Single-rate Control
A bandwidth analysis of reliable multicast transport protocols
Anycast in Locality-Aware Peer-to-Peer Overlay Networks
The Multicast Bandwidth Advantage in Serving a Web Site
Hierarchical reliable multicast: performance analysis and placement of proxies
Building Semantic Peer-to-Peer Networks upon CAN
MARKS: Zero Side Effect Multicast Key Management Using Arbitrarily Revealed Key Sequences
Multicast pricing (panel session)
FLID-DL: congestion control for layered multicast
Mobility (panel session)
Watercasting: Distributed Watermarking of Multicast Media
M-HBH - Efficient Mobility Management in Multicast
A Multicast Transport Protocol for Reliable Group Applications
Extremum Feedback with Partial Knowledge
Multicast congestion control (invited talk)
Quality of Service Multipath Multicast Protocol
Impact of Tree Structure on Retransmission Efficiency for TRACK
Rendezvous Points-Based Scalable Content Discovery with Load Balancing
An Evaluation of Topology-sensitive Subgroup Communication Mechanism in Large-scale Multicast Applications
Issues in Designing a Communication Architecture for Large-Scale Virtual Environments
Tree Layout for Internal Network Characterizations in Multicast Networks
Scalable IP Multicast Sender Access Control for Bi-directional Trees
A Preference Clustering Protocol for Large-Scale Multicast Applications
Extremum Feedback for Very Large Multicast Groups
Congestion control (panel session)
Incentive Based Inter-domain Routing
Scalable Team Multicast in Wireless Ad hoc Networks Exploiting Coordinated Motion
Multicast reliability (panel session)
Reducing Replication of Data in a Layered Video Transcoder
Enhancing Peer-to-Peer Parallel Data Access with PeerFecT
A geocast architecture for mobile cellular networks
The Direction of Value Flow in Connectionless Networks
Buffer requirements and replacement policies for multicast repair service
Universal IP Multicast Delivery
Providing Interactive Functions through Active Client-Buffer Management in Partitioned Video Multicast VoD Systems
Policies for using replica groups and their effectiveness over the Internet
Networked Group Communication, Fourth International COST264 Workshop, NGC 2002, Boston, MA, USA, October 23-25, 2002, Proceedings
A hierarchical multicast monitoring scheme
Improving Efficiency of Application-Level Multicast with Network Support
Design and Evaluation of a Low Density Generator Matrix (LDGM) Large Block FEC Codec
Networked Group Communication, Second International COST264 Workshop, NGC 2000, Stanford, CA, USA, November 8-10, 2000, Proceedings