1138 search results - page 75 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— The lack of a parameterized observation model in robot localization using occupancy grids requires the application of sampling-based methods, or particle filters. This work ad...
NAACL
2010
13 years 5 months ago
2010
The distortion cost function used in Mosesstyle machine translation systems has two flaws. First, it does not estimate the future cost of known required moves, thus increasing sea...
IWVF
2001
Springer
14 years 8 days ago
2001
Springer
This paper describes a practical system developed for generating 3D models of human heads from silhouettes alone. The input to the system is an image sequence acquired from circula...
UIST
1995
ACM
13 years 11 months ago
1995
ACM
This paper exploresthe useof visualoperatorsfor solidsmodeling. We focus on designing interfaces for free-form operators such as blends, sweeps, and deformations, because these op...
3DIM
2003
IEEE
14 years 1 months ago
2003
IEEE
Highly realistic virtual human models are rapidly becoming commonplace in computer graphics. These models, often represented by complex shape and requiring labor-intensive process...