10568 search results - page 206 / 2114 » Computer Intelligence and Formalization |
119
click to vote
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsi...
100
click to vote
DSVIS
2006
Springer
15 years 6 months ago
2006
Springer
We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. I...
113
click to vote
ASM
2008
ASM
15 years 5 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
155
click to vote
ICCS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This work takes place in the general context of the construction and validation of a domain expertise. It aims at the cooperation of two kinds of knowledge, heterogeneous...
119
click to vote
ISIM
2007
15 years 4 months ago
2007
One of the main problems connected with the formal concept analysis and lattice construction is the high complexity of algorithms which plays a significant role when computing all ...