324 search results - page 12 / 65 » Towards a type theory of contexts |
PODC
2011
ACM
12 years 10 months ago
2011
ACM
We put forward a general theory of goal-oriented communication, where communication is not an end in itself, but rather a means to achieving some goals of the communicating partie...
RSCTC
2004
Springer
14 years 1 months ago
2004
Springer
The theory of rough sets and formal concept analysis are compared in a common framework based on formal contexts. Different concept lattices can be constructed. Formal concept ana...
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract We propose an alternative notion of asymptotic behaviors for the study of type2 computational complexity. Since the classical asymptotic notion (for all but finitely many...
GW
2009
Springer
13 years 5 months ago
2009
Springer
This paper presents a motion attention model that aims at analyzing gesture saliency using context-related information at three different levels. At the first level, motion feature...
PCI
2001
Springer
14 years 4 days ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...