Constructing Explainable Classifiers from the Start - Enabling Human-in-the Loop Machine Learning. | 0 | 0.34 | 2022 |
Fully neural object detection solutions for robot soccer. | 0 | 0.34 | 2022 |
TTWiFi: Time-Triggered Communication over WiFi | 0 | 0.34 | 2021 |
More Interpretable Decision Trees. | 0 | 0.34 | 2021 |
A fair comparison of the EEG signal classification methods for alcoholic subject identification | 0 | 0.34 | 2020 |
HeMI ++: A Genetic Algorithm based Clustering Technique for Sensible Clusters | 0 | 0.34 | 2020 |
Towards the Ranking of Web-pages for Educational Purposes | 0 | 0.34 | 2019 |
ROBO - Robust, Fully Neural Object Detection for Robot Soccer. | 0 | 0.34 | 2019 |
Panel of Attribute Selection Methods to Rank Features Drastically Improves Accuracy in Filtering Web-pages Suitable for Education | 1 | 0.36 | 2019 |
Privacy In Multiple On-Line Social Networks - Re-Identification And Predictability | 0 | 0.34 | 2019 |
Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour | 0 | 0.34 | 2019 |
Inviting Teachers to Use Educational Robotics to Foster Mathematical Problem-Solving. | 0 | 0.34 | 2019 |
Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation. | 0 | 0.34 | 2018 |
Real-Time Scene Understanding Using Deep Neural Networks for RoboCup SPL. | 0 | 0.34 | 2018 |
High-Level Executable Models of Reactive Real-Time Systems with Logic-Labelled Finite-State Machines and FPGAs | 0 | 0.34 | 2018 |
Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems. | 1 | 0.35 | 2017 |
3lp: Three Layers Of Protection For Individual Privacy In Facebook | 0 | 0.34 | 2017 |
Social Media Users' Privacy Against Malicious Data Miners | 0 | 0.34 | 2017 |
Architecture for logic programing with arrangements of finite-state machines | 1 | 0.35 | 2016 |
What Effect Does an Animal Robot Called CuDDler Have on the Engagement and Emotional Response of Older People with Dementia? A Pilot Feasibility Study | 5 | 0.49 | 2016 |
DAJEE: A Dataset of Joint Educational Entities for Information Retrieval in Technology Enhanced Learning. | 5 | 0.70 | 2016 |
Genetic algorithm with healthy population and multiple streams sharing information for clustering. | 3 | 0.40 | 2016 |
Privacy Tips: Would it be ever possible to empower online social-network users to control the confidentiality of their data? | 0 | 0.34 | 2015 |
Can On-line Social Network Users Trust That What They Designated as Confidential Data Remains So? | 0 | 0.34 | 2015 |
Fast MAV Control by Control/Status OO-Messages on Shared-Memory Middleware | 0 | 0.34 | 2015 |
Can On-line Social Network Users Trust That What They Designated as Confidential Data Remains So? | 0 | 0.34 | 2015 |
Modeling, Validation, and Continuous Integration of Software Behaviours for Embedded Systems | 2 | 0.36 | 2015 |
Exploiting Reduction Rules and Data Structures: Local Search for Minimum Vertex Cover in Massive Graphs | 0 | 0.34 | 2015 |
Is It FPT to Cover Points with Tours on Minimum Number of Bends (Errata)? | 0 | 0.34 | 2015 |
Simple, not simplistic the middleware of behaviour models | 0 | 0.34 | 2015 |
Empowering users of social networks to assess their privacy risks | 4 | 0.41 | 2014 |
Correctness by Construction with Logic-Labeled Finite-State Machines -- Comparison with Event-B | 2 | 0.38 | 2014 |
High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines | 5 | 0.42 | 2014 |
Integration of Planning and Reasoning into an Architecture That Enables Model-Driven Development. | 0 | 0.34 | 2013 |
Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking. | 5 | 0.42 | 2013 |
Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering. | 5 | 0.43 | 2013 |
Efficient Modelling of Embedded Software Systems and their Formal Verification | 7 | 0.45 | 2012 |
On the parameterized complexity of dominant strategies | 0 | 0.34 | 2012 |
EXPLORATION OF MASSIVE CRIME DATA SETS THROUGH DATA MINING TECHNIQUES | 2 | 0.37 | 2011 |
Image Capture for Concrete Programming - Building Schemata for Problem Solving. | 0 | 0.34 | 2011 |
Model Checking of Transition-Labeled Finite-State Machines. | 1 | 0.36 | 2011 |
The instance easiness of supervised learning for cluster validity | 1 | 0.35 | 2011 |
The rectilinear k-bends TSP | 1 | 0.36 | 2010 |
Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic | 2 | 0.38 | 2010 |
Modelling behaviour requirements for automatic interpretation, simulation and deployment | 5 | 0.49 | 2010 |
Requirements Engineering via Non-monotonic Logics and State Diagrams | 4 | 0.43 | 2010 |
Single parameter FPT-algorithms for non-trivial games | 3 | 0.38 | 2010 |
NP-completeness and FPT Results for Rectilinear Covering Problems | 5 | 0.53 | 2010 |
Architecture for Hybrid Robotic Behavior | 8 | 0.53 | 2009 |
Reduction rules deliver efficient FPT-algorithms for covering points with lines | 3 | 0.41 | 2009 |