2136 search results - page 356 / 428 » Learning Behavior Models for Hybrid Timed Systems |
144
Voted
CADE
2007
Springer
16 years 4 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
120
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— Mobile wireless sensors in indoor environments will experience multipath fading, causing rapid variations in the capacity of the radio link. We present a strategy that increase...
142
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Detailed information on DNA-binding transcription factors (the key players in the regulation of gene expression) and on transcriptional regulatory interactions of micr...
150
click to vote
APIN
1998
15 years 3 months ago
1998
Abstract. Recent research in automated highway systems has ranged from low-level vision-based controllers to high-level route-guidance software. However, there is currently no syst...
150
Voted
PE
2010
Springer
15 years 2 months ago
2010
Springer
We consider a push pull queueing system with two servers and two types of jobs which are processed by the two servers in opposite order, with stochastic generally distributed proc...