Sciweavers

11030 search results - page 261 / 2206
» Generative Sound Models
Sort
View
ECBS
2010
IEEE
151views Hardware» more  ECBS 2010»
15 years 12 months ago
Generating Test Plans for Acceptance Tests from UML Activity Diagrams
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speci...
Andreas Heinecke, Tobias Brückmann, Tobias Gr...
ICRA
2003
IEEE
137views Robotics» more  ICRA 2003»
15 years 11 months ago
Biped walking pattern generation by using preview control of zero-moment point
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...
Shuuji Kajita, Fumio Kanehiro, Kenji Kaneko, Kiyos...
EMNLP
2008
15 years 8 months ago
A Discriminative Candidate Generator for String Transformations
String transformation, which maps a source string s into its desirable form t , is related to various applications including stemming, lemmatization, and spelling correction. The ...
Naoaki Okazaki, Yoshimasa Tsuruoka, Sophia Ananiad...
IEEEICCI
2008
IEEE
16 years 29 days ago
The computational manifold approach to consciousness and symbolic processing in the cerebral cortex
—A new abstract model of computation, the computational manifold, provides a framework for approaching the problems of consciousness, awareness, cognition and symbolic processing...
Douglas S. Greer
LICS
2006
IEEE
16 years 17 days ago
Independence and Concurrent Separation Logic
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
Jonathan Hayman, Glynn Winskel