1116 search results - page 67 / 224 » Applying Predicate Abstraction to Abstract State Machines |
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
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...
113
click to vote
SIMVIS
2004
15 years 2 months ago
2004
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...
EUC
2005
Springer
15 years 6 months ago
2005
Springer
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...
105
click to vote
IJCNN
2008
IEEE
15 years 7 months ago
2008
IEEE
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...
108
Voted
ROBIO
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— In this paper, the architectural parameters optimization of a three-prismatic-universal-universal (3-PUU) parallel kinematic machine (PKM) with three translational degr...