yusuke1997/dblp-id-title huggingface dataset:
Security Mechanisms for Mobile Agent Platforms Based on SPKI/SDSI Chains of Trust
A Declarative Approach to Agent-Centered Context-Aware Computing in Ad Hoc Wireless Environments
Taming Agents and Objects in Software Engineering
Software Engineering for Multi-Agent Systems II, Research Issues and Practical Applications [the book is a result of SELMAS 2003]
A case for adaptation of the distributed environment layout in multiagent applications
On fault tolerance in law-governed multi-agent systems
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, SELMAS '06, Shanghai, China, May 22-23, 2006
A Software Framework for Automated Negotiation
Towards Monitored Data Consistency and Business Processing Based on Declarative Software Agents
Challenges for Exception Handling in Multi-Agent Systems
Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities
Lexicon Based Ontology Construction
Views: Middleware Abstractions for Context-Aware Applications in MANETs
Improving Exception Handling in Multi-agent Systems
Engineering Mobility in Large Multi Agent Systems: A Case Study in Urban Traffic Management
A Generative Approach for Multi-agent System Development
A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems
Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems, SELMAS '05, St. Louis, Missouri, USA, May 15-16, 2005
Constructivity Issues in Graph Algorithms
Classical Type Theory
Connecting Formal Semantics to Constructive Intuitions
Examples of Semicomputable Sets of Real and Complex Numbers
The Type Structure of CAT
Reflective Semantics of Constructive Type Theory: Preliminary Report
A Logical View of Assignments
Implementing Constructive Real Analysis: Preliminary Report
Classical Proofs as Programs: How, What, and Why
A Simple and Powerful Approach for Studying Constructivity, Computability, and Complexity
Are Subsets Necessary in Martin-Löf Type Theory?
Constructive Topology and Combinatorics
Bringing Mathematics Education into the Algorithmic Age
Kripke Semantics for Dependent Type Theory and Realizability Interpretations
Development Transformation Based on Higher Order Type Theory
Axiomatization of Calculus of Constructions
Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings
Sichten und Mehrfachvererbung in der Konfigurierung
Constraints zur Konfigurierung industrieller Rührwerke
Towards Evolving Configuration Models
Design and Configuration of Furniture Using Internet-based Virtual Reality Techniques
Optimierungsbasiertes Konfigurieren unter besonderer Berücksichtigung von Präferenzmodellen
Scheduling zur Automatisierung variabler Laborabläufe
4SP: A four stage incremental planning approach
Heuristic Search Planning with BDDs
A perspective based approach to design
Planner's Workbench - eine Werkzeugumgebung zur Modellierung und Konfigurierung von Ablaufplanungssystemen
Extracting Goal Orderings to Improve Partial-Order Planning
Wizard: A System for Predictive, Reactive and Interactive Multi-Resource Scheduling
Considering the Dynamic in Knowledge Based Configuration
Planning with tokens: an approach between satisfaction and optimisation
An Accessibility graph learning approach for task planning in large domains
Scheduling in a Virtual Enterprise in the Service Sector
Arbeiten zum Thema "Wissensbasierte Produktionsplanung und -steuerung"
Finding and Optimizing Solvable Priority Schemes for Decoupled Path Planning Techniques for Teams of Mobile Robots
PuK-94, 8. Workshop "Planen und Konfigrieren", 18.-19. April 1994, Kaiserslautern, Proceedings
Plan Representation and Plan Execution in Multi-agent Systems for Robot Control
A Stochastic Model of Actions and Plans for Anytime Planning under Uncertainty
Modeling Strucutre and Behaviour for Knowledge Based Software Configuration
Verarbeitung heuristischen Konfigurationswissens mit Fuzzy-Methoden in MoKon
On the Decomposition and Concurrent Resolution of a Planning Problem
Relating Classical and Temporal Planning (Preliminary Report)
Fallauswahl und fallbasierte Steuerung bei der nichtlinearen hierarchischen Planung
Disjunction in Plan Generation by Equational Logic Programming
Proceedings Workshop Planen und Konfigurieren (PuK-2002), Freiburg, 10./ 11.10.2002
The System PH
On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas
Strucutre and Complexity in Planning with Unary Operators
Proceedings of the 14th Workshop "New Results in Planning, Scheduling and Design" (PuK2000), Berlin, 21-22 August 2000
Beiträge zum 7. Workshop Planen und Konfigrieren, 17.2.93, Hamburg
Proceedings PuK 99, 13. Workshop "Planen und Konfigurieren", Jahrestreffen der Fachgruppe 1.5.3 der Gesellschaft für Informatik, vom 3.-5. März 1999, im Rahmen der 5. Tagung "Expertensysteme" an der Universität Würzburg
An Application of Terminological Logics to Case-based Reasoning
I-X and <I-N-CA>: an architecture and related ontology for mixed-initiative synthesis tasks
Learning Hierarchically Clustered Shared Plan Abstractions as Problem Solving Knowledge with High Utility for Planning
Anwendungen der Fuzzy-Logik in der Auftragsreihenfolgenoptimierung
Knowledge Acquisition for Configuration Systems: UML as a link between AI and Software Engineering
Towards agent-based multi-site scheduling
Scheduling in a Planning Environment
Obstacles: An Approach to Structural Abstraction in Planning
Heuristic Methods for Solving Job-Shop Scheduling Problems
Online Synthese von Aufzugssteuerungen als Planungsproblem
Constraint-logische Modellierung und Bearbeitung technischer Konfigurationsprobleme - Das System ConBaCon
Configuring with Type Abstractions in a Dynamic Constraint Formalism
A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm
Taming Numbers and Durations in the Model Checking Integrated Planning System
Lösen von Scheduling-Konflikten durch Verhandlungen zwischen Agenten
A New Logical Framework for deductive Planning
A Generalizing Operator Abstraction
Benefits and Problems of using cycle-cutset within interative improvement algorithms
Requirements Of Reactive Scheduling Systems
Web-based Commerce of Complex Products and Services with Multiple Suppliers
Distributed Plan Maintenance for Scheduling and Execution
Accelerating Heuristic Search in Spatial Domains
Proceedings of the KI-2001 Workshop AI in Planning, Scheduling, Configuration and Design / 15. Workshop Planen, Scheduling und Konfigurieren, Entwerfen, PuK 2001, Wien, 18.9.2001
WebPlan - Dynamic Planning for Domain-Specific Search in the Internet
Modeling in an Architectural Variability Description Language
Job Shop Scheduling with Multiagents
A hybrid hierarchical operator-based planning approach for the design of control programs
Vergleich unterschiedlicher Konfigurationsmethoden im Hinblick auf die Nutzbarkeit von Wissens über das Zustandsverhalten der Konfigurationsobjekte
Eine eindeutige Repräsentation für Konfigurationen
PausE: Der Planer für die Inhaltsplanung von erwartungsverletzenden, natürlichsprachlichen Diskursen
Re-scheduling with Temporal and Operational Resources for the Mobile Execution of Dynamic UMTS Applications
Chemische Konfigurieren mit Plakon
Design Problem Solving by Functional Abstraction
Search Space Splitting in order to Compute Admissible Heuristics in Planning
Logic-based Plan Recognition for Intelligent Help Systems
Meta-Ablaufplanung mit dynamischem Ablaufplanungswissen
A Variation on a Memetic Algorithm for Boiler Scheduling
Realizing a Global Hyperpolyhedron Constraint via LP Techniques
Diskussion über die Verwendung von terminologischen Systemen oder modularen Problemlösungsbausteinen für die Wissensrepräsentation in Konfigurierungssystemen
Local Search Heuristsics for Generative Planning
Configuration of Applications for the 3rd Generation Mobile Communication
Seriell-parallele Ordnung als Lösungsbegriff für Planungsaufgaben
Orientierung und Navigation im Arbeitsprozess der Produktauswahl von komplexen Produkten
Lernen von Abstraktionshierarchien zur Optimierung der Auswahl von maschinell abstrahierten Plänen
Repräsentation operationaler Begriffe
Dynamic Scheduling of Progressive Processing Plans
OCL-Graph: Exploiting Object Structure in a Plan Graph Algorithm
Projektvorhaben: Swarm Intelligence als Strategie zur Lösung reaktiver Planungsprobleme in Wertschöpfungsketten
Knowledge-based Configuration for Configuring Combined Hardware/Software Systems
Knowledge-Based Control of Decision Theoretic Planning - Adaptive Planning Model Selection
Konfigurierung eingebetteter Systeme mit Wissen über die Struktur und das Zustandsverhalten der Konfigurationsobjekte
Optimierung innerhalb des Konfigurierungsprozesses
Economically Coordinated Job Shop Scheduling and Decision Point Bidding - An Example for Economic Coordination in Manufacturing and Logistics
Bericht zur 1. Weltmeisterschaft der Planungssysteme, Pittsburgh, 1998
Proceedings Workshop Planen und Konfigurieren (PuK-2003), Jahrestagung Künstliche Intelligenz 2003 (KI-2003) Hamburg, 15.-18. September 2003
Eine allgemeine Klassenstruktur zur Modellierung von Ablaufplanung
PHI - A Logica-Based Tool for Intelligent Help Systems
Maschinelles Lernen für Design-Aufgaben
Planen mit Zielagendas
Research on Practical Application and Optimization of Multi-Strategy Prediction Method Based on Machine Learning
Reflections on the Nature of the Subject in the Study of Basic Problems of Chinese Art history
Research on Computer Artificial Intelligence Virtual Timbre and Digital Audio System
Research on the Value Core of "Curriculum Ideology Education" and its Practice Path Selection Based on Education Cloud Platform
Design and Implementation of College Internet + English Education System Platform Based on HTML5
Beyond Heuristics: Multimodal Transformer for Chart Data Extraction
Research on computer network information security management and protection strategy
The Application of AHP in Performance-Evaluation of Ideological and Political Education in Colleges and Universities
An Evaluation Model of the Course of Electrical Control and PLC for Engineering Education Professional Certification
Design of Performance Evaluation System for Transformation of Patent Achievements in Colleges and Universities Based on AHP
Chinese Sentiment Classification Model based on Pre-Trained BERT
Carbon Emission Prediction in Thermoelectric Coupled Systems Based on Improved Ensemble Empirical Mode Decomposition and Reinforcement Learning
On the Structure and Modules of Hotel Management Information System of Reception
Construction of Core Ideas of Ideological and Political Education for College Students Based on Modern Open and Distance Education
Research on Information Service Platform Based on Flex Technology and REST Architecture
Research on Wordle based on time series ARIMA model and XGBoost model
University Students Crisis events Managements in Big Data Age - A Case Study of Nanjing
Effective Integration Strategy of Professional Education and Innovation and Entrepreneurship Education under the Background of "Double First-Class"
Hybrid Teaching of Electrical Major Courses from the Perspective of New Engineering
Research on Feature Extraction and Classification Accuracy Improvement System Through Big Data Technology
High-Performance, All-Scenario COVID-19 Pathogen Detection, Prevention, and Control System
The Research and Practice of the Whole Process of Training Automation Professionals with Innovation and Entrepreneurship Training Project
Adaptive Networked Teaching Human-Computer Integration Based on Multi-Perspective Psychology Knowledge Points
Application of Second Order Real Matrix to Plane Autonomous Linear Ordinary Differential Equation
Research on Human Resource Intelligent Recommendation Method Based on Improved Algorithms
Solar Energy Materials and Solar Cells Applications with Particle Swarm Optimization Algorithm
Research on Federated Learning Data Management Method Based on Data Lake Technology
Research on English Vocabulary Translation Technology Based on Dynamic Bilingual Corpus
Music Aesthetics to Music Art Practice Based on the Theory of Multiple Intelligences
Research on Underwater Search Based on Improved 3D Metacellular Automata Model and Genetic Algorithm
Design and Application of Objective Questions Generating Examination Paper System Based on Random Extraction Algorithm
Detection and Classification of Abnormal Data Based on Deep Learning and Improved Algorithms
Application in Computer Software Testing Based on Artificial Intelligence Technology
Application Research Based on Computer 3D Digital Photovoltaic Cable Engineering Statistics System
Construction of Manufacturing Data Acquisition System Based on Edge Computing
Analysis on the Education of Socialist Core Values in Rural Areas under the Background of Multi Culture
Research on the Application of Cloud Computing Technology in College Physical Education Classroom Resource Management Platform
Enhancing Reliability Assessment of Industrial Robot Systems Through the Integration of Wavelet Packet Transform and Hidden Markov Models
Simulation Model and Data Acquisition Method for Wind Turbine Group
Implement the Reform of Ideological and Political Education in Colleges and Universities with the Help of Internet
Auxiliary Judgment of Financial Aid for Poor Students based on Improved K-means Algorithm
Research on the construction of a comprehensive information platform for publishing enterprises with efficient resource reuse
The Practical Confusions and Countermeasures of the Individualized Teaching of University Teachers
Virtual human driving method based on motion capture
Auditing Teaching Reform Based on Ideological and Political Theories
"Two-Four-Three-Four" Innovation and Entrepreneurship Education System's Research and Practice
An Innovative Decision Support Approach to Measure the Propagation of Systemic Risk Using Granger Causality Networks
Research on the Development of Visualization Scene System for Power Grid Enterprises
Research on the Operational Safety Evaluation of a Type of Aircraft Based on Entropy Value Method
Reform of Physical Health Education under the Background of "Integration of Physical and Medicine"
A Research on Guangzhou Dialect's Negative Transfer on British English Pronunciation by Speech Analyzer Software Praat and Ear Recognition Method
Research for the state of lithium-ion battery health based on data-driven method
A Study on the Construction of Traditional Chinese Medicine Multimodal Corpus under the View of Self-media
Analysis of an Efficient Classification Method Based on Density Optimization
Research on IC curve feature extraction and lithium battery SOH estimation method based on QPSO-BP Algorithm
Reform Practice and Exploration on Postgraduate Course in English Based on "Portfolio and Risk Analysis"
The Analysis of the Winning Factors of the Chinese Women's Basketball Team in the 2020 Tokyo Olympic Qualifiers for the Chinese College Women's Basketball Team
Research on base station site selection in power wireless private network based on improved NSGA-2 algorithm
Training Mode of School Enterprise Collaborative Innovation and Entrepreneurship Talents' Research
From "Teacher-Centered" to "Student-Centered" from the Perspective of Ecology of Education - - College ELT under Chinese Context
IUCNet: A Novel Semantic Segmentation Network for Overlapping Industrial Parts Detection
Student Management in Higher Vocational Colleges from the Perspective of People Oriented
Research on Forecasting Method of Power Grid Communication Service Based on Intelligent Algorithms
Research on Submarine Localization Based on K-Means Clustering Algorithm
Opinions on the Construction of "Mass Entrepreneurship and Innovation + Internationalization" Educational Ecosystem in Rail Transit Higher Vocational Colleges- Take Guangzhou Railway Polytechnic as an Example
An Analysis of the Role of "Ritual" in the Effectiveness of "Cultivating People" in Campus Culture
Research on Education Brand Shaping of Private Universities Based on Connotation Development
A Study on the Event Teaching Mode of College Environmental Protection English Teaching
Overview and Prospect of Spiking Neural Networks Training Algorithm
Research on Predictive Control of Students' Achievements in Physical Education Class and Physical Education Class Universities Based on Mathematical Model Analysis of Multiple Linear Regression Equations
Research on Career Guidance Course System based on Apriori Algorithm and Computer Big Data
Underwater Transmission of Digital Image in Wireless Optical Communication Based on Single Photon Detection Technology
Research on the Application of Artificial Intelligence in Library Reader Behavior Analysis and Personalized Service
Research on artificial intelligence computer intelligent learning system under computer big data technology
Research on Interactive Practice System of Mathematics Online Classroom Under Computer Artificial Intelligence Technology
Image Enhancement and Noise Suppression for Optical Coherence Tomography Images based on Variational Image Decomposition and Gaussian Mixture Model
Design of Wireless Power Transmission System for Rebar Corrosion Monitoring Based on Electromagnetic Coupling
A Combined Topology of EV Wireless Charging System to Achieve Dual Parking Power Allocation
The Study of Ideological and Political Distance Class Based on Computer Internet Big Data
Seismic Receiver Functions Auto-picking Method Based on Graph Convolutional Networks
Collusion-Resistant Editable Blockchain with Punishment for Malicious Behavior Using Chameleon Hash Algorithm
Application of Computer Artificial Intelligence Technology in 5G Wireless Transmission Fault Intelligent Diagnosis System
Empirical Analysis of the Integration of College Sports Activities into Ideological and Political Education
Ship target detection based on YOLOv3 algorithm
Cultivation of College Students Innovative Ability in Mathematics Based on Constructivism
Research of Immersion English Teaching on the Multi-dimensional Training Strategy for College Students
Content Extraction Method of Educational Resources Based on DOM
Platform Construction and Application Strategy on Mobile Learning for College English
The Paths of Ideological and Political Education in Improving Competitiveness in Employment of College Students
Advanced Financial Fraud Detection Using GNN-CL Model
A Cross-Sectional Study on Childhood Trauma and Adversarial Growth among College Students
Research on the Topic Mining of Learners' Interest Based on the Mongolian MOOC Platform Course Discussion Text
Protecting Electronic Evidence with Block Chain and Secret Sharing
Construction of Small and Medium-sized Enterprises' Financial Strategy System Based on Big Data in Low Carbon Economy
Application of Computer 3D Visualization Image Technology in Urban Architecture Planning System
Research on Characteristics and Laws of Ideological and Political Education Based on Network Thinking Characteristics
Classification and prediction of ECG data based on decision trees and their optimization algorithms
Research on Collection and Batch Processing Technology of Ethnic Cultural Resources Based on Web Crawler
Research on Effective Mode of Cultivating Medical Students' Professional Spirit Based on Association Rules Analysis
Establishment on Comprehensive Quality Evaluation Index System of Computer Major College Students
International Conference on Computers, Information Processing and Advanced Education, CIPAE 2024, Ottawa, ON, Canada, August 26-28, 2024
Computer Technology and Artificial Intelligence Applied in Smart English Audiovisual Course System
Detecting Misogynia in Italian Tweets: A Linguistic and Contextual based Method
The regional multi-objective water resources optimal allocation system under the constraint of "three red lines"
The Influence of the Collation, Inheritance and Digital Protection of Gesar Epic on Education in the New Era
International Conference on Computers, Information Processing and Advanced Education, CIPAE 2022, Ottawa, ON, Canada, August 26-28, 2022
Semantic Understanding in Natural Language Processing: Application of Graph Neural Networks in Relationship Extraction
Design and Application of ESC Hydraulic Control Unit Test System
Design and Application of Swarm Intelligence Algorithm in Teaching Quality Evaluation System of Normal Mathematics
CIPAE 2021: 2nd International Conference on Computers, Information Processing and Advanced Education, Ottawa, ON, Canada, 25-27 May, 2021
Spatial Characteristics Analysis of Tourist Spots in Kunming based on POI Data
Mixed Reality and Deep Learning Theory Applied in Radio Frequency Management
Fluid-structure Coupled Modal Simulation Analysis of Fuel Filter
Research on Green Cold Chain Logistics Information System under Computer Big Data
Research on Visual and Text Information Fusion Algorithm in Multimodal Sentiment Analysis
CKF-based PMSM local demagnetization fault diagnosis method
Design of "Data Structure" Resource Platform for Computer Major Based on Cloud Computing
Improving Pinyin Instruction: Implications Based on Chinese-English Phonetic Contrastive Analysis
Curriculum Reform of Preschool Education in the Context of COVID-19
Research and Practice on Student-centered Curriculum Reform of "DSP Principle and Application"
Secure and Efficient Mutual Authentication Protocol for Smart Grid under Blockchain
Online and Offline Teaching Effect of C Language in Colleges and Universities Based on Principal Component Analysis and Neural Network
Construction of Big Data Security Early Warning Visualization Model for Smart Tourism
Education of Oversea Computer-major Students in Weifang University
Analysis on Life Cycle Cost Effectiveness Mathematical Evaluation Model of Pumped Storage Generating Set
A CNN-Based Optical Music Recognition Method
Research on the Advantage Strategy of Social Network Big Data in Marketing
Research on Interactive Application of Virtual Reality Technology in Landscape Design of Urban Public Space
Analysis on the Application of Computer Aided Instruction in College Physical Education
The OBE Training Model of Applied Talents in Human Resource Management Major
Temperature Prediction Based on EAL Deep Learning Model
Bidirectional Promotion of Ideological and Political Education in Curriculum and Online Teaching - Taking Online Teaching of Mathematics as an Example
Design and development of an objective English accent recognition system based on RankNet's word stress recognition method
Communication Base Station Traffic Prediction Model Based on EMD-RF-Transformer
Research on hole feature matching based on image restoration
The Reform of College English Teaching Model under the OBE Teaching Concept
Case Study: Trend and Reflection of Undergraduate Music Education in Chinese Universities under Big Data
Application Research of Computer Big Data and Internet of Things Technology in International Logistics Intelligent Freight System
Application of Immunophenotype Resources in Clinical Teaching Courses of Hematologic Malignancies
Research on the Cloud and Network Integration Native Technologies
Design and Application of Hybrid Teaching Platform Based on Internet +
Knowledge Map and Its Application in University Library
The Connotation, Value Appeals and Implementation Strategies of the Curriculum Evaluation of Study Travel in Primary and Secondary Schools
Study on condition monitoring method of slurry circulating pump based on support vector machine
Research on virtual simulation system of beef cattle segmentation based on Unity3D
Research on the application of big data in the reform of college education mode - taking sports as an example
Research on the Internationalized Curriculum in Chinese Universities under "One Belt One Road" Strategy-A Case Study of Undergraduate Education of Peking University
Mode of Combination of Production, Teaching and Research of College English Based on Online Education Platform
Research and Implementation of Performance Evaluation System for Physical Education Teachers Based on Load Weight Algorithm
Exploration and Practice on Professional Development in Vocational Schools under New Circumstance
Improved YOLOV5 based industrial surface defect detection method