4693 search results - page 289 / 939 » Verifying Hybrid Systems |
165
click to vote
AHS
2006
IEEE
16 years 22 days ago
2006
IEEE
The paper presents a novel integrated system in which a number of image processing algorithm are embedded within a Genetic Algorithm (GA) based framework in order to provide an ad...
209
click to vote
AINA
2006
IEEE
16 years 22 days ago
2006
IEEE
— In today’s service market the provisioning of high quality services has become a critical issue for providers as the business success of their customers is often based on the...
171
click to vote
DILS
2005
Springer
16 years 6 days ago
2005
Springer
: We present a new approach to integrate annotation data from public sources for the expression analysis of genes and proteins. Expression data is materialized in a data warehouse ...
165
click to vote
ISPA
2005
Springer
16 years 5 days ago
2005
Springer
：Wireless Sensor and Actor Networks (WSANs) consist of three types of nodes with different capabilities and functions. Because of these heterogeneities, current network security ...
167
click to vote
SAC
2004
ACM
16 years 2 days ago
2004
ACM
Some telecommunication systems can not afford the cost of repeating a corrupted message. Instead, the message should be somewhat “corrected” by the receiver. In these cases a...