| 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 |
