yusuke1997/dblp-id-title huggingface dataset:
From statecharts to ESP: programming with events, states and predicates for embedded systems
Programming Autonomous Machines : Special Session Paper
Multiple shooting, CEGAR-based falsification for hybrid systems
Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications
Real-time cache management for multi-core virtualization
Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012
Toward an Approximation Theory for Computerised Control
Pre-Scheduling: Integrating Offline and Online Scheduling Techniques
Uniformity improving page allocation for flash memory file systems
Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation
RMC: an integrated runtime system for adaptive many-core computing
Verifiably safe SCUBA diving using commodity sensors: work-in-progress
Finite automata with time-delay blocks
Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chip
A generalized software framework for accurate and efficient management of performance goals
Cache-related preemption delay analysis for multi-level inclusive caches
On composing and proving the correctness of reactive behavior
A dynamic scheduling approach to designing flexible safety-critical systems
Performance characterization of prelinking and preloadingfor embedded systems
Embedded Software for Video
Model for Evaluating Student Performance Through Their Interaction With Version Control Systems
A proposal for the monitoring of the intervention strategy on the learning of MOOC learners
Looking for a dropout predictor based on the instructional design of online courses
Learning Analytics to Improve the Effectiveness of Continuous Assessment
Data Mashups Privacy Preservation for Learning Analytics (Short paper)
Learning Analytics and Recommender Systems Toward Remote Experimentation
Proceedings of the Learning Analytics Summer Institute Spain 2022 (LASI Spain 2022), Salamanca, Spain, June 20-21, 2022
Predicting Peer-Review Participation at Large Scale Using an Ensemble Learning Method
Learning Analytics Summer Institute Spain 2021: Learning analytics in times of COVID-19: Opportunity from crisis, Barcelona, Spain, July 7-9, 2021
Study of the Flexibility of a Learning Analytics Tool to Evaluate Teamwork Competence Acquisition in Different Contexts
Tracking the students' learning behavior for cybersecurity scenarios
What Information Do Teachers Demand from a Computerized Classroom? An Exploratory Analysis
Predicting early dropout student is a matter of checking completed quizzes: the case of an online statistics module
Analyzing students' persistence using an event-based model
Supporting Competence-based Learning in Blended Learning Environments
Using Kibana and ElasticSearch for the Recommendation of Job Offers to Students
Predicting student performance over time. A case study for a blended-learning engineering course
How are learning analytics considering the societal values of fairness, accounta-bility, transparency and human well-being? - A literature review
A data value chain to support the processing of multimodal evidence in authentic learning scenarios
Specifying information dashboards' interactive features through meta-model instantiation
Learning Analytics Implementation in a Multidomain Computer-Based Learning Environment
Predictors and early warning systems in higher education - A systematic literature review
What makes a maze-based programming challenge difficult?
Application of learning analytics techniques on blended learning environments for university students
Ongoing Research About the Use of Commercial-off-the-shelf Wrist Wearables in Educational Contexts
Validating Performance of Group Formation Based on Homogeneous Engagement Criteria in MOOCs
Learning Analytics Summer Institute Spain 2019: Learning analytics in higher education
Detecting patterns of socially shared regulation of learning in smart learning environments
Using Process Mining to determine the relevance and impact of performing optional quizzes before evaluative assessments
Extending a dashboard meta-model to account for users' characteristics and goals for enhancing personalization
Conceptual framework for process-oriented feedback through Learning Analytics Dashboards
Using Simva to evaluate serious games and collect game learning analytics data
Self and peer monitoring during peer feedback: The instructor perspective
A Data Collection Experience with Canvas LMS as a Learning Platform
Combining clustering and sequential pattern mining to detect behavioral differences in log data: conceptualization and case study
Does failing the first assessment affect withdrawal decisions at course level? An empirical evidence
Monitoring students' self-regulation as a basis for an early warning system
Learning Analytics Summer Institute Spain 2020: Learning Analytics. Time for Adoption?, Valladolid, Spain, June 15-16, 2020
Following up the progress of doctoral students and advisors' workload through data visualizations: a case study in a PhD program
Proceedings of the Learning Analytics Summer Institute Spain 2018, León, Spain, June 18-19, 2018
Learning Analytics Summer Institute Spain 2020. Learning analytics: Time for adoption?
Unplugged institutions: towards a localization of the cloud for Learning Analytics privacy enhancement (Short paper)
Exploring the Synergies between Gamification and Data Collection in Higher Education (Short paper)
Learning Analytics to Assess Students' Behavior With Scratch Through Clickstream
Proceedings of the Learning Analytics Summer Institute Spain 2019: Learning Analytics in Higher Education, Vigo, Spain, June 27-28, 2019
Visualizing educational game data: A case study of visualizations to support teachers
A proposal to measure the understanding of data visualization elements in visual analytics applications (Short paper)
Design of an Extraction, Transform and Load Process for Calculation of Teamwork Indicators in Moodle
An initial analysis of prediction techniques as a support for the flipped classroom
Workshop on human-centred learning analytics: A critical analysis based on the discussion of two case studies
Content-validation questionnaire of a meta-model to ease the learning of data visualization concepts (Short paper)
Towards a Methodology and a Toolkit to Analyse Data for Novices in Computer Programming
Proposal of a System of Indicators to Assess Teamwork Using Log-based Learning Analytics
Comparing supervised machine learning approaches to automatically code learning designs in mobile learning
Lempel: Developing the pattern recognition skill in computational thinking through an online educational game
Towards socially shared regulation within CSCL scripts: mirroring group participation in PyramidApp
Towards a Living Lab to Support Evidence-based Educational Research and Innovation
Visualization Index for Educational Resources by Learning Analytics
Analyzing collaborative filtering for UNED freshman enrolment Recommendation system (Short paper)
InDash: An Interactions Dashboard to Analyze Moodle Logs
Proceedings of the Learning Analytics Summer Institute Spain 2017: Advances in Learning Analytics, Madrid, Spain, July 4-5, 2017
Generation of Customized Dashboards Through Software Product Line Paradigms to Analyse University Employment and Employability Data
Early prediction of students' efficiency during online assessments using a Long-Short Term Memory architecture
A proposal for predicting and intervening on MOOC learners' performance in real time
SPEET: Visual Data Analysis of Engineering Students Performance From Academic Data
RaMon, a Rating Monitoring System for Educational Environments
Contributions to real-time monitoring and analysis of heterogeneous learning environments
Instructional Perspective Using Learning Analytics in Computer Science Education
Human context in Sentiment Analysis symbolic technique
Towards rewards-based gamification in collaborative learning flow patterns based on learning analytics
Analyzing Students' Behavior in UNED-COMA MOOCs
A Cascade Architecture for On-line Predictive Echo State Networks
A Fast Morphological Algorithm with Unknown Word Guessing Induced by a Dictionary for a Web Search Engine
Familiar Problem Space (FPS): A Novel Approach for Brain-like Learning
Syntactical Approach to Post-Processing of Fuzzy Recognized Text
Comparison of Greedy Strategies for Learning Markov Networks of Treewidth k
Arian: A General Architecture for Advisable Agents
FuNNy: A Self Learning Fuzzy System
Semantic Approach to Language Structures Presentation for Machine Learning Algorithms Design
Examples of Compactly Supported Functions for Radial Basis Approximations
Establishing Limits of Kinematic Based Control for Wheeled Mobile Robots
Natural Language Parsing Using Simple Neural Networks
Improved Experimental Results Using Fuzzy Lattice Neurocomputing (FLN) Classifiers
Effects of Fuzzy Theoretic Inference Strategy and Similarity Measure on a Recommender System
Distributional Semantics Approach to Thai Word Sense Disambiguation
A Service Recommendation Scheme for Ubiquitous Network-based Robots
A Lexical Category Analysis of Spoken Natural Language Dialog Systems
Fast Reinforcement Learning Techniques Using the Euclidean Distance and Agent State Occurrence Frequency
A Metric for the Measurement of Relative Susceptibility to Training Data Noise for Multi-Layer Perceptrons
Detection of Heart Murmurs Using the Support Vector Machine Classification Method
The Basic Notions of the Tree Adjoining Grammars and the Methodology as Artificial Language about Linguistic Rules
Feature Selection for Support Vector Machines in Text Categorization
An FPGA Based Evolutionary Controller for Mobile Robots
Using Output of Linear Programming-based Models
Event Structure Representation in Ontological Semantics
Reinforcement Learning Acceleration through Autonomous Subgoal Discovery
Towards Reliable Convergence in the Training of Neural Networks - The Streamlined Glide Algorithm and the LM Glide Algorithm
Dual Systems and Mathematical Methods in MPT3 Marketing Methodology
Shot Change Detection Using Multiple Features and Classification and Regression Tree (CART)
Using a Two-Layered Case-Based Reasoning for Prediction in Soccer Coach
A Graph Mining Technique for Automatic Classification of Web Genre Data
A Reinforcement Learning-Based Algorithm to Predict Vulnerability Occurrence in a Wireless Networking Environment
Effects of SNR on System Modeling Using Neural Networks
Automated Essay Assessment System Using Text Categorization Algorithms
Tutoring and Adaptability: Case Study
Complex Data Mining Algorithm, Based on Logical Deduction Rules
Linguistic and Algorithmic Aspects of Object Extraction from Natural Language Texts
Exploration of Machine Learning and Data Mining Techniques on a Horse Racing Dataset
Automatic Construction of an Interlingual Dictionary for Multilingual Lexicography
The Calculation Method of Learning Coefficients by Weighted Resolution of Singularities
Empirical Bayesian Targeting
Learning Path Metrics from Observed Choices
Development of Statistical Travel Time Model for SP-AS/RS with A New Configuration Alternative
Application of Support Vector Machines on Signal Strength Based Localization in Wireless Networks
Pattern Classification with Polynomial Learning Machines
Co-Evolutionary Data Mining to Deal with Adaptive Adversaries
Verbal Forms Synthesis Method for Linguistic Processors
Discourse Projections of Semiotic Universal Grammar
Adapting Tree Distance to Answer Retrieval and Parser Evaluation
A Fast Reinforcement Learning Technique via Multiple Lookahead Levels
Natural Language Processing as a Source of Linguistic Knowledge
Operational Data Based Anomaly Detection for Locomotive Diagnostics
Utilizing a Massively Parallel Neural Network and a HPC Data Environment for Cancer Diagnosis
Software Application for Parasynthesis in Spanish Automatic Processing
Hopfield Networks To Solve Sudoku Puzzles
Risk Neutral Decision Trees
Cognitive Approach to Language Structure Segmentation for Machine Translation Algorithms
Generation as Paraphrasing in the NL-Interface to a Data Base
Pervasive Web Community Structure Summarization: A Machine Learning Approach
Statistical Validation for Automatic Feature Selection Algorithms in Video Applications
The System for Extracting Semantic Information from Natural Language Text
A Data-Filtering Algorithm for Linear Systems
Audio-Visual System for Robust Speaker Recognition
Non-Equidistance Grey Model Based on Grey Interval Weighting Accumulated Generating Operation
Reinforcement Learning for POMDP Using State Classification
Association Rules Discovery in Workforce Schedule Database
An Adaptive Packet Scheduling based on Reinforcement Learning
A Learning Algorithm for the Appearance-Based Recognition of Complex Objects
In Defense of Symbolic NLP
Just-in-Time Grammar
Discovery of Transcription Factors Using Protein Subcellular Localization Prediction and Gene Expression Profile Analysis
Heterogeneous Decision Tree Classifier System
Consensus Based Ensembles of Soft Clusterings
Inverted Index based Operation on String Vector for K Means Algorithm in Text Clustering
Unconstrained Tight Structure Extraction Using Voronoi Tesselation on Document Images
Application of Machine Learning Algorithms to KDD Intrusion Detection Dataset within Misuse Detection Context
Real-Time Optimization of Dynamic Stochastic Knapsack Problem Using a Multi-Layer Perceptron Network
Parallel Training of Multi-class Support Vector Machines Using Sequential Minimal Optimization
Optimal Classifier Selection for Adaptive Boosting Algorithm
An Effective Parallel Attribute Reduct Algorithm Based on Relation Matrix
Using Markov-k Memory for Problems with Hidden-State
An Attribute Reduct Algorithm Using Matrix Simplification Method
A Multiscale Probability Model for Intrusion Detection Systems
A Self-Constructing Neural Fuzzy Network with Dynamic-Form Symbiotic Evolution
Mining for Features to Improve Classification
Use of deep syntax parsing in cross-language information extraction
Character Recognition Using a Rule Based System
Proceedings of The 2005 International Conference on Machine Learning, Models, Technologies and Applications, MLMTA 2005, Las Vegas, Nevada, USA, June 27-30, 2005
Simulation Of The Intellectual Control Of The Metallurgical Objects On The Basis Of The Information Theory
Liepmann's Imperial Counselor Re-visited: The First Documented Case of Disparity of Neural and Behavioral Handedness
Collaborative Filtering Recommendation System Application Based on Stereotype Model
A Similarity-Based Learning Approach for Adaptive Negotiations
Object-Oriented Genetic Programming: An Initial Implementation
On Translation of Interrogative Sentences from Hindi to English
Antinomies of Language and Language Operations of the Mind
Cluster Association Rules to Discover Regulatory Genes from Gene Expression Data
Bacterial Growth Classification with Support Vector Machines: A Comparative Study
Machine Generation of Arabic Diacritical Marks
Long-Text Keystroke Biometric Applications over the Internet
Inconsistency Management in Software Functional Requirements: A Machine Learning System
Deriving New Orthogonal Wavelets From Perfect Reconstruction Filter Banks
Audio-Visual Based Speech Recognition
The Application of Learning Principles in Learning Technologies
Design of a Genetic Feature Selection Algorithm for Neuron Input Mapping in N-Tuple Based Classifiers
Proceedings of the 2007 International Conference on Machine Learning; Models, Technologies & Applications, MLMTA 2007, June 25-28, 2007, Las Vegas Nevada, USA
Neural Network for Signaling Abnormal Readings In an Electricity Consumption Application
GenInc: An Incremental Context-Free Grammar Learning Algorithm for Domain-Specific Language Development
Laterality of the Alien Hand: Directionality of Callosal Traffic Underpins Neural Handedness
Comments on Using MLP and FFT for Fast Object/Face Detection
A Primitive Model Of Metalanguage For Universal Grammar
Design of Neural - PLC Controller For Industrial Plant
Fault Tolerance in Crab Walking of Quadruped Robots
Parsing Mandarin Compounds - A Sentence Game in the Young Generation
Question and Answer Repartee and the Natural Language Querying of Databases
INTERTEXT: A Multilingual Knowledge Base for Machine Translation
Machine Learning for Identifying Troubled Life Insurer
An Interval Constraint Approach to Neural Networks
Semantic Navigator for Internet Search
Detecting Gene Regulation Relations from Microarray Time Series Data
A Lyapunov-Stability-Based System Hardware Architecture for a Real-Time Multiple-Look-Ahead-Levels Reinforcement Learning
Anomaly Detection in High-Dimensional Financial Databases
Proceedings of the 2006 International Conference on Machine Learning; Models, Technologies & Applications, MLMTA 2006, Las Vegas, Nevada, USA, June 26-29, 2006
On Extreme Principles of Machine Learning in Anomaly and Vulnerability Assessment
A Novel Method for Dialogue Management Based on The Finite State Automaton
Analyzing Open Biometric Identification Systems
Fuzzy Rule Extraction and Optimization for Rat Sleep-Stage Classification
Web Users' Identification Using Cyclic Access Patterns
Borrowing With Interest: Aspect Semantics View of Language Extension and Expansion
Structural Damage Detection by Integrating Independent Component Analysis and Artificial Neural Networks
A Population Monte Carlo Method for Generating Random Matrices with Known Characteristics
A Novel Hybrid Neural Network for Data Clustering
A Novel Area and Time Efficient Squarer Using Vedic Mathematics for Coprocessor Applications
Abstract Entities Ontology Structure
Executable English
Kernel Density Estimation for An Anomaly Based Intrusion Detection System
A ME Model Based on Feature Template for Chinese Text Categorization
Visual K-Map: An Intelligent Tutorial for Solving Karnaugh Maps
Standards of Speech Technologies and Recognition with Fourier and Wavelet Transforms
Matrix Calculation of Second Derivatives in Layered Networks: A Demonstrative Example
Independent Component Analysis of Fixed-Point Algorithm Based on Secant Method
A Design of Constrained Controllers for Linear Systems with Markovian Jumps
Applying Machine Learning Techniques to Automating XML Markup
Usage of Basic Conceptual Knowledge Components for Synthesis of Models and Systems Variants
Faults Discovery Using Mined Data
Statistical Comparisons of Multiple Classifiers
Proceedings of the International Conference on Machine Learning; Models, Technologies and Applications. MLMTA'03, June 23 - 26, 2003, Las Vegas, Nevada, USA
The COG: Making Sentences From Concepts
Clustering Large Data Sets and Computation of Prototypes
Fault Tolerant Gait Planning for a Hexapod Robot with MultipleLocked Joint Failures
Building Artificial Brains at Universities Using a Purely Software Based Approach
Intrinsic Anomalies in Meaning and Sound and Their Implications for Linguistic Theory and Techniques of Linguistic Analysis
Species Independent Protein Localization Prediction for Multi-compartmentalized Proteins
Fuzzy Lattice Reasoning with Delta Measures
Analysis of Fuzzy Error Back-propagation Algorithm
Designing Multi-lingual Machine-Translation System: Some Perspectives
Neural Networks Evolutionary Learning in Chess Game
Prediction of Protein Secondary Structures with a Novel Kernel Density Estimator
Guided Genetic Programming
Comparing Machine Learning Techniques in Predicting Translation Start Sites in Prokaryotic Genomes
Feature Selection and Activity Prediction in Chinese Medicine Research Using a Hybrid Model GA-SVM
Using Web and a Semantic Filter to Obtain Chinese Multiword Units
Regression and Integration Operations in Text Mining
Graph-theoretical Characterizations of Generalized Trees
Using Machine Learning to Generate Headlines
Representing and Processing Emotions in a Cognitive Architecture
Extending an Embodied Cognitive Architecture with Spatial Representation and Reasoning
Proceedings of the 3rd Human-Like Computing Workshop (HLC 2022) co-located with the 2nd International Joint Conference on Learning and Reasoning (IJCLR 2022), Windsor, United Kingdom, September 28-30th, 2022
Abstract: The Computational Gauntlet of Human-Like Learning 59Pat Langley
Cognitive Analysis for Representation Change
The handshake problem for human-like coordination systems
Explanations from Deep Reinforcement Learning Using Episodic Memories
Prediction: An Algorithmic Principle Meeting Neuroscience and Machine Learning Halfway
Repairing Numerical Equations in Analogically Blended Theories Using Reformation
Integrating Paraphrasing into the FRANK QA System
Experiments in Learning Dyck-1 Languages with Recurrent Neural Networks
An overview of the ABC Repair System for Datalog-like Theories
Oruga: an avatar of Representational Systems Theory
Simulated Time for Testing Railway Interlockings with TTCN-3
Mutually Enhancing Test Generation and Specification Inference
Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Safety Property Driven Test Generation from
Synthesis of Scenario Based Test Cases from B Models
A Note on an Anomaly in Black-Box Testing
A Symbolic Framework for Model-Based Testing
Preserving Contexts for Soft Conformance Relation
Auto-generating Test Sequences Using Model Checkers: A Case Study
VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile
Deterministic Dynamic Monitors for Linear-Time Assertions
Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
Using Model Checking for Reducing the Cost of Test Generation
On Checking Whether a Predicate Definitely Holds
High-Level Restructuring of TTCN-3 Test Data
Online Testing of Real-time Systems Using Uppaal
Online Testing with Reinforcement Learning
Multi-paradigmatic Model-Based Testing
Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
Testing of Symbolic-Probabilistic Systems
Robustness of Temporal Logic Specifications
Dynamic Architecture Extraction
Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement
Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets
Test Generation Based on Symbolic Specifications
Ordering Mutants to Minimise Test Effort in Mutation Testing
Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study
A Novel Test Coverage Metric for Concurrently-Accessed Software Components
A Test Calculus Framework Applied to Network Security Policies
Property Oriented Test Case Generation
Aspects for Trace Monitoring
Time Unbalanced Partial Order
Specifying and Generating Test Cases Using Observer Automata
Model-Based Testing of Thin-Client Web Applications
Time-Optimal Real-Time Test Case Generation Using Uppaal
Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems
Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
Automatic Conformance Testing of Internet Applications
Model-Based Testing Through a GUI
Symbolic Test Case Generation for Primitive Recursive Functions
Interactive Testing with HOL-TestGen
Adaptive Random Testing by Bisection and Localization
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach
Computing Unique Input/Output Sequences Using Genetic Algorithms
Test Cases Generation for Nondeterministic Real-Time Systems
Hybrid Input-Output Conformance and Test Generation
Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Using a Software Testing Technique to Improve Theorem Proving
Black-Box Testing of Grey-Box Behavior
Automatic Generation of Test Purposes for Testing Distributed Systems
Calculating Probabilities of Real-Time Test Cases