Expression et verification des connaissances thesaurus par les reseaux de petri.
Jean-Michel KnippelPublished in: Bull. dInformatique Approfondie et Appl. (1996)
Keyphrases
- model checking
- information retrieval systems
- formal verification
- domain specific
- digital libraries
- information retrieval
- query expansion
- natural language processing
- semantic network
- expression recognition
- keywords
- verification method
- face verification
- machine learning
- false acceptance rate
- expert systems
- concurrent systems
- asynchronous circuits
- formal methods
- information systems
- decision trees
- feature extraction
- co occurrence
- facial expressions