5200 search results - page 43 / 1040 » Symbolic models for control systems |
FM
2001
Springer
14 years 1 months ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
ICANN
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Both symbolic knowledge representation systems and artificial neural networks play a significant role in Artificial Intelligence. A recent trend in the field aims at ...
EUSFLAT
2001
13 years 10 months ago
2001
A method of sliding mode control based on a fuzzy model identified through input output data is presented. In this approach the advantages of the sliding mode control technique ar...
ICDAR
2009
IEEE
13 years 6 months ago
2009
IEEE
In this paper, we tackle the problem of localizing graphical symbols on complex technical document images by using an original approach to solve the subgraph isomorphism problem. ...
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...