Validation of the JavaCard Platform with Implicit Induction Techniques.
Gilles BartheSorin StratulatPublished in: RTA (2003)
Keyphrases
- smart card
- real time
- inductive learning
- formal specification
- computer vision
- machine learning
- inductive inference
- learning algorithm
- information systems
- inductive logic programming
- database
- neural network
- explanation based learning
- rule induction
- communication protocol
- constructive induction
- program synthesis
- oblique decision trees