1419 search results - page 27 / 284 » Notes on Formalizing Context |
125
Voted
FORTE
2009
15 years 9 days ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
110
click to vote
ENTCS
2007
15 years 2 months ago
2007
We study one of the many aspects of privacy, which is referred to as data anonymity, in a formal context. Data anonymity expresses whether some piece of observed data, such as a v...
109
Voted
CSCW
2004
ACM
15 years 8 months ago
2004
ACM
Scientific collaboration is largely focused on the sharing and joint analysis of scientific data and results. Today, a movement is afoot within the scientific computing community ...
139
click to vote
ACL
1992
15 years 3 months ago
1992
For a very long time, it has been considered that the only way of automatically extracting similar groups of words from a text collection for which no semantic information exists ...
105
click to vote
PERCOM
2008
ACM
16 years 2 months ago
2008
ACM
Comparing context of different entities is not easy at all. Since context depends on the situation of a particular entity it can be understood in different ways by various entitie...