1422 search results - page 173 / 285 » Complementation in Abstract Interpretation |
141
click to vote
EUSAI
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We present a concept called ‘ubiquitous attentiveness’: Context information concerning the user and his environment is aggregated, exchanged and constitutes triggers ...
84
Voted
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—This paper describes a robust and accurate blackbox macromodeling technique, in which the constitutive equations combine both closed-form delay operators and low-order r...
117
click to vote
CSL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
137
Voted
ECSQARU
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
115
click to vote
IEAAIE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...