3565 search results - page 308 / 713 » Modeling a system controller for timing analysis |
120
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...
122
click to vote
NIPS
2000
15 years 5 months ago
2000
Experimental data show that biological synapses behave quite differently from the symbolic synapses in common artificial neural network models. Biological synapses are dynamic, i....
143
Voted
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
The aim of this paper is to propose a robust and accurate method for the parametric identification of the thermal behaviour of low consumption buildings. These buildings are known ...
198
click to vote
ICDM2
2004
Springer
15 years 10 months ago
2004
Springer
Vehicle production audit tests, warranty claims and car control unit data are stored in a central data warehouse for data mining analysis. Neural network based part failure rate es...
164
Voted
EUSFLAT
2007
15 years 6 months ago
2007
At present time configurable wireless sensor networks are given special consideration. Wireless sensor networks are now a static elements union. To make such a network a powerful ...