1373 search results - page 255 / 275 » What is Fuzzy Logic |
TYPES
1993
Springer
14 years 1 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
AOSD
2007
ACM
14 years 1 months ago
2007
ACM
In order to increase the productivity of the application developers, it is desirable to remove the persistence concern from their responsibility. For this purpose, the orthogonal ...
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
CCS
2006
ACM
14 years 1 months ago
2006
ACM
Web applications are the Achilles heel of our current ICT infrastructure. NIST's national vulnerability database clearly shows that the percentage of vulnerabilities located ...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. For agents whose act...