2136 search results - page 265 / 428 » Learning Behavior Models for Hybrid Timed Systems |
119
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
131
click to vote
JCNS
2010
15 years 3 months ago
2010
Accurately simulating neurons with realistic morphological structure and synaptic inputs requires the solution of large systems of nonlinear ordinary differential equations. We ap...
144
click to vote
TSP
2010
14 years 11 months ago
2010
We formulate and study a decentralized multi-armed bandit (MAB) problem. There are distributed players competing for independent arms. Each arm, when played, offers i.i.d. reward a...
151
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
—We consider a cognitive radio network with distributed multiple secondary users, where each user independently searches for spectrum opportunities in multiple channels without e...
141
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
: 1 Invaluable feedback from HIICS referees is gratefully acknowledged. Mobile data services integrate handheld and Internet technologies to create new value propositions (Keen and...