2291 search results - page 17 / 459 » Representational Reasoning and Verification |
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
ECTEL
2007
Springer
13 years 11 months ago
2007
Springer
When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user's learning goals, that the curriculum i...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
It has been previously demonstrated that systems based on block wise local features and Gaussian mixture models (GMM) are suitable for video based talking face verification due t...
ICPR
2010
IEEE
14 years 25 days ago
2010
IEEE
DATE
2002
IEEE
14 years 14 days ago
2002
IEEE