3573 search results - page 77 / 715 » Reasoning about Codata |
117
Voted
INTELLCOMM
2004
Springer
15 years 8 months ago
2004
Springer
Web prefetching techniques have pointed to be especially important to reduce web latencies and, consequently, an important set of works can be found in the open literature. But, in...
126
click to vote
KR
1998
Springer
15 years 6 months ago
1998
Springer
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
136
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...
94
Voted
CONTEXT
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The basic Event Calculus is extended by a Calculus of Narrative Context, to allow for reasoning about counterfactuals. Different hypothetical courses of events are disti...
110
Voted
CHI
2010
ACM
15 years 2 months ago
2010
ACM
Blogs are becoming an increasingly important medium-socially, academically, and politically. Much research has involved analyzing blogs, but less work has considered how such anal...