14190 search results - page 81 / 2838 » Abstractions for hybrid systems |
FOSSACS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
IEAAIE
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. This paper has as main goal to develop a hybrid expert system to minimize some of the complexity problems related to arti cial intelligence eld. For instance, we can ment...
ICAPR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper addresses the clustering problem of hidden dynamical systems behind observed multivariate sequences by assuming an interval-based temporal structure in the seq...
IPPS
1997
IEEE
15 years 4 months ago
1997
IEEE
Abstract — Processor scheduling has received considerable attention in the context of shared-memory multiprocessor systems but has not received as much attention in distributed-m...
104
click to vote
ARC
2010
Springer
15 years 22 hour ago
2010
Springer
: System identification is the art and science of building mathematical models of dynamic systems from observed input-output data. It can be seen as the interface between the real ...