4609 search results - page 759 / 922 » Automatic Generation of Sigma-Protocols |
143
click to vote
ICDM
2003
IEEE
15 years 11 months ago
2003
IEEE
We consider the problem of mining high-utility plans from historical plan databases that can be used to transform customers from one class to other, more desirable classes. Tradit...
160
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract—We describe a method for automatically generating accurate piecewise planar models of indoor scenes using a combination of a 2D laser scanner and a camera on a mobile pl...
188
click to vote
INFOVIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Large numbers of dimensions not only cause clutter in multidimensional visualizations, but also make it difficult for users to navigate the data space. Effective dimension manage...
151
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes a process for the semi-automatic conversion of numerical and scientific routines written in the C programming language into Triana-based computational servic...
162
click to vote
ISMAR
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a general method for real-time, visiononly single-camera simultaneous localisation and mapping (SLAM) — an algorithm which is applicable to the localisation of any ca...