2153 search results - page 290 / 431 » From Requirements Models to Formal Specifications in B |
166
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...
188
click to vote
GRAPHITE
2003
ACM
15 years 11 months ago
2003
ACM
We consider a repository of animation models and motions that can be reused to generate new animation sequences. For instance, a user can retrieve an animation of a dog kicking it...
213
click to vote
PKDD
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present an implementation of model-based online reinforcement learning (RL) for continuous domains with deterministic transitions that is specifically designed to achi...
153
click to vote
IWSSD
1993
IEEE
15 years 10 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
148
click to vote
GLVLSI
2003
IEEE
15 years 11 months ago
2003
IEEE
Concerned by the wall that Moore’s Law is expected to hit in the next decade, the integrated circuit community is turning to emerging nanotechnologies for continued device impro...