670 search results - page 69 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
109
Voted
MAM
2008
15 years 16 days ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
111
click to vote
TITS
2011
14 years 7 months ago
2011
—This study investigates a method for estimating a driver’s spontaneous frustration in the real world. In line with a specific definition of emotion, the proposed method inte...
116
click to vote
KDD
2004
ACM
15 years 6 months ago
2004
ACM
We are developing a technique to predict travel time of a vehicle for an objective road section, based on real time traffic data collected through a probe-car system. In the area ...
95
Voted
IOLTS
2006
IEEE
15 years 6 months ago
2006
IEEE
A significant fraction of soft errors in modern microprocessors has been reported to never lead to a system failure. Any concurrent error detection scheme that raises alarm every ...
116
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
The Support Vector Machine (SVM) methodology is an effective, supervised, machine learning method that gives stateof-the-art performance for brain state classification from funct...