Sciweavers

1419 search results - page 18 / 284
» Notes on Formalizing Context
Sort
View
ATAL
2006
Springer
15 years 4 months ago
Formalizing typicality of objects and context-sensitivity in ontologies
In multiagent systems ontologies are essential because they facilitate tasks like communications and reasoning. In this paper, inspired by studies in cognitive psychology, we pres...
Ching-man Au Yeung, Ho-fung Leung
77
Voted
AMC
2005
125views more  AMC 2005»
15 years 11 days ago
A new symbolic computation for formal integration with exact power series
This paper describes a new symbolic algorithm for formal integration of a class of functions in the context of exact power series by using generalized hypergeometric series and co...
Onur Kiymaz, Seref Mirasyedioglu
131
Voted
DIM
2007
ACM
15 years 4 months ago
Linkability estimation between subjects and message contents using formal concepts
In this paper, we examine how conclusions about linkability threats can be drawn by analyzing message contents and subject knowledge in arbitrary communication systems. At first, ...
Stefan Berthold, Sebastian Clauß
INFORMATICALT
2000
126views more  INFORMATICALT 2000»
15 years 8 days ago
Commutation in Global Supermonoid of Free Monoids
This work is an attempt of generalization of the simple statement about the requirements of commutation of words for the case of languages. In the paper, the necessary condition fo...
Anna Brosalina, Boris Melnikov
95
Voted
KI
2007
Springer
15 years 6 months ago
Imagining Contexts
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
Ander Altuna