891 search results - page 10 / 179 » Towards Reasoning Pragmatics |
CSL
2010
Springer
13 years 10 months ago
2010
Springer
GIS
2002
ACM
13 years 9 months ago
2002
ACM
FROCOS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
HT
2007
ACM
14 years 1 months ago
2007
ACM
Folksonomies provide a free source of keywords describing web resources; however, these keywords are free form and their semantics spans multiple contextual dimension. In this pap...
POPL
2012
ACM
12 years 5 months ago
2012
ACM
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...