4502 search results - page 851 / 901 » Regular Model Checking |
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
Head pose estimation from images has recently attracted much attention in computer vision due to its diverse applications in face recognition, driver monitoring and human computer...
BMCBI
2010
13 years 4 months ago
2010
Background: The functional and structural characterisation of enzymes that belong to microbial metabolic pathways is very important for structure-based drug design. The main inter...
CVPR
2011
IEEE
13 years 1 months ago
2011
IEEE
Nowadays numerous social images have been emerging on the Web. How to precisely label these images is critical to image retrieval. However, traditional image-level tagging methods...
KDD
2012
ACM
12 years 10 days ago
2012
ACM
Multi-instance multi-label learning (MIML) is a framework for supervised classification where the objects to be classified are bags of instances associated with multiple labels....
SIGSOFT
2004
ACM
14 years 10 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...