1721 search results - page 115 / 345 » The fundamentals of hybrid systems modelers |
157
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
174
click to vote
QSHINE
2005
IEEE
15 years 12 months ago
2005
IEEE
Service availability in wireless networks is highly dependent on efficient resource allocation and guaranteed Quality of Service (QoS) amid overloads and failures. This paper add...
156
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper simultaneous localization and map building is performed with a hybrid, metric - topological, approach. A global topological map connects local metric maps, allowing ...
151
click to vote
HYBRID
1995
Springer
15 years 10 months ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
140
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The paper proposes two automatic voltage controllers for the South Korean power system. Simulation results from detailed Korean power-flow models show that the controllers can pro...