7988 search results - page 325 / 1598 » A Useful Undecidable Theory |
152
Voted
GG
2004
Springer
15 years 11 months ago
2004
Springer
We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nested structures, in which each level of nesting corresponds ...
138
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
In this paper, a novel approach for contour-based 2D shape recognition is proposed, using a recently introduced class of information theoretic kernels. This kind of kernels, based...
140
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
We introduce a new method of a biped walking pattern generation by using a preview control of the zeromoment point (ZMP). First, the dynamics of a biped robot is modeled as a runn...
170
click to vote
CAEPIA
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In recent years, particle filters have emerged as a useful tool that enables the application of Bayesian reasoning to problems requiring dynamic state estimation. The ef...
176
click to vote
ICVS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We introduce the knowledge-based image interpretation system GeoAIDA and give examples for an image operator, extracting trees from aerial imagery. Moreover we present a ...