7557 search results - page 250 / 1512 » Modeling Timed Concurrent Systems |
170
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we introduce a discrete-time model for the complete power supply sub-system that closely approximates the behavior of its circuit-level (i.e., HSpice), continuous-t...
142
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
182
click to vote
PADS
2009
ACM
16 years 1 months ago
2009
ACM
A methodology and its associated algorithms are presented for mapping a novel, field-based vehicular mobility model onto graphical processing unit computational platform for simul...
191
click to vote
FUZZIEEE
2007
IEEE
16 years 27 days ago
2007
IEEE
— This paper presents the fuzzy video based emotion recognition system VISBER, that allows to analyze facial expressions in video sequences. In order to process images in real-ti...