483 search results - page 30 / 97 » Reachability Analysis of Hybrid Systems Using Support Functi... |
EUC
2004
Springer
14 years 1 months ago
2004
Springer
The Distributed Object Group Framework(DOGF) we constructed supports the grouping of distributed objects that are required for distributed application. From the DOGF, we manage dis...
ISQED
2011
IEEE
13 years 4 days ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
VTC
2006
IEEE
14 years 2 months ago
2006
IEEE
—In this paper, the exact closed-form capacity expression for a hybrid selection/MIMO (H-S/MIMO) system in the spatial correlated Rayleigh fading channels is investigated. There ...
CCGRID
2005
IEEE
14 years 2 months ago
2005
IEEE
Genome comparison and analysis can reveal the structures and functions of genome sequences of different species. As more genomes are sequenced, genomic data sources are rapidly in...
LREC
2010
13 years 10 months ago
2010
This paper concerns non-verbal communication, and describes especially the use of eye-gaze to signal turn-taking and feedback in conversational settings. Eye-gaze supports smooth ...