1536 search results - page 240 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
CVPR
2010
IEEE
13 years 7 months ago
2010
IEEE
This article presents a new method for non-rigid surface registration between a surface model and a surface of an internal organ in a given 3D medical image. The surface is repres...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— We aim to perform robust and fast vision-based localization using a pre-existing large map of the scene. A key step in localization is associating the features extracted from t...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
This paper presents a simple and intuitive method for mining search engine query logs to get fast query recommendations on a large scale industrial-strength search engine. In orde...
ICDM
2009
IEEE
14 years 2 months ago
2009
IEEE
—Methods for learning decision rules are being successfully applied to many problem domains, especially where understanding and interpretation of the learned model is necessary. ...
BIBE
2006
IEEE
14 years 1 months ago
2006
IEEE
Bioinformatics data is growing at a phenomenal rate. Besides the exponential growth of individual databases, the number of data depositories is increasing too. Because of the comp...