yusuke1997/dblp-id-title huggingface dataset:
Integrating vulnerability risk into the software process
Improving quality of service for streaming multimedia applications in ubiquitous mobile environment
NotiFly: enhancing design through claims-based personas and knowledge reuse
The rectilinear Steiner tree problem: algorithms and examples using permutations of the terminal set
Incorporating wireless into the computer science curriculum
Facilitating web-based student team collaboration with MessageGrid
Plagiarism detection in software designs
A distributed mutual exclusion solution derived from real-life examples
Hypertext document generator in a computer supported cooperative work environment
An algorithm for hoisting
PlaneView3D: an online graphics visualization tool
Fuzzzy constraint network topology and evolutionary hill-climbing
Privacy-preserving mining by rotational data transformation
The role of software measures and metrics in studies of program comprehension
Hybrid evolutionary path planning via visibility-based repair
Edge detection using wavelets
An Ad-Hoc Communication Assisted Distributed Particle Swarm Optimization Scheme for AUVs Underwater Search Task
Local exhaustive testing: a software reliability tool
Improving offensive cyber security assessments using varied and novel initialization perspectives
DOCSIS performance evaluation: piggybacking versus concatenation
Efficient edge detection and object segmentation using Gabor filters
Fast termination criterion for recursive subdivision of Bézier curves
Student development of web services for the STEM disciplines
A computer assisted instruction simulation model for teaching play callers football strategy
An Attempt at Improving Density-based Clustering Algorithms
A Comparison of Two Approaches to Support Methods Time Measurement in an Automotive Factory
Using visual attention to extract regions of interest in the context of image retrieval
Proceedings of the 14th annual Southeast regional conference, ACM-SE 1976, Birmingham, Alabama, USA, April 22-24, 1976
Evaluation of Thermal Stress on IoT-based Federated Learning
Database management for multimedia distributed collaborative writing
Atomistic visualization: on-the-fly data extraction and rendering
Improving workplace literacy in Alabama-proposal for a telecommunications network
Computerized system for evaluation of coronary artery disease by noninvasive techniques
LOG10
A comparison of parametric and non-parametric techniques for pattern classification on Canadian agricultural loan data
On the optimization of QOS in ATM networks
A graph for NP-complete problems
Hierarchical decomposition algorithm for hardware/software partitioning
Mileena Malign
guitarlib : modeling stringed instruments using songlib
Trust-based Enrollment in a Group in a Distributed Setting
Synthesizing abstract data type specifications
Performance of a multiple-entry-node concurrent skew heap on shared-memory multiprocessor
Correspondences between statecharts, event structures, and concurrent regular expressions
Towards a "humans-first" computer science curriculum
A comparative study of mapreduce and hive based on the design of the information gain algorithm for analytical workloads
Recent advances in mobility modeling for mobile ad hoc network research
Integrating a closed lab component in computer architecture
Addressing the middleware configuration challenges using model-based techniques
A new curriculum for hardware-based network intrusion detection
Idiopathic Interstitial Pneumonias Medical Image Detection Using Deep Learning Techniques: A Survey
A foreign language test construction system
High false positive detection of security vulnerabilities: a case study
Two constructions of C++ subclasses from functions
The bipartite clique: a topological paradigm for WWWeb user search customization
Software protection with increased complexity and obfuscation
Understanding the intruder through attacks on cryptographic protocols
The use of dynamic tracing for troubleshooting
Modeling Particle Randomness: A Pseudorandom Number Generator
Constructing an even grammar from a 2-element sample
A mathematical theory of correct executions in temporal databases supporting concurrent simulations
Dynamic game difficulty balancing for backgammon
An empirical study of active networks
Superpixel-based knowledge infusion in deep neural networks for image classification
Toward a defect prediction model of exception handling method call structures
Systematically derived instruction sets for high-level language support
Effect of grain size on the performance of systolic array
Supporting undergraduate computer science education using educational robots
Simulating a virtual fisheye lens for the production of full-dome animations
A Survey on Conversational Search and Applications in Biomedicine
Replay Ink : web based Ink submission and playback in MessageGrid
Top-down design of a system summary program
A study of user responses in a spoken language system with implicit confirmation
Techniques for discovering multiple equivalent solutions
An efficient hybrid clustering algorithm for molecular sequences classification
Determining the membership values to optimize retrieval in a fuzzy relational database
Risk Prediction of Peer-to-Peer Lending Market by a LSTM Model with Macroeconomic Factor
Extensions of variables and indexing conventions
Initial experiences teaching problem solving to computing freshmen (using robots)
A new algorithm to generate a formula for the sum of integer powers
Simple certified e-check with a partial PKI solution
On data error control problems in medical information systems
Enabling citizen roboticists
Lookahead page placement
An approach to a methodology which is easy to use and application domain independent
An evidence-based software engineering evaluation approach
A study of fuzzy clustering within the IGSCR framework
A collaborative problem-solving framework for mobile devices
Matching groupware to user needs: an exploratory study
Construction of a smooth multivariate simulation environment from a finite one-to-one mapping
Design and model for a computer supported cooperative environment for CASE and CAD applications
Facial feature extraction for face characterization
Developing a university Wikipedia
Using podcasts and tablet PCs in computer science
A mini-computer based interactive signal analysis system
Human factors and software reuse: the manager's impact
A light-weight solution for large sparse Markov processes
An O(V) algorithm M for computing transitive reduction of a planar acyclic digraph
Metrics for class cohesion and similarity between methods
An efficient access control model for schema-based relational storage of XML documents
The role of literate programming in the software engineering life-cycle
An IBM 370 BC mode simulator for a first course in operating systems
The SONET ring transport planning problem
A computational investigation of wireless sensor network simulation
A tabular parsing algorithm with error recovery
Intelligent tutoring system for CS-I and II laboratory
On merging user-supplied topic ontologies on the semantic web
An assessment of organizational practices in data processing environments
Toward a resourceful method of software fault tolerance
A mathematical model of the trim command in NAND-flash SSDs
Student game design exposition
Adjusting assortativity in complex networks
Optimizing XML-to-SQL query translation for analytical databases using intelligent path derivation
FunFonts: introducing 4 th and 5 th graders to programming using Squeak
Automated Alphabet Detection from Brain Waves
A framework for access control model in enterprise healthcare via SAML
GSPM models: sensitivity analysis and applications
Imputing trust network information in NMF-based collaborative filtering
Adapting binary fitness functions in Genetic Algorithms
Wolves in sheep's clothing? The effects of "hidden" parental mutation on genetic algorithm performance
Manipulation of information representations
How 'unused' codewords make a redundant code
Synthesis of combinational circuits using Galois field arithmetic
Logical model for administration policy specification
A greedy hypercube-labeling algorithm
Class development and testing in the small
An efficient table-driven decoder for one-half rate convolutional codes
Setting up a Web100-Dummynet testbed for research in transport layer protocols
Mapping problems within heterogeneous distributed data base systems
Linear programming applications to the evaluation of the pre-hospital care phase of an emergency medical services system
Automated auditing of design principle adherence
Web document classification using modified decision trees
A Quantum Computing Arithmetic-logic Unit
Computer determination of the inbreeding coefficient, coefficient of relationship, and the ancestral composition in closed beagle colony
ALFORM: A Language FOr Record Maintenance
SolarCAST: using widely accessible environmental variables to forecast solar power
Profile of a typical computer science department
Web-based 3D visualization system for anatomy online instruction
Co-Creating Well-Being and Health Options Using Internet Technologies
Mining frequent itemsets with partial enumeration
An information science simulator for epidemic disease
The C preprocessor and Jensen's device
Using software birthmarks and clustering to identify similar classes and major functionalities
Parallelization of local search for Euclidean Steiner tree problem
Referential integrity: semantic glue for relational database
Automatic and user-assisted test generation: a rough set approach
Two-level control of a real-time data acquisition and control system for studying the electrical activity of the heart
Scanning workstation memory for malicious codes using dedicated coprocessors
Visual aids to create a knowledge base with reusable objects across disciplines
Evaluating Gabor preprocessing for SIFT-based ocular recognition
BLITZ V, a computer chess program
Extracting knowledge in the internet age
Closely coupled multiprocessor systems
Computer-aided software engineering in a computer supported cooperative environment
A mobility camouflaging evaluation tool
Proceedings of the 28th Annual Southeast Regional Conference, 1990, Greenville, South Carolina, USA, April 18-20, 1990
Stabilized approximate inverse preconditioners for indefinite matrices
Comparison of microarray image analysis software
Evolution of traditional digital forensics in virtualization
Solving billing issues in ad hoc networks
Project management for the 21 st century: supporting collaborative design through risk analysis
Bounded Monte Carlo integration using Java
Minimizing broadcast latency in ad hoc wireless networks
STEM Hip-hop Pedagogy: A Meta-synthesis on Hip-hop Pedagogy STEM Interventions Tools for Underrepresented Minorities in K-12 Education
On the convergence of image compression and object recognition
A programming language for implementing computational models
A computer network implemented on a single multi-port timeshare facility
Region-growing techniques based on texture for provincing the ocean floor
A new approach to the traveling salesman problem
Character Development to Facilitate Retention in a Storytelling Robot
Code template inference using language models
Identifying students who may experience difficulty in an introductory computer science course
Design of a microprocessor based programmable system to process temperature information from a hot surface
Application development for desktop and PDA-style devices: issues and lessons learned
GPU Acceleration of the Advanced Regional Prediction System (ARPS)
Simulation coupled learning for a robotic opponent
Distributed characteristics of subject oriented programming: an evaluation with the process and object paradigms
Stopping traffic: discretionary access control in a multidatabase system
Sentiment Analysis for the Social Media: A Case Study for Turkish General Elections
Tricolorable torus knots are NP-complete
Modular development and verification of domain requirements via model checking
NP-completeness of the domatic number problem on circular arc graphs
Blending object-oriented design principles and software engineering practices into an undergraduate architecture simulator project
Visualization of accident data
The creation of a service queue management system on barbershop administration
Parallel integration of planetary systems on GPUs
Recursion detection testing on software components
Developing a tokenizer and morphological parser for English text in C#
The effective employment of students in the development of information systems for state government
Bringing the data mart into the curriculum
Similarity mapping of software faults for self-healing applications
Comparative lexical analysis of FORTRAN code, code comments and English text
A Chatbot-based Mobile Application to Predict and Early-prevent Human Mental Illness
The FHDL PLA tools
High precision automatic scheduling of periodic task sets for microcontrollers
Proceedings of the 50th Annual Southeast Regional Conference, 2012, Tuscaloosa, AL, USA, March 29-31, 2012
Categorization of common coupling in kernel based software
Usability testing of notification interfaces: are we focused on the best metrics?
A free, readily upgradeable, interactive tool for teaching encryption algorithms
Ultra-fast seam carving for real time object detection and removal
Implementation of a linear transitive closure algorithm in relational database design
Bootstrapping methodology for the Session-based Anomaly Notification Detector (SAND)
Escape from the Python's Den: An Educational Game for Teaching Programming to Younger Students
Structure of TUCC: hardware and software
A FORTRAN based computer program to perform goodness of fit testing of empirical data to theoretical probability distributions
An online system for Medicaid file maintenance
A data exchange paradigm for microprocessor-based groupware applications
Mining repositories to reveal the community structures of open source software projects
An instance-based approach for domain-independent schema matching
The development of a Voice System that interacts with a student information database
Developing computational models: some aspects of conceptualization and implementation
Exploring Computing Career Recruitment Strategies and Preferences for Black Computing Undergraduates at HBCUs
Novel meshes for multivariate interpolation and approximation
A Fast Filtering Algorithm for Massive Context-free Grammars
Parallel inverse QR decomposition
Handling uncertainty and exceptions with defeasible dependencies
Use of a clinical laboratory computer to warn of possible drug interference with test results
Improving code compression using clustered modalities
An approach to the programming languages course
Collaborative information assurance capacity building at a consortium of colleges and universities
Postprocessor for structured FORTRAN
Some properties of relational expressions
Rules for migrating from ER and EER diagrams to Object-Relationship (OR) diagrams
A model-based design framework to achieve end-to-end QoS management
Applying Reinforcement Learning to Plan Manufacturing Material Handling Part 1: Background and Formal Problem Specification
Scanning digitizers: alleviating the data input bottleneck to graphic systems
An algorithm for baseline correction of MALDI mass spectra
System architecture to integrate and query XML data
An architecture for high-speed execution of upper layer (4-7) network protocols
Searching for adaptive resource allocation strategies in Arabidopsis lyrata using genetic algorithms
GEFE: genetic & evolutionary feature extraction for periocular-based biometric recognition
Comprehensive workflow mining
Applying static analysis to high-dimensional malicious application detection
Geographic data base image processing at Mississippi State
Proceedings of the 15th annual Southeast regional conference, ACM-SE 1977, Hattiesburg, Mississippi, USA, April 18-20, 1977
Non-parametric estimation techniques in support of query decomposition strategies for heterogeneous distributed database management systems
Teaching Art Creation with Augmented Reality and Aero
A drawback of current anti-virus simulations: the need for background traffic
Software extensibility and portability with macro processors
Toward Predicting Success and Failure in CS2: A Mixed-Method Analysis
A domain-specific modeling language for scientific data composition and interoperability
Model-driven integration of federated event services in real-time component middleware
Adding decision-making capability to robots
A machine learning method with hybrid neural networks for spectrum analysis
Virtual app development for adolescents during COVID-19
Detection of local structures in images using local entropy information
DIP: a log parser based on "disagreement index token" conditions
Applying randomized projection to aid prediction algorithms in detecting high-dimensional rogue applications
Cost estimation for component based software development
REC/SM: a semi structured programming language
Security issues in privacy and key management protocols of IEEE 802.16
Building efficient incremental LL parser by augmenting LL table and threading parse tree
Automatically Protecting Network Communities by Malware Epidemiology
Towards the Monitoring and Evaluation of Trainees' Activities in Cyber Ranges
Password Management: How Secure Is Your Login Process?
Cyber Taxi: A Taxonomy of Interactive Cyber Training and Education Systems
Chasing Botnets: A Real Security Incident Investigation
Model-driven Simulation and Training Environments for Cybersecurity - Second International Workshop, MSTEC 2020, Guildford, UK, September 14-18, 2020, Revised Selected Papers
Software System Exploration Using Library Call Analysis
A Pond Full of Phishing Games - Analysis of Learning Games for Anti-Phishing Education
Cyber Range Training Programme Specification Through Cyber Threat and Training Preparation Models
A Pattern-Driven Adaptation in IoT Orchestrations to Guarantee SPDI Properties
Conceptualization of a CyberSecurity Awareness Quiz
Possibilistic and Probabilistic Abstraction-Based Model Checking
An Efficient Kronecker Representation for PEPA Models
A Generalization of Equational Proof Theory?
Model Checking CSL until Formulae with Random Time Bounds
Deriving Symbolic Representations from Stochastic Process Algebras
Probability and Timing: Challenges for Secure Programming
Beyond Memoryless Distributions: Model Checking Semi-Markov Chains
MoDeST - A Modelling and Description Language for Stochastic Timed Systems
Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings
Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes
Randomization Helps in LTL Model Checking
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework
Reward Based Congruences: Can We Aggregate More?
Approximate Verification of Probabilistic Systems
Reachability Analysis of Probabilistic Systems by Successive Refinements
Quantifying the Dynamic Behavior of Process Algebras
Faster and Symbolic CTMC Model Checking
Probabilistic Abstract Interpretation and Statistical Testing
The Mean Value of the Maximum
An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems
Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings
Advances in Model Representations
Reduction and Refinement Strategies for Probabilistic Analysis
Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs
Coin Lemmas with Random Variables
Action Refinement for Probabilistic Processes with True Concurrency Models
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol
Expressing Processes with Different Action Durations through Probabilities
Security Analysis of a Probabilistic Non-repudiation Protocol
Probabilistic Unfoldings and Partial Order Fairness in Petri Nets
People Expect Joint Accountability for Online Misinformation
A Castro Consensus: Understanding the Role of Dependence in Consensus Formation
A Study of Cyber Hate on Twitter with Implications for Social Media Governance Strategies
The role of online attention in the supply of disinformation in Wikipedia
Proceedings of the 2022 Truth and Trust Online Conference (TTO 2022), Virtual Event and Boston, MA, USA, October 12-14, 2022
Dataset exploration for Transparency
e-Game of FAME: Automatic Detection of FAke MEmes
Proceedings of the 2021 Truth and Trust Online Conference (TTO 2021), Virtual, October 7-8, 2021
Fact-checking multidimensional statistic claims in French
Highly Partisan and Blatantly Wrong: Analyzing News Publishers' Critiques of Google's Reviewed Claims
Detecting Propaganda in Online Media
Cross-Domain Learning for Classifying Propaganda in Online Contents
Understanding Mass Media Using Facebook Like Activities
Combatting Disinformation via Interactive Evidence Detection
"Gettr-ing" User Insights from the Social Network Gettr
Predicting News Source Credibility
Bots, reality shows and Greek political parties: Tracking bots and their political propaganda in Greece
e-FEVER: Explanations and Summaries forAutomated Fact Checking
E-BART: Jointly Predicting and Explaining Truthfulness
Misinformation on Twitter During the Danish National Election: A Case Study
Rating the disinformation risks of news domains: Global Disinformation Index
Human-in-the-Loop Systems for Truthfulness: A Study of Human and Machine Confidence
Cross-lingual Rumour Stance Classification: a First Study with BERT and Machine Translation
Fully Automatic Journalism: We Need to Talk About Nonfake News Generation
WeVerify: Wider and Enhanced Verification for You - Project Overview and Tool Demonstration
YouTube COVID-19 Vaccine Misinformation on Twitter: Platform Interactions and Moderation Blind Spots
Investigating the Impact of Pre-processing and Prediction Aggregation on the DeepFake Detection Task
How Partisan Crowds Affect News Evaluation
Characterizing Man-made vs. Machine-made Chatbot Dialogs
Explainable Fact Checking with Probabilistic Answer Set Programming
Proceedings of the 2020 Truth and Trust Online Conference (TTO 2020), Virtual, October 15-17, 2020
Biba Security Model Inspired Social Media Security Controls
Proceedings of the 2019 Truth and Trust Online Conference (TTO 2019), London, UK, October 4-5, 2019
Metafact.io: Expert fact-checking at scale using the scientific method
Persian Stance Classification Data Set
Understanding the Role of Human Values in the Spread of Misinformation
Tools for Countering Misinformation on Encrypted Chat Apps
Joint Rumour Stance and Veracity
Towards easy-to-implement misinformation automatic detection for online social media
News Source Credibility in the Eyes of Different Assessors
Disinformation: Detect to Disrupt
Left-of-Boom Misinfosec: We're 4 big steps behind
The Emergence of Deepfakes and its Societal Implications: A Systematic Review
Analyzing Misinformation Through The Lens of Systems Thinking
An Approach for Detecting Image Spam in OSNs
A blockchain-based fact-checking registry: Enhancing trust in the fact-checkers
Mapping the Media Landscape: The Influence of Ownership and Broadcast Schemes on Modern News Consumption
Perceived Factors Influencing Blockchain Adoption in the Asset and Wealth Management Industry in the Western Cape, South Africa
Open Data Accessibility Mechanisms for Tourism Development in South Africa
The Role of the Marginalized and Unusual Suspects in the Production of Digital Innovations: Models of Innovation in an African Context
Cultivating Online Virtual Community of Purpose to Mitigate Knowledge Asymmetry and Market Separation of Rural Artisans in India
Smartphone Paradoxes in Working Mothers' Pursuit of Work-Life Balance
The Role of Local Bricoleurs in Sustaining Changing ICT4D Solutions