Sciweavers

1116 search results - page 67 / 224
» Applying Predicate Abstraction to Abstract State Machines
Sort
View
ECAI
2008
Springer
15 years 2 months ago
Groovy Neural Networks
Abstract. The drum machine has been an important tool in music production for decades. However, its flawless way of playing drum patterns is often perceived as mechanical and rigid...
Axel Tidemann, Yiannis Demiris
SIMVIS
2004
15 years 2 months ago
A Formal Model of a Framework for Simulation-Based Animation
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
Wolfgang Müller 0003, Volker Paelke
EUC
2005
Springer
15 years 6 months ago
Application-Driven Customization of an Embedded Java Virtual Machine
Abstract. Java for embedded devices is today synonym of “embeddable pseudo-Java”. Embedded flavors of Java introduce incompatibilities against the standard edition and break i...
Alexandre Courbot, Gilles Grimaud, Jean-Jacques Va...
IJCNN
2008
IEEE
15 years 7 months ago
Building meta-learning algorithms basing on search controlled by machine complexity
Abstract— Meta-learning helps us find solutions to computational intelligence (CI) challenges in automated way. Metalearning algorithm presented in this paper is universal and m...
Norbert Jankowski, Krzysztof Grabczewski
108
Voted
ROBIO
2006
IEEE
208views Robotics» more  ROBIO 2006»
15 years 7 months ago
Stiffness Optimization of a 3-DOF Parallel Kinematic Machine Using Particle Swarm Optimization
Abstract— In this paper, the architectural parameters optimization of a three-prismatic-universal-universal (3-PUU) parallel kinematic machine (PKM) with three translational degr...
Qingsong Xu, Yangmin Li