Results 221 to 230 of about 849,683 (262)
Some of the next articles are maybe not open access.
A Formal Model of Context-Awareness and Context-Dependency
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006The communication environment surrounding our daily experience is increasingly characterized by mobile devices that can exchange multimedia information and provide access to various services of complex nature. The trend is now clear that future consumer computing experience will be based on multiple pervasive communication devices and services, where ...
Mats Neovius +3 more
openaire +1 more source
Probabilistic Concepts in Formal Contexts
2012We generalize the main notions of Formal Concept Analysis with the ideas of the semantic probabilistic inference. We demonstrate that under standard restrictions, our definitions completely correspond to the original notions of Formal Concept Analysis. From the point of view of applications, we propose a method of recovering concepts in formal contexts
Alexander V. Demin +2 more
openaire +1 more source
2011 6th International Conference on Computer Science & Education (ICCSE), 2011
In this paper, an ontology is regarded as an information system in formal concept analysis. Then, based on theories of concepts, a formal context in ontologies defined by a set of properties is conceptualized as a concept with the extent and the intent.
Sun Yu, Xia Youming, Zhiping Li
openaire +1 more source
In this paper, an ontology is regarded as an information system in formal concept analysis. Then, based on theories of concepts, a formal context in ontologies defined by a set of properties is conceptualized as a concept with the extent and the intent.
Sun Yu, Xia Youming, Zhiping Li
openaire +1 more source
Formal Context and Morphological Analysis
1999This paper presents a definition of context for the interpretation of word-structure that is based on the formal relation of asymmetry. We provide evidence that morpho-conceptual complexity is optimally tractable in terms of local asymmetrical relations in formal context.
openaire +1 more source
Implications in Triadic Formal Contexts
2004There are different possibilities to define implications in a triadic formal context. We discuss several such notions. Our main interest is to give compact descriptions and to use them for an algorithm that generates these implications. Our findings are illustrated by a small example.
Bernhard Ganter, Sergei A. Obiedkov
openaire +1 more source
Agreement Contexts in Formal Concept Analysis
2004This paper describes a technique in which some columns of an n-ary relation are interpreted as defining a situation. For example when considering movies, critics and reviews we talk about the situation when the critic is a particular critic. We then construct a formal context called an agreement context designed to show that which is in common between ...
Cole, R. J., Becker, P.
openaire +2 more sources
On computable formal concepts in computable formal contexts
Siberian Mathematical Journal, 2007Summary: We introduce and study the notions of computable formal context and computable formal concept. We give some examples of computable formal contexts in which the computable formal concepts fail to form a lattice and study the complexity aspects of formal concepts in computable contexts.
Morozov, A. S., L'vova, M. A.
openaire +2 more sources
Formal concept analysis in intuitionistic fuzzy formal context
2010 Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010This paper mainly studies the formal concept analysis in an intuitionistic fuzzy formal context. The primitive notions in concept lattice theory are extended to the intuitionistic fuzzy environment. According to this view, the notion of crisp-intuitionistic fuzzy concept is proposed which originates from an defined extent operator and an intent ...
openaire +1 more source
Automated Context Formalization for Context-aware Specification Approach
International Journal of Information System Modeling and Design, 2018Requirement specification is a key element in model-checking verification. The context-aware approach is an effective technique for automating the specification of requirement considering specific environmental conditions. In most of existing approaches, there is no support of this crucial task and are mainly based on the considerable efforts and ...
Amel Benabbou, Safia Nait Bahloul
openaire +1 more source
Formalizing Context in Intuitionistic Type Theory
Fundamenta Informaticae, 2000The article discusses formal aspects of the notion of context as needed in AI applications. We advocate the use of Martin-Löf's intuitionistic type theory to formalize and implement contexts. Through many examples belonging to the domains of computational semantics and knowledge based systems, we show that the built-in notion of context in ...
openaire +2 more sources