4693 search results - page 341 / 939 » Verifying Hybrid Systems |
163
click to vote
NC
1998
15 years 8 months ago
1998
Hybrid connectionist symbolic systems have been the subject of much recent research in AI. By focusing on the implementation of high-level human cognitive processes (e.g., rule-ba...
169
click to vote
JVCA
2007
15 years 6 months ago
2007
One of the biggest obstacle to building effective augmented reality (AR) systems is the lack of accurate sensors that report the location of the user in an environment during arbi...
226
click to vote
JAIHC
2010
15 years 5 months ago
2010
The state of the art is explored in using soft computing (SC) methods for network intrusion detection, including the examination of efforts in ten specific areas of SC as well as ...
185
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
209
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...