Comparative analysis of clustering-based remaining-time predictive process monitoring approaches. | 0 | 0.34 | 2021 |
Weightbit An Advancement In Wearable Technology | 0 | 0.34 | 2017 |
WMIN-MOBILE: A Mobile Learning Platform for Information and Service Provision. | 0 | 0.34 | 2011 |
Advanced Grid Programming with Components: A Biometric Identification Case Study | 3 | 0.52 | 2008 |
Component-Based Development Environment for Grid Systems: Design and Implementation | 4 | 0.49 | 2007 |
A Clausal Resolution Method for Branching-Time Logic ECTL" | 2 | 0.39 | 2006 |
Natural deduction calculus for linear-time temporal logic | 8 | 0.74 | 2006 |
Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity | 0 | 0.34 | 2005 |
A clausal resolution method for extended computation tree logic ECTL | 1 | 0.42 | 2003 |