3737 search results - page 446 / 748 » Knowledge Management and Promises |
VLSID
2010
IEEE
13 years 7 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
FLAIRS
2009
13 years 7 months ago
2009
1 Two sentences are paraphrases if their meanings are equivalent but their words and syntax are different. Paraphrasing can be used to aid comprehension, stimulate prior knowledge,...
ICPR
2010
IEEE
13 years 7 months ago
2010
IEEE
The problem of face verification across the short wave infrared spectrum (SWIR) is studied in order to illustrate the advantages and limitations of SWIR face verification. The cont...
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
We present a novel probabilistic framework for rigid tracking and segmentation of shapes observed from multiple cameras. Most existing methods have focused on solving each of thes...
ICFHR
2010
13 years 4 months ago
2010
There are many video images where hand written text may appear. Therefore handwritten scene text detection in video is essential and useful for many applications for efficient ind...