4693 search results - page 679 / 939 » Verifying Hybrid Systems |
179
click to vote
FECS
2006
15 years 7 months ago
2006
- This paper presents the results of a PhD thesis research, with an innovative proposal for the development of a Technical Laboratory Disciplines in Electrical and Computing Engine...
153
click to vote
ECIS
2001
15 years 7 months ago
2001
With current projections regarding the growth of Internet sales, online retailing raises many questions about how to market on the Net. While convenience impels consumers to purch...
207
click to vote
HAIS
2008
Springer
15 years 7 months ago
2008
Springer
The hybrid intelligent system presented here, forecasts the presence or not of oil slicks in a certain area of the open sea after an oil spill using CaseBased Reasoning methodology...
175
click to vote
HPDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Efficiently executing large-scale, data-intensive workflows such as Montage must take into account the volume and pattern of communication. When orchestrating data-centric workflo...
152
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
Given a number of possibly concurrent faults (and disturbances) that may affect a nonlinear dynamic system, it may not be possible to solve the standard fault detection and isolat...