1329 search results - page 102 / 266 » Constraint-based model synthesis |
153
click to vote
ROBOCUP
2009
Springer
15 years 11 months ago
2009
Springer
In this article, we provide an overview of three humanoid soccer platforms currently in use at RoboCup: 3D simulation, the humanoid Standard Platform League (SPL), and the Webots-b...
125
click to vote
ISCAS
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper, we have proposed a thermal aware routing based parameterization to generate a clock model that takes the stochastic temperature variation into consideration. The...
145
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— We present a method for computing controllers for stable planar-biped walking gaits that follow a particular style. The desired style is specified with a kinematic target traj...
139
click to vote
PADL
2005
Springer
15 years 10 months ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...
132
click to vote
TSD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents a brand-new Slovak text-to-speech system. It was developed within the framework of ARTIC system (primarily designed to synthesize Czech speech) with r...