4693 search results - page 353 / 939 » Verifying Hybrid Systems |
151
click to vote
ISPDC
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents MojaveFS, a distributed file system with support for sequential consistency. It provides location transparency and makes use of replication for reliability an...
173
click to vote
VTC
2006
IEEE
16 years 23 days 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 ...
190
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Control saturation is an important limitation in practical control systems and it is well known that performance degradation or instability may result if this limitation is not...
201
click to vote
DMIN
2006
15 years 8 months ago
2006
Data mining has emerged to be a very important research area that helps organizations make good use of the tremendous amount of data they have. In data classification tasks, fuzzy ...
184
click to vote
ISTA
2004
15 years 8 months ago
2004
: Collaborative querying seeks to help users formulate an accurate query to a search engine by sharing expert knowledge or other users' search experiences. One approach to acc...