Sciweavers

1146 search results - page 39 / 230
» Finite cupping sets
Sort
View
AR
2004
84views more  AR 2004»
13 years 7 months ago
Reinforcement learning of humanoid rhythmic walking parameters based on visual information
This paper presents a method for learning the parameters of rhythmic walking to generate purposive humanoid motions. The controller consists of the two layers: rhythmic walking is...
Masaki Ogino, Yutaka Katoh, Masahiro Aono, Minoru ...
JSYML
2011
87views more  JSYML 2011»
13 years 2 months ago
Benign cost functions and lowness properties
We show that the class of strongly jump-traceable c.e. sets can be characterised as those which have sufficiently slow enumerations so they obey a class of well-behaved cost functi...
Noam Greenberg, André Nies
IEICET
2008
67views more  IEICET 2008»
13 years 7 months ago
Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries
We consider the polynomial time learnability of finite unions of ordered tree patterns with internal structured variables, in the query learning model of Angluin (1988). An ordered...
Satoshi Matsumoto, Takayoshi Shoudai, Tomoyuki Uch...
CP
2007
Springer
13 years 11 months ago
The Expressive Power of Valued Constraints: Hierarchies and Collapses
Abstract. In this paper we investigate the ways in which a fixed collection of valued constraints can be combined to express other valued constraints. We show that in some cases a ...
David A. Cohen, Peter Jeavons, Stanislav Zivn&yacu...
ACSD
2008
IEEE
135views Hardware» more  ACSD 2008»
13 years 9 months ago
Synthesis of Petri nets from infinite partial languages
In this paper we present an algorithm to synthesize a finite unlabeled place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by a term ove...
Robin Bergenthum, Jörg Desel, Robert Lorenz, ...