8228 search results - page 386 / 1646 » Structural Logical Relations |
182
click to vote
EUROGP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
155
click to vote
RSCTC
1998
Springer
15 years 11 months ago
1998
Springer
This paper reviews and discusses generalizations of Pawlak rough set approximation operators in mathematical systems, such as topological spaces, closure systems, lattices, and pos...
159
click to vote
FUZZY
1994
Springer
15 years 11 months ago
1994
Springer
In this paper, evolution strategy is applied in order to improve the time series prediction accuracy of a Sugeno and Takagi type fuzzy inference system FIS. The presented approach...
166
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
This paper is devoted to clarify the only theoretical result included in the controversial work of C. Elkan “The paradoxical success of fuzzy logic” (1994), by offering both a...
129
click to vote
WSC
1997
15 years 8 months ago
1997
This paper presents a message-based discrete event simulation architecture. It will examine each of the different types of messages used to schedule events, transfer items through...