2136 search results - page 89 / 428 » Learning Behavior Models for Hybrid Timed Systems |
90
Voted
ICCAD
1997
IEEE
15 years 4 months ago
1997
IEEE
Presynthesis optimizations transform a behavioral HDL description into an optimized HDL description that results in improved synthesis results. In this paper we introduce the decom...
149
Voted
ANSOFT
2002
15 years 16 days ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
127
click to vote
LWA
2007
15 years 2 months ago
2007
Typical conversational recommender systems support interactive strategies that are hard-coded in advance and followed rigidly during a recommendation session. In fact, Reinforceme...
111
click to vote
RTSS
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
102
Voted
JCNS
2008
14 years 11 months ago
2008
There is a debate regarding whether motor memory is stored in the cerebellar cortex, or the cerebellar nuclei, or both. Memory may be acquired in the cortex and then be transferred...