yusuke1997/dblp-id-title huggingface dataset:
A Formal Model for WebRTC Signaling Using SDL
Trust Based Energy Preserving Routing Protocol in Multi-hop WSN
Efficient and Secure TSA for the Tangle
Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine Faults
BaPu: Efficient and Practical Bunching of Access Point Uplinks
UMTS Base-Station Location Problem for Uplink Direction Using Genetic Algorithms and Fuzzy Logic
Reversible Phase Transitions in a Structured Overlay Network with Churn
Iterative Approximate Consensus in the Presence of Byzantine Link Failures
Distributed Online Data Aggregation in Dynamic Graphs
The Disclosure Power of Shared Objects
Request Complexity of VNet Topology Extraction: Dictionary-Based Attacks
Enhancing Numerical Invariants Learning with Bounded Reachability Analysis
Synthesize Models for Quantitative Analysis Using Automata Learning
Knowledgeable Chunking
Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars
Verification of Buffered Dynamic Register Automata
Federated Learning for Enhanced Medical Image Analysis
Unleashing and Speeding Up Readers in Atomic Object Implementations
Networked LLM Agents: Toward Autonomous LLMs for Querying Heterogeneous Databases
GDist-RIA Crawler: A Greedy Distributed Crawler for Rich Internet Applications
Complete Visibility for Oblivious Robots in 풪(N) Time
Blockchain Using Proof-of-Interaction
A Mechanized Refinement Proof of the Chase-Lev Deque Using a Proof System
Beyond Locks and Keys: Structural Equation Modeling Based Framework to Explore Security Breaches Through the Lens of Crime Theories
SmartShards: Churn-Tolerant Continuously Available Distributed Ledger
Towards a Formal Semantics and Analysis of BPMN Gateways
Monitorability Bounds via Expander, Sparsifier and Random Walks - The Interplay Between On-Demand Monitoring and Anonymity (Extendend Abstract)
Waiting in Concurrent Algorithms
Program Analyses Using Newton's Method (Invited Paper)
A Thrifty Universal Construction
Routing in Generalized Geometric Inhomogeneous Random Graphs - (Extended Abstract)
Secure Lineage Storage on Public and Private Blockchains
EPiC: Efficient Privacy-Preserving Counting for MapReduce
Towards Efficient Shape Analysis with Tree Automata
Distributed B-Tree with Weak Consistency
Comparing Causal Convergence Consistency Models
Reachability Analysis of Dynamic Pushdown Networks with Priorities
Practically-Self-stabilizing Vector Clocks in the Absence of Execution Fairness
Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols
Byzantine Fault-Tolerant Distributed Set Intersection with Redundancy and Its Relationship with Byzantine Optimization
Optimizing Diffusion Time of the Content Through the Social Networks: Stochastic Learning Game
Improving Cognitive Radio Wireless Network Performances Using Clustering Schemes and Coalitional Games
IoT Based Prediction of Active and Passive Earth Pressure Coefficients Using Artificial Neural Networks
Internet Computing: Using Reputation to Select Workers from a Pool
On the Encoding and Solving of Partial Information Games
On the Consensus Number of Non-adaptive Perfect Renaming
Gathering of Mobile Agents in Asynchronous Byzantine Environments with Authenticated Whiteboards
Heterogeneous Graph Neural Network Based Arabic Coreference Resolution
Distributed Station Assignment Through Learning
Corona Product Complexity of Planar Graph and S-chain Graph
A Distributed Recommender System Based on Graded Multi-label Classification
Consistency in Distributed Storage Systems - An Overview of Models, Metrics and Measurement Approaches
Precise and Sound Automatic Fence Insertion Procedure under PSO
Sharding in Permissionless Systems in Presence of an Adaptive Adversary
On Helping and Stacks
CUDA-DTM: Distributed Transactional Memory for GPU Clusters
Modeling the Cut-off Frequency of Acoustic Signal with a Fuzzy Logic System
Networked Systems - 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings
Varda: A Framework for Compositional Distributed Programming
An Incremental Proof-Based Process of the NetBill Electronic Commerce Protocol
AUCCCR: Agent Utility Centered Clustering for Cooperation Recommendation
Coalitional Game Theory for Cooperative Transmission in VANET: Internet Access via Fixed and Mobile Gateways
Weak Failures: Definitions, Algorithms and Impossibility Results
Antichains for the Verification of Recursive Programs
A Peer to Peer Federated Graph Neural Network for Threat Intelligence
Impact of Sparsification and Quantization on Energy Consumption in Federated Learning
LighTx: A Lightweight Proof-of-Bandwidth Transactions Transfer System
Joint Price and QoS Competition with Bounded Rational Customers
Biologically Sound Neural Networks for Embedded Systems Using OpenCL
Policy Expressions and the Bottom-Up Design of Computing Policies
Fault Tolerant P2P RIA Crawling
A Domain Specific Language for Testing Distributed Protocol Implementations
A Multi-channel Energy Efficient Cooperative MIMO Routing Protocol for Clustered WSNs
Homonym Population Protocols
Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks
Verifying Weakly Consistent Transactional Programs Using Symbolic Execution
Going Forward-Forward in Distributed Deep Learning
Bitbox: Eventually Consistent File Sharing
Achieving Starvation-Freedom in Multi-version Transactional Memory Systems
Loss Minimization and Delay Differentiation for Optical Burst Switching Over Star Networks
Efficient Means of Achieving Composability Using Object Based Semantics in Transactional Memory Systems
Deciding S1S: Down the Rabbit Hole and Through the Looking Glass
Algebraic Computations in Anonymous VANET
A Location Privacy Estimator Based on Spatio-Temporal Location Uncertainties
Generic Framework for Optimization of Local Dissemination in Wireless Networks
On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems
Self-stabilizing Snapshot Objects for Asynchronous Failure-Prone Networked Systems
Disaster-Tolerant Storage with SDN
Networked Systems - Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers
Hide Me: Enabling Location Privacy in Heterogeneous Vehicular Networks
A Pragmatic Non-blocking Concurrent Directed Acyclic Graph
Anomalies and Similarities Among Consensus Numbers of Variously-Relaxed Queues
Model Checking Dynamic Pushdown Networks with Locks and Priorities
Distributed Privacy-Preserving Data Aggregation via Anonymization
Applying Custom Patterns in Semantic Equality Analysis
Stability Under Adversarial Injection of Dependent Tasks (Extended Abstract)
Software Project Management in the Era of Digital Transformation
Improving Miller's Algorithm Using the NAF and the Window NAF
Short Paper: Stress-SGX: Load and Stress Your Enclaves for Fun and Profit
Blockchains and the Commons
Long-Lived Tasks
A Self-stabilizing PIF Algorithm for Educated Unique Process Selection
Challenger: Blockchain-based Massively Multiplayer Online Game Architecture
StakeCube: Combining Sharding and Proof-of-Stake to Build Fork-Free Secure Permissionless Distributed Ledgers
Solvability of Byzantine Fault-Tolerant Causal Ordering Problems
Nonrepudiation Protocols Without a Trusted Party
Loosely-self-stabilizing Byzantine-Tolerant Binary Consensus for Signature-Free Message-Passing Systems
Dynamics Analysis for a Duopoly Game with Bounded Rationality in Cognitive Radio Network
Recoverable Mutual Exclusion with Abortability
Optimal Recoverable Mutual Exclusion Using only FASAS
Staleness and Local Progress in Transactional Memory
A New Preference Based Model for Relevant Dimension Identification in Contextual Mobile Search
ProgDTN: Programmable Disruption-Tolerant Networking
A Game-Theoretic Approach for the Internet Content Distribution Chain
Dissecting Tendermint
Counting in Practical Anonymous Dynamic Networks is Polynomial
Enhancing Readers-Writers Exclusion with Upgrade/Downgrade Primitives
A Multi-criteria Group Decision Making Method for Big Data Storage Selection
Performance Evaluation for Ad hoc Routing Protocols in Realistic Physical Layer
Byzantine Geoconsensus
An Eventually Perfect Failure Detector on ADD Channels Using Clustering
Verification of Common Business Rules in BPMN Process Models
A Measure for Quantifying the Topological Structure of Some Networks
Learning in Networked Interactions: A Replicator Dynamics Approach
Simulated Road Following Using Neuroevolution
Adaptive Training for Aggression de-Escalation
An Exploration on Intuitive Interfaces for Robot Control Based on Self Organisation
Human Robot-Team Interaction - Towards the Factory of the Future
Mobile GPGPU Acceleration of Embodied Robot Simulation
Enhancing Active Vision System Categorization Capability Through Uniform Local Binary Patterns
Artificial Life and Intelligent Agents - First International Symposium, ALIA 2014, Bangor, UK, November 5-6, 2014. Revised Selected Papers
Towards Real-Time Behavioral Evolution in Video Games
Ashby's Mobile Homeostat
Multi-Robot Coverage: A Bee Pheromone Signalling Approach
Searching Motion Planning Strategies for a Mobile Robot
An Integration of Different Motion Planners
Estimating 3-D Transformation of Robot End Effector
Open Architecture Controller for a SCARA Industrial Robot
Design and Simulation of a Virtual Walking Machine based on Gait Analysis
"Robot Picking System (RPS)" - Automated Order Picking with Industrial Robots
Modeling and Control of the Eclipse-II Motion Simulator
Behavior Evaluating Indices for Robot Behavior Learning and Evolution
Development and Evaluation of DSP Filter for the Integration of the Driving Simulator with a Tele-operated Vehicle
Multi-scale Image Filtering for Extracting Maneuvering Affordance
The Human-Machine Interaction through the UJI Telerobotic Training System
Human-free Flexible Assembling of Ready-to-eat Meals
Non-commensurate Manipulator Jacobian
Exploring New Object Recognition Techniques for Online Robots
Neural Reinforcement Learning for the Control of an Autonomous Mobile Vehicle
Propulsion Mechanism based on Inertial Force
A Parallel Solution Scheme of Inverse Dynamics for Flexible Manipulators
The Development of Automatic Tool Changer and Integrated Applications Software for Polishing Robot System
Modeling and Design Methodology of an Efficient Underwater Propulsion System
A Robust Control Approach for Manipulator with Nonlinear Actuators
Automatic Circle Detection for Radial Lens Distortion Correction in Single Images
Robucation: Using Mobile Robots for Sophisticated Student Education
Controlling a Ball Balancing Device via Web
Trajectory Planning of a New Mechanical Press with Controllable Mechanism
Small Body Exploration Robot with Hopping Mechanism
Construction of Traveling Crane Embedded Power Assist Function
Position and Force Control of Multi-fingered Robot Hand and Its Application to Massage Motion
Behavioural Cloning and Robot Control
Hue-intensity Segmentation for Stereo Correspondence
Maintaining Spatial Relations among Robots using Formation Sensitivity Measure
High Precision Dense Depth Map Acquisition by an Omnidirectional Stereo System
Task Specification for Visually Guided Grasping
MarineBlue: A Low-cost Chess Robot
Architecture Optimization of a Planar 3-DOF Parallel Manipulator
IASTED International Conference Robotics and Applications, RA 2003, June 25-27, 2003, Salzburg, Austria
Fast Dynamic Object Tracking in a Robotic Soccer Team
Robotic Remote Navigation by Speech Commands with Automatic Obstacles Detection
Real-time Detection of End-effectors for Marker-free Motion Capture System
Behavior Analysis of Grid-map based Sensor Fusion Algorithms
Implement-by-wire Control of Electrohydraulic Closed Center Systems for Mobile Equipment Applications
A Computer Architecture for Small Walking Robots
Enhancing Online Learning Performance: An Application of Data Mining Methods
Proceedings of the 7th IASTED International Conference on Computers and Advanced Technology in Education, August 16-18, 2004, Kauai, Hawaii, USA
A Tutoring System for the Hypothesis-Testing Process through Graphing Activites
Learning Science Beyond the Classroom with Technology
Learning Object Evaluation and Convergent Participation: Tools for Professional Development in E-Learning
Common Computer-aided Assessment for University and Industry?
A Constructivist Model for Distance Education Teaching
Effective Internet Education
Composing Frameworks to Achieve an ELearning Framework
Blended Learning Design
XEML - An Extensible Educational Markup Language for E-Learning
A Study of the Postgraduate Project Process in a School of Computing
A Virtual Environment for Collaborative Distance Learning with Video Synchronization
TEIA - A Web Learning Environment based on Agents
Global Education in Manufacturing: A Novel Approach for Digital Business Strategy
Decision Support Component in Intelligent E-Learning Systems
Development of E-Learning System using Mathematical Knowledge Database for Remedial Study
Proposing New Elements for Pedagogical Descriptions in LOM
Enabling Technologies for Collaborative Learning Environments using Ad Hoc Networks
Multimedia and Situated Language Learning
OnlineEducator 2.0: A Complete ITPlatform to Create, Administer, Analyze, and Transmit Online Exams
Game-like Web-Laboratory
Learning Musical Terms in Context: The Role for Rich Multimedia Learning Technologies
Development of a Classroom Teaching Improvement Support System using a Web-based Teaching Portfolio with Video-on-Demand
A Virtual Construction Site to Teach Construction
Pupils' Using of Multimedia Advance Organizer and Learning Retention
Optimising the Use of Available Technology in Educational Research
Quality of Learning Guaranteed E-Learning System
Using a Data Modeling Tool in an Introduction to Databases Course
iLabNoteBook: A Digital Laboratory Notebook based on the Microsoft Tablet PC Platform
Decision Training using Agent-based Business Strategy Games
Automatic Camera Control System for a Distant Lecture based on Estimation of Teacher's Behavior
Pair Programming Strategies for Middle School Girls
Computer Assisted and Web-based Learning Techniques in Electronics and Telecommunication Education Process
Teaching Wireless Data Services with Real-life Applications
Work Search Prototype Design: Human-Computer Interaction for Vocational Rehabilitation
To Develop Constructivist Learning Environments on the Web with the Help of Software Agent Technology
SimulWeb: An Authoring-Tool based on the ESP-W Model
Agent Support for Learner Groups
Streaming Multimedia in Higher Education: The Results of 4-Year National Science Foundation Project
Generic Code-Memory Diagram Animation Creator: An Aid for Effective Computer-Programming Teaching
The Implementation and Application of a Meta-Level Career-Development Support System
ASQA: Agent Supported Question Answering System
A Web Portal for Open-Source Synchronous Distance Education
Web-based Learning in Academic Context
Beta Testing for Large Scale Implementation of Online Staff Development
Time-ly Investment: Faculty Assistance to Develop Online Teacher Education Courses
Maximising Dialogue in Lectures using Group Response Systems
Using an Ontology to Query Pedagogical Resources
The Design and Development of an Internet Safety Curriculum in Taiwan
Teachers Need Simple, Effective Tools to Evaluate Learning Objects: Enter eLera.net
Effectiveness of and Student Satisfaction with Web-based Compared to Traditional Instruction
Integration of ICT to Science Education through Professional Development of Teachers
InkBoard - Tablet PC Enabled Designoriented Learning
Ice Hockey 3D: A Constructivist Game for Learning about Concussion
A Simulation for Learning Strategy & Perceptual Skill in Hockey
The Development of Internet Virtual Dinosaur Museum
A Collaborative Tool for Synchronous Distance Education
Storytelling, Storyboarding, Storywriting: Proposing a New Computer Tool for Narrative
Design of a Common API for Learning Objects
The Importance of Using a Unified Model to Define Adaptive Learning Environments
Supporting Active Learning in E-Learning Scenarios
Using a Training-of-Trainers Model to Prepare Faculty to Integrate Technology
Online Outlier Detection System for Learning Time Data in E-Learning and Its Evaluation
Remote e-Learning System for Schools
The Effect of Receiving the Preferred Form of Online Assessment Feedback upon Middle School Mathematics Students
A Service-oriented Approach for Pervasive Learning Grid
Using Semantic Web Technologies to Build an Educational Knowledge Base and Digital Library
Software Tools to Support Software Engineering Education
Using and Validating ProgrammingLand
Redevelopment of a Large Course from a Traditional to Blended Model: A Case Study
SIMSE: An Interactive Simulation Game for Software Engineering Education
Constructivist & Sociocultural Strategies: Theoretical & Practical Implications for Teaching Online
Yet Another Way to Explain Algorithms
Technologies for Virtual and Remote Labs in the Educational Process
TutorBot: An Application AIML based for Web-Learning
Webifying Information Technology Curricula: Midstate College Experience and Results
New Tools in Education
Assisting Learning and Instruction on the Example of MASACAD: A Multi-Agent System that Learns to Advise Students
Quality Assurance and Control Model for E-Learning
The Use of Computer Technology by Visually Impaired High School Students in Integrated Classrooms in Bangkok
CEINT Internship Program: Win/Win/Win
An Experimental Study on the Interactivity Dimension in a Web-based English Course
Producing a DVD for Use in Diabetes Education
An Evaluation of Undergraduate Students' Online Assessment Performances
Learning Object Models, Languages, Authoring Tools and Registry Service for Achieving Dynamic and Collaborative E-Learning
Facilitating Students' Learning of Difficult Science Concepts through Integrating a Metacognitive Approach into a Web-based Multimedia Science Learning Program
Using Lexical Constraints for Corpusbased Generation of Multiple-Choice Cloze Items
Visual Interface Design Tool for Educational Courseware
Spatial Structuring of Virtual Knowledge Spaces - Bridging the Gap Between Navigational Maps and E-Learning
Using Software Tools to Support, Define and Enhance the Undergraduate Computer Science Curricula
Practice of International Distance Learning using DVTS between Three Points of Japan and Korea
Lessons Learned from a Blended Cross-Border Course
Distance Teacher Education - University of Hawaii Statewide Programs and Guidelines for Good Practice
Semi-Automatic Evaluation Features in Computer-assisted Essay Assessment
Using Technology to Teach Technology - Creating a Powerful Learning Environment
Learning Selection Sort with Penguins and Dragons
Using Rich Media Technology to Support Peer Interaction in Large Lecture Courses
CSCL Environment for Bilingual Deaf Education
Online Readiness Module: An Anonymous Demonstration Course to Orient Prospective Students
Developing a Computer-assisted Instruction Assessment Planning Tool for Student Affairs Professionals
Cumulative Inference Relations for JTMS and Logic Programming
Normal Form Results for Default Logic
Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of Theorems
On Generation of Cumulative Inference Operators by Default Deduction Rules
Supracompact Inference Operations
Deductive Generalization in a Default Logic Setting
More About Learning Elementary Formal Systems
Ranges of Strong Modal Nonmonotonic Logics
Dual Types of Hypotheses in Inductive Inference
Probabilistic Inference of Approximations
Monotonic Versus Nonmonotonic Language Learning
Towards Efficient Inductive Synthesis: Rapid Construction of Local Regularities
Deduction with Supernormal Defaults
A Tutorial on Nonmonotonic Reasoning
Is it Impossible to Keep up to Date?
All I Know About Tweety
A Polynomial Time Algorithm for Finding Finite Unions of Tree Pattern Languages
Nonmonotonic Reasoning and Logic Programs
Notions of Nonmonotonic Derivability
Qualitative Magnitude Reasoning
Multi-Agent Learning: Theoretical and Empirical Studies
Inductive Inference of Optimal Programs: A Survey and Open Problems
Cumulativity and Rationality in Semantics of Normal Logic Programs
A Note on Polynominal-Time Inference of k -Variable Pattern Languages
Interactive Synthesis of Process Flowcharts
Retrieval in Case-Based Reasoning Using Preferred Subtheories
Autoepistemic Expansions with Incomplete Belief Introspection
Monotonic and Nonmonotonic Inductive Inference of Functions and Patterns
Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings
On the Sample Complexity of Various Learning Strategies in the Probabilistic PAC Learning Paradigms
Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings
A Thesis in Inductive Inference
Regression Equilibrium
Prophet Inequality for Bipartite Matching: Merits of Being Simple and Non Adaptive
Simultaneous Search: Beyond Independent Successes
Advanced Electronic Commerce Security in a Workflow Environment
The Vickrey Auction with a Single Duplicate Bidder Approximates the Optimal Revenue
The Implications of Pricing on Social Learning
Probabilistic Verification in Mechanism Design
How Do Classifiers Induce Agents to Invest Effort Strategically?
Playing on a Level Field: Sincere and Sophisticated Players in the Boston Mechanism with a Coarse Priority Structure
Improved Metric Distortion for Deterministic Social Choice Rules
Pandora's Problem with Nonobligatory Inspection
Combinatorial Auctions with Interdependent Valuations: SOS to the Rescue
Stable Fractional Matchings
Matchings under Preferences: Strength of Stability and Trade-Offs
Local Non-Bayesian Social Learning with Stubborn Agents
You Can Lead a Horse to Water: Spatial Learning and Path Dependence in Consumer Search
Stability in Matching Markets with Complex Constraints
Robust Non-Bayesian Social Learning
Posted Pricing and Prophet Inequalities with Inaccurate Priors
Analysis of Approval Voting in Poisson Games
Fair Mixing: the Case of Dichotomous Preferences
Truthful Aggregation of Budget Proposals
Dashboard Mechanisms for Online Marketplaces
Electronic Commerce, Current Research Issues and Applications [Workshop at NIST, Gaithersburg, Maryland, USA, December 1, 1994]
Seeding with Costly Network Information
Price of Anarchy in Stochastic Atomic Congestion Games with Affine Costs
Information and Learning in Heterogeneous Markets
Cloud Pricing: The Spot Market Strikes Back
Tracking and Improving Information in the Service of Fairness
Fair Cake-Cutting in Practice
Graphon Games
Influence Maximization on Undirected Graphs: Towards Closing the (1-1/e) Gap
Social Learning and the Innkeeper's Challenge
Tight Weight-dependent Competitive Ratios for Online Edge-weighted Bipartite Matching and Beyond
Sample Complexity for Non-Truthful Mechanisms
Matching for the Israeli: Handling Rich Diversity Requirements
Information Inundation on Platforms and Implications
Adaptive-Price Combinatorial Auctions
Imitative Follower Deception in Stackelberg Games
The Value of Price Discrimination in Large Random Networks
Pacing Equilibrium in First-Price Auction Markets
Static Pricing: Universal Guarantees for Reusable Resources
Sample-Based Optimal Pricing
No Stratification Without Representation
The Complexity of Black-Box Mechanism Design with Priors
Communication Complexity of Cake Cutting
Computing Core-Stable Outcomes in Combinatorial Exchanges with Financially Constrained Bidders
Power of Dynamic Pricing in Revenue Management with Strategic (Forward-looking) Customers
Optimal Strategies of Blotto Games: Beyond Convexity
High-Multiplicity Fair Allocation: Lenstra Empowered by N-fold Integer Programming
Allocation for Social Good: Auditing Mechanisms for Utility Maximization
Fundamental Limits of Testing the Independence of Irrelevant Alternatives in Discrete Choice
Envy-Freeness Up to Any Item with High Nash Welfare: The Virtue of Donating Items
Edge Weighted Online Windowed Matching
Spatial Capacity Planning
Persuasion in Networks: Public Signals and k-Cores
Observational Data for Heterogeneous Treatment Effects with Application to Recommender Systems