Sciweavers

4693 search results - page 353 / 939
» Verifying Hybrid Systems
Sort
View
ISPDC
2006
IEEE
16 years 23 days ago
MojaveFS: Providing Sequential Consistency in a Distributed Objects System
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...
Cristian Tapus, David A. Noblet, Vlad Grama, Jason...
VTC
2006
IEEE
136views Communications» more  VTC 2006»
16 years 23 days ago
Closed-Form Capacity Expression for Transmit Antenna Selection Systems with Correlated Fading Channels
—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 ...
Wenwu Xie, Shouyin Liu, Guangming Huang
CDC
2009
IEEE
217views Control Systems» more  CDC 2009»
15 years 11 months ago
Anti-windup compensation for nonlinear systems via gradient projection: Application to adaptive control
— 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...
Justin Teo, Jonathan P. How
DMIN
2006
133views Data Mining» more  DMIN 2006»
15 years 8 months ago
A Fuzzy Neural Based Data Classification System
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 ...
Luong Trung Tuan, Suet Peng Yong
ISTA
2004
15 years 8 months ago
Query Graph Visualizer: A Collaborative Querying System
: 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...
Lin Fu, Dion Hoe-Lian Goh, Schubert Shou-Boon Foo,...