The Electronic Verification of the Weight and the Amount of Food Consumed by Animals in a Farm.
Doru Anastasiu PopescuNicolae BoldPublished in: SOFA (1) (2014)
Keyphrases
- model checking
- formal verification
- formal analysis
- human beings
- weight function
- situational awareness
- e learning
- website
- digital libraries
- decision making
- social networks
- weighting scheme
- face verification
- information retrieval
- signature verification
- machine learning
- neural network
- electronic documents
- asynchronous circuits
- data sets