Sciweavers

3573 search results - page 77 / 715
» Reasoning about Codata
Sort
View
117
Voted
INTELLCOMM
2004
Springer
15 years 8 months ago
About the Heterogeneity of Web Prefetching Performance Key Metrics
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...
Josep Domènech, Julio Sahuquillo, Jos&eacut...
KR
1998
Springer
15 years 6 months ago
Foundations of Spatioterminological Reasoning with Description Logics
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...
Volker Haarslev, Carsten Lutz, Ralf Möller
136
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
Debugging reinvented: asking and answering why and why not questions about program behavior
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,...
Andrew Jensen Ko, Brad A. Myers
94
Voted
CONTEXT
1999
Springer
15 years 7 months ago
Counterfactual Reasoning by Means of a Calculus of Narrative Context
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...
Rolf Nossum, Michael Thielscher
110
Voted
CHI
2010
ACM
15 years 2 months ago
America is like Metamucil: fostering critical and creative thinking about metaphor in political blogs
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...
Eric P. S. Baumer, Jordan Sinclair, Bill Tomlinson