1888 search results - page 106 / 378 » Proof theory and computational analysis |
94
Voted
CIKM
1998
Springer
15 years 4 months ago
1998
Springer
People accessing documents via the Internet typically experience latencies in retrieving content. We discuss continual-computation policies that dictate strategies for prefetching...
125
Voted
TVCG
2012
13 years 3 months ago
2012
—A fundamental goal of visualization is to produce images of data that support visual analysis, exploration, and discovery of novel insights. An important consideration during vi...
89
Voted
SIAMNUM
2010
14 years 7 months ago
2010
Two algorithms based upon a tree-cotree decomposition, called in this paper spanning tree technique (STT) and generalized spanning tree technique (GSTT), have been shown to be usef...
98
Voted
MKM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
97
Voted
WOSP
2010
ACM
15 years 7 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...