1536 search results - page 205 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
BMCBI
2006
13 years 7 months ago
2006
Background: Statistical methods for identifying positively selected sites in protein coding regions are one of the most commonly used tools in evolutionary bioinformatics. However...
AAI
2005
13 years 7 months ago
2005
1 One of the major challenges of Applied Artificial Intelligence is to provide environments where high level human activities like learning, constructing theories or performing exp...
CVPR
2011
IEEE
12 years 11 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...
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...
DLOG
2007
13 years 10 months ago
2007
Clio is a joint research project between the University of Toronto and IBM Almaden Research Center started in 1999 to address both foundational and systems issues related to the ma...