4693 search results - page 324 / 939 » Verifying Hybrid Systems |
191
click to vote
DEXA
2000
Springer
15 years 11 months ago
2000
Springer
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
190
click to vote
KI
2001
Springer
15 years 11 months ago
2001
Springer
The paper presents a new technique for extracting symbolic ground facts out of the sensor data stream in autonomous robots for use under hybrid control architectures, which compris...
171
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
Data-intensive applications that operate on large volumes of data have motivated a fresh look at the design of data center networks. The first wave of proposals focused on designi...
177
click to vote
KES
2004
Springer
16 years 2 days ago
2004
Springer
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
171
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
The main purpose of event-based control, if compared to periodic control, is to minimize data transfer or processing power in networked control systems. Current methods have an (i...