979 search results - page 22 / 196 » Presentations for Abstract Context Institutions |
132
click to vote
ICCS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
108
click to vote
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...
116
click to vote
PUC
2007
14 years 11 months ago
2007
Abstract In the near future, it will be possible to continuously record and store the entire audio–visual lifetime of a person together with all digital information that the pers...
112
click to vote
SAMT
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper presents an approach to semi-automate photo annotation. Instead of using content-recognition techniques this approach leverages context information available a...
CSMR
2005
IEEE
15 years 5 months ago
2005
IEEE
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...