7049 search results - page 1117 / 1410 » Data Abstraction for CSP-OZ |
168
click to vote
HYBRID
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...
160
Voted
ICAISC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The support vector machine (SVM) constitutes one of the most successful current learning algorithms with excellent classification accuracy in large real-life problems an...
165
click to vote
ICCSA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Wireless LAN (WLAN) refers to the wireless network environment constructed indoors or outdoors, by using either the radio or light wave technology instead of wire signals...
182
click to vote
ICTAC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
171
click to vote
ICWL
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. To enable an online virtual university, a learning environment covering the entire spectrum of the learning and management process is required. However, constructing such...