yusuke1997/dblp-id-title huggingface dataset:
Texture Analysis of Hepatocellular Carcinoma and Liver Cysts in CT Images
Machine Assessment of Shape Copying Tests using Zernike Moment Descriptors
A Video Surveillance System under Varying Environmental Conditions
Classification of Hemodynamics from Perfusion MR Brain Images using Noiseless Independent Factor Analysis
Phase Estimation of Minimum Phase Systems using the Hartley Phase Cepstrum
Model Recognition for Estimation of Direction of Arrival using Extended Kalman Filter
Proceedings of the IASTED International Conference on Signal Processing, Pattern Recognition, and Applications, SPPRA 2006, February 15-17, 2006, Innsbruck, Austria
Acoustic Source Localization for Human Computer Interaction
Adaptive Sizing Tracking based on Probabilistic Methods
Modified SAFIA Utilizing Aggregated Microphones
A Non-Parametric Classification Strategy for Remotely Sensed Images using Both Spectral and Textural Information
A Comprehensive Analysis for Relevance Feedback in CBIR System
3D Expressive Face Model-based Tracking Algorithm
3D Active Doppler Tracking in Air using Kalman Filter
A New Uncompressed-Domain Video Watermarking Approach Robust to H.264/AVC Compression
Point Symmetry based Corner Detector with Distance and Phase Weight Functions
Automatic Lip-Synchronization using Linear Prediction of Speech
Denoising of Aerial Imagery using Higher-Order Statistics
Cutting Across Visual MPEG Standards for Video Scalability
Visual Information Retrieval: Minerva Video Benchmark
Texture Discrimination and Analysis using Optimized Bi-Orthogonal Wavelet Bases
A Performance Comparison of Estimation Filters for Adaptive Imagery Tracking
Time-Frequency Analysis for Voice Activity Detection
Hand as Natural Man-Machine Interface in Smart Environments
TasteIT Analyzing chemical sensor data using fuzzy logic
Controlling aseptic sterilization processes by means of a multi-sensor system
2011 IEEE Workshop On Merging Fields Of Computational Intelligence And Sensor Technology, CompSens 2011, Paris, France, April 12, 2011
Precise indoor localization with low-cost field-programmable gate arrays
Robot routing using clustering-based parallel genetic algorithm with migration
Locating sensors with fuzzy logic algorithms
Reconstructing the geometry of an object using 3D TOF Camera
SRD - Towards a system for the in-situ detection of the stapedius reflex
Experimental research of high-speed electrical motor supercharger dynamic properties
Intelligent sensing of biomedical signals - Lung tumor motion prediction for accurate radiotherapy
Multiscale Analysis of False Neighbors for state space reconstruction of complicated systems
Languages, Compilers and Run-Time Systems for Scalable Computers, Third Workshop, LCR 1995, Troy, NY, USA, May 1995
InterWeave: A Middleware System for Distributed Shared State
Compiler and Run-Time Support for Adaptive Load Balancing in Software Distributed Shared Memory Systems
Replicating memory behavior for performance prediction
Optimizing Data-Parallel Stencil Computations in a Portable Framework
Proceedings of the 7th Workshop on languages, compilers, and run-time support for scalable systems, LCR '04, Houston, Texas, USA, October 22-23, 2004
Non-Linear Array Dependence Analysis
Efficient data driven run-time code generation
Path Collection and Dependence Testing in the Presence of Dynamic, Pointer-Based Data Structures
Distributed Memory Implementation of a Shared-Address Parallel Object-Oriented Language
Data Flow Analysis Driven Dynamic Data Partitioning
Realistic CPU Workloads through Host Load Trace Playback
Run-Time Support for Adaptive Heavyweight Services
Supporting Self-Adaptivity for SPMD Message-Passing Applications
An orchestration language for parallel objects
Data-parallel Language Features for Sparse Codes
Enabling Primitives for Compiling Parallel Languages
The Statistical Properties of Hoast Load
Loop Transformations for Hierarchical Parallelism and Locality
Compiling for Multithreaded Multicomputer
A New Compiler Technology for Handling HPF Data Parallel Constructs
A Path to Scalability and Efficient Performance
More on Scheduling Block-Cyclic Array Redistribution
Instrumentation Database for Performance Analysis of Parallel Scientific Applications
Achieving Robust, Scalable Cluster I/O in Java
Language and Compiler Support for Out-of-Core Irregular Applications on Distributed-Memory Multiprocessors
Symmetric Distributed Computing with Dynamic Load Balancing and Fault Tolerance
Detection of Races and Control-Flow Nondeterminism
Dynamic topology adaptation of virtual networks of virtual machines
Looking at the server side of peer-to-peer systems
Optimizing Mutual Exclusion Synchronization in Explicitly Parallel Programs
Compiling Assembly Pattern on a Shared Virtual Memory
Runtime Support for Portable Distributed Data Structures
Evaluating the Effectiveness of a Parallelizing Compiler
Design tradeoffs in modern software transactional memory systems
On the Automatic Parallelization of Sparse and Irregular Fortran Programs
The Quality of Partitions Produced by an Iterative Load Balancer
Locality Enhancement for Large-Scale Shared-Memory Multiprocessors
A Coordination Layer for Exploiting Task Parallelism with HPF
Building a Conservative Parallel Simulation with Existing Component Libraries
A programming language for ad-hoc networks of mobile devices
Flexible and Optimized IDL Compilation for Distributed Applications
A Compiler Strategy for Shared Virtual Memories
A Case for Combining Compile-Time and Run-Time Parallelization
The Performance Impact of Address Relation Caching
Languages, Compilers, and Run-Time Systems for Scalable Computers, 5th International Workshop, LCR 2000, Rochester, NY, USA, May 25-27, 2000, Selected Papers
Expressing Irregular Computations in Modern Fortran Dialects
Point-To-Point Communication Using Migrating Ports
Communication-Buffers for Data-Parallel, Irregular Computations
Communication Generation for Cyclic(K) Distributions
Menhir: An Environment for High Performance Matlab
Improving Locality in Out-of-Core Computations Using Data Layout Transformations
Efficient Interprocedural Data Placement Optimisation in a Parallel Library
MARS: A Distributed Memory Approach to Shared Memory Compilation
Run-Time Support for Distributed Sharing in Typed Languages
An Infrastructure for Monitoring and Management in Computational Grids
The Design of Microkernel Support for the Sr Concurrent Programming Language
QoS Aspect Languages and Their Runtime Integration
Overcoming barriers to restructuring in a modular visualisation environment
Addressing the trust asymmetry problem in grid computing with encrypted computation
An Improved Type-Inference Algorithm to Expose Parallelism in Object-Oriented Programs
Comparing Ethernet and Myrinet for MPI communication
Bottom-Up Scheduling with Wormhole and Circuit Switched Routing
Static Analysis for Guarded Code
Performance Evaluation of OpenMP Applications with Nested Parallelism
Detecting Read-Only Methods in Java
Runtime support for integrating precomputation and thread-level parallelism on simultaneous multithreaded processors
UPMLIB: A Runtime System for Tuning the Memory Performance of OpenMP Programs on Scalable Shared-Memory Multiprocessors
Communication Generation and Optimization for HPF
The Efeect of Contention on the Scalability of Page-Based Software Shared Memory Systems
Memory access analysis and optimization approaches on splay trees
Measuring Consistency Costs for Distributed Shared Data
Languages, Compilers, and Run-Time Systems for Scalable Computers, 4th International Workshop, LCR '98, Pittsburgh, PA, USA, May 28-30, 1998, Selected Papers
InterAct: Virtual Sharing for Interactive Client-Server Applications
Design of the GODIVA Performance Measurement System
Thread Migration and Load-Balancing in Heterogeneous Environments
Prediction Based Task Scheduling in Distributed Computing
Load Balancing with Migrant Lightweight Threads
Load Balancing and Data Locality Via Fractiling: An Experimental Study
General parallel computations on desktop grid and P2P systems
High Level Programming Methodologies for Data Intensive Computations
Integrating Data and Task Parallelism in Scientific Programs
Machine-Independent Parallel Programming Using the Divide-and-Conquer Paradigm
A Framework for Efficient Register Allocation through Selective Register Demotion
Comparing Reference Counting and Global Mark-and-Sweep on Parallel Computers
User Defined Compiler Support for Constructing Distributed Arrays
Adaptive Parallelism for OpenMP Task Parallel Programs
Refined Single-Threading for Parallel Functional Programming
Speculative Parallelization of Partially Parallel Loops
Optimizing Computational and Spatial Overheads in Complex Transformed Loops
IMPuLSE: integrated monitoring and profiling for large-scale environments
The Relationship Between Language Paradigm and Parallelism: The EQ Prototyping Language
Memory System Support for Irregular Applications
A Comparison of Locality Transformations for Irregular Codes
Automatic Distribution of Shared Data Objects
Runtime Support for Programming in Adaptive Parallel Environments
Compiler-generated staggered checkpointing
Compilation and Runtime-Optimizations for Software Distributed Shared Memory
A Collective I/O Scheme Based on Compiler Analysis
A Framework for Specializing Threads in Concurrent Run-Time Systems
Distributed Tree Structures for N-Body Simulation
The Hierarchically Tiled Arrays programming approach
A Performance Prediction Framework for Data Intensive Applications on Large Scale Parallel Machines
Combined compile-time and runtime-driven, pro-active data movement in software DSM systems
CDA Loop Transformations
Integrated Task and Data Parallel Support for Dynamic Applications
Toward Compiler Support for Scalable Parallelism Using Multipartitioning
Standard Templates Adaptive Parallel Library (STAPL)
Contract-Based Discovery and Composition of Web Services
Software Architecture Modeling & Analysis: A Rigorous Approach
Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey
Quantitative Analysis of Web Services Using SRMC
An Introduction to Symbolic Trajectory Evaluation
Learning of Automata Models Extended with Data
Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning
A Tutorial on Uppaal
Hardware Design and Simulation for Verification
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms
Tackling Large State Spaces in Performance Modelling
Formal Specification and Testing of Model Transformations
Quantitative Abstractions for Collective Adaptive Systems
The IF Toolset
Performance Modelling and Markov Chains
Introduction to Generalized Stochastic Petri Nets
Object Constraint Language (OCL): A Definitive Guide
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools
Dependability and Performance Assessment of Dynamic CONNECTed Systems
From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms
Modeling of Architectures
Simulation Methods in Systems Biology
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management
Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events
Dealing with Node Mobility in Ad Hoc Wireless Network
MDE Basics with a DSL Focus
Fundamentals of Session Types
Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications
Data Representation and Efficient Solution: A Decision Diagram Approach
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation
Model Transformations in Non-functional Analysis
Context Synthesis
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency
Petri Nets for Systems and Synthetic Biology
Embedded Software Analysis with MOTOR
Mobile Distributed Programming in X-Klaim
Stochastic Model Checking
Fluid Models in Performance Analysis
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Introduction to Software Performance Engineering: Origins and Outstanding Problems
Refinement and Theorem Proving
SAT-Based Verification Methods and Applications in Hardware Verification
Process Algebras in Systems Biology
Software Architecture for Correct Components Assembly
Synthesis and Composition of Web Services
Dependability of Adaptable and Evolvable Distributed Systems
Deadlock Detection in Linear Recursive Programs
Software Performance Modeling
Analysis of Executable Software Models
Architecture Based Evolution of Software Systems
Software Architecture and Dependability
Introduction to Active Automata Learning from a Practical Perspective
Refined Ownership: - Fine-Grained Controlled Internal Sharing
Verification of Concurrent Systems with VerCors
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form
Membrane Computing as a Modeling Framework. Cellular Systems Case Studies
Validating Distributed Object and Component Designs
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi
Formal Cell Biology in Biocham
Service Interaction: Patterns, Formalization, and Analysis
Stochastic Process Algebras
History-Dependent Automata: An Introduction
The Less Well Known UML - A Short User Guide
Abstractions for Validation in Action
Spatial Representations and Analysis Techniques
From System Goals to Software Architecture
Automation of Quantitative Information-Flow Analysis
Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Interoperability in Complex Distributed Systems
Probabilistic Semantics and Program Analysis
Performance Analysis of Mobile Systems
Building Efficient Decision Procedures on Top of SAT Solvers
Calculi for Service-Oriented Computing
The BlenX Language: A Tutorial
Dynamic Power Management Strategies Within the IEEE 802.11 Standard
Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
The CONNECT Architecture
Software Performance Antipatterns: Modeling and Analysis
Hierarchical Modeling for Computational Biology
Graph Transformations for MDE, Adaptation, and Models at Runtime
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems
Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
A Survey of Markovian Behavioral Equivalences
Contract-Based Discovery and Adaptation of Web Services
BDD-Based Hardware Verification
Real Time and Stochastic Time
Hermes: Agent-Based Middleware for Mobile Computing
Measurement-Based and Universal Blind Quantum Computation
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)
Performance Evaluation at the Software Architecture Level
Coordinating Multicore Computing
A Gentle Introduction to Multiparty Asynchronous Session Types
Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Mean-Field Limits Beyond Ordinary Differential Equations
Hybrid Systems and Biology
Automatic Test Pattern Generation
Combining Monitoring with Run-Time Assertion Checking
Model Checking of Biological Systems
Timed Petri Nets: Efficiency of Asynchronous Systems
Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Cells in Silico: A Holistic Approach
Security and Trust
Information Theory and Security: Quantitative Information Flow
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures
Spatial Logic and Spatial Model Checking for Closure Spaces
Software Architecture for Mobile Computing
On the Semantic Foundations of Standard UML 2.0
Modeling and Verification of Components and Connectors
Model-Based Testing and Some Steps towards Test-Based Modelling
Model Transformations
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions
Application-Layer Connector Synthesis
The Application of Dependence Analysis to Software Architecture Descriptions
ODE Analysis of Biological Systems
Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures
Aggregate Programming: From Foundations to Applications
Floating-Point Verification Using Theorem Proving
Pathway Logic
Formal Methods in Testing Software Architectures
Expressiveness of Timed Events and Timed Languages
Network Swapping
The Calculus of Looping Sequences
Asynchronous Session Types: Exceptions and Multiparty Interactions
Performance and Security Tradeoff
An Introduction to Model Versioning
Automated Verification Techniques for Probabilistic Systems
Decision Problems for Timed Automata: A Survey
Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Faculty Perceptions of Blackboard Learn as the Main Platform for Teaching and Learning
A Roadmap for intelligent HVAC control in Vehicle Cabin
Automating the Diagnosis of Cucumber Plant Diseases Using Machine Learning
Image Generation Using Different Models Of Generative Adversarial Network
The Changing World Of Sales Skills: From Live to a Mix of Live and Virtual Selling
Comparison between Transfer Learning and Data Augmentation on Medical Images Classification
Enhancing the Performance of Sign Language Recognition Models Using Machine Learning
A New e-Tendering Model For Fully Automated Tendering Process
Design and Implementation of a Two-Stage Tiny Bootloader for Flash-Constrained Microcontrollers Using RAM Execution
Sensitivity of different optimization solvers in LSTM algorithm for temperature forecast over Mars at Jezero Crater landing site
A Novel Approach to a Generalized Classification of Autonomous UAVs
DiscimusRW: An E-Learning Web Application for Classifying Random Walks with Machine Learning
The effects of using e-business to develop and improve the of education and business management
Arabic Semantic Similarity Approaches - Review
Embedded IoT Flowerpot Irrigation System
Software Verification of New Linear and Nonlinear Models of the Arterial System
Location-Based Services Protection via Multi-Layered System
A Semantically Enriched Goal-Oriented Referential Integrity Model in Systems of Systems Context
How Machine Learning Can Help Developers
[1] Energy consumption clustering using machine learning: K-means approach
A CASE Tool for JAVA Programs Logical Errors Detection: Static and Dynamic Testing
Filling the Gaps: A Comprehensive Review of Image Inpainting
VSK - A Tripartite Development Model based on the V-Model, the Scrum, and the Kanban Methodologies
Means to Support the Ends: Forums that Escape the Official Gaze in the Educational Institutions
Evaluation of Class Decomposition based on Clustering Validity and K-means Algorithm
Enhanced accuracy of deep learning method for fruit images classification
Integrating Bibliometrics and Qualitative Content Analysis for Conducting a Literature Review
Smart Assistive 3D Tool to Remedy Children's Learning Difficulties for Distance Education
Sun Stimulator for Daylight System
The Reality of using open source integrated library systems in Omani academic libraries
Proactive Charging Mechanism for Wireless Rechargeable Sensor Networks
Application of Encryption Algorithms with RMI Protocol
Detection of Covid-19 Virus using Supervised Machine Learning Algorithms
Application of Big Data Analytics in Hashemite Kingdom of Jordan: Perspectives on the Mobile Telecommunications Industry
Leveraging Deep Learning for Computer Vision: A Review
The Impact of Recommendation System Provided Based on Online Learning Readiness in the MOOC Environment
Real-time vehicle detection and classification using deep-transfer learning
Key Factors Influencing Consumers' Behavioral Intention towards Adopting and Using Mobile Commerce Services Amid and Post COVID-19 Pandemic
A Fast Clustering Algorithm for Analyzing Big Data Generated in Ubiquitous Sensor Networks
Analyzing Hepatotoxicity of Marine Venoms Using Artificial Intelligence: An Ecoinformatics Perspective
A Review of Indoor UAV-based Tracking Systems: Classification, Status, and Challenges
Machine learning Scheme for Managing Virtual Computing Resources in Cloud Market
Students' Perception of Online Assessment During the COVID-19 Pandemic: The Case of Undergraduate Students in the UAE
A Comprehensive Survey for Machine Learning and Deep Learning Applications for Detecting Intrusion Detection
Comparison of Tree Based Classifications and Neural Network Based Classification
Keystroke Identifier Using Fuzzy Logic to Increase Password Security
Design and Implementation of a Jamming System for Smart Phone Using Cognitive Radio Network
Transfer Learning to improve Arabic handwriting text Recognition
Security Issues in IPv6 over Low-Power Wireless Personal Area Networks (6LoWPAN): A Review
Enforcing Social Distancing with YOLO Algorithm Utilizing Object-to-Object Distance
Optimization of Machine Downtime Reduction: A DMAIC Approach in Ceramics Manufacturing Industry
Evaluating the Impact of Multi-Layer Data on Machine Learning Classifiers for Predicting Student Academic Performance
Fuzzy Based Threat Assessment Model (FTAM)
An Enriched e-Learning Model to Teach Kids in Arab Countries How to Write Code
Machine Learning in Higher Education: Predicting and Mitigating Student Dropout
A Stable Fault tolerance Algorithm for Leader Crash in Distributed Honeycomb Networks
Sentiment Analysis of Remote Worker Tweets During COVID-19
Top COVID-19 100 vaccine papers: An Altmetric study
Assessing the Stress-Reducing Effects of Quranic Listening: An EEG-Based Classification Study
Legal Basis of Civil Liability for Applications of Artificial Intelligence (Particularly Robotics) According to the UAE Civil Transactions Law
25th International Arab Conference on Information Technology, ACIT 2024, Zarqa, Jordan, December 10-12, 2024