4693 search results - page 349 / 939 » Verifying Hybrid Systems |
219
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper aims at estimating the switching time for linear switched systems, i.e. the time instant when a sub-model is switched on while another one is switched off. Assuming that...
180
click to vote
NCI
2003
15 years 8 months ago
2003
Telecommunication networks have evolved in time thanks to the advances produced by the new technologies and especially, Internet. Expert systems are being applied in management of...
197
click to vote
FUIN
2008
15 years 6 months ago
2008
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
162
Voted
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
The need for recommendation systems to ease user navigations has become evident by growth of information on the Web. There exist many approaches of learning for Web usage-based re...
201
click to vote
ADBIS
2007
Springer
16 years 28 days ago
2007
Springer
The exponential growth of the web and the extended use of database management systems in widely distributed information systems has brought to the fore the need for seamless interc...