5255 search results - page 617 / 1051 » Formal Methods for Privacy |
169
click to vote
ICRA
2003
IEEE
16 years 7 days 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...
163
click to vote
ER
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. We review the definition of entity types derived by symbolgenerating rules. These types appear frequently in conceptual schemas. However, up to now they have received ver...
153
click to vote
ICCS
2003
Springer
16 years 5 days ago
2003
Springer
The exact enumeration of most interesting combinatorial problems has exponential computational complexity. The finite-lattice method reduces this complexity for most two-dimension...
176
click to vote
AI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper investigates the methods for learning predictive classifiers based on Bayesian belief networks (BN) – primarily unrestricted Bayesian networks and Bayesian m...
183
click to vote
ISMIR
2001
Springer
15 years 11 months ago
2001
Springer
The problem of Music Information Retrieval can often be formalized as “searching for multidimensional trajectories”. It is well known that string-matching techniques provide r...