4502 search results - page 851 / 901 » Regular Model Checking |
148
Voted
CVPR
2011
IEEE
14 years 8 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...
117
Voted
BMCBI
2010
14 years 7 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...
119
Voted
CVPR
2011
IEEE
14 years 4 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...
150
Voted
KDD
2012
ACM
13 years 3 months 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....
80
Voted
SIGSOFT
2004
ACM
16 years 1 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...