3710 search results - page 63 / 742 » A new calculus of contexts |
ESOP
2009
Springer
15 years 3 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
ICPR
2002
IEEE
16 years 28 days ago
2002
IEEE
In this paper, we propose a new context-sensitive Bayesian learning algorithm. By modeling the distributions of data locations by a mixture of Gaussians, the new algorithm can uti...
120
click to vote
ECCV
2002
Springer
16 years 1 months ago
2002
Springer
Visual sensors provide exclusively uncertain and partial knowledge of a scene. In this article, we present a suitable scene knowledge representation that makes integration and fusi...
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
104
click to vote
INTELLCOMM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The increasing volume of digital communication is raising new challenges in the management of the information flow. We discuss the usage of context to infer presence info...