3233 search results - page 106 / 647 » Validation Method for Intelligent Systems |
114
click to vote
ECRTS
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
145
click to vote
KES
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In data mining, hybrid intelligent systems present a synergistic combination of multiple approaches to develop the next generation of intelligent systems. Our paper prese...
117
click to vote
IAT
2007
IEEE
15 years 9 months ago
2007
IEEE
Today’s air traffic management system is not expected to scale to the projected increase in traffic over the next two decades. Enhanced collaboration between the controllers and...
109
click to vote
PRICAI
2004
Springer
15 years 8 months ago
2004
Springer
Orion Systems International Limited has recognised the need in the healthcare industry for an application to provide robust clinical decision support. One possible approach is to d...
155
click to vote
APN
2010
Springer
15 years 7 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...