43264 search results - page 271 / 8653 » Comparing models of computation |
128
click to vote
GMP
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. We present an approach for robust shape retrieval from databases containing articulated 3D shapes. We represent each shape by the eigenvectors of an appropriately define...
152
click to vote
RTSS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
PADL
2001
Springer
15 years 8 months ago
2001
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
134
click to vote
ICPR
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we introduce a novel way of modeling distributions with a low latent dimensionality. Our method allows for a strict control of the properties of the mapping between ...
149
click to vote
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a new localization algorithm called Sensor Resetting Localization which is an extension of Monte Carlo Localization. The algorithm adds sensor based resampling to Monte...