7820 search results - page 1343 / 1564 » Formalization of Time and Space |
215
click to vote
UAI
2003
15 years 8 months ago
2003
This paper considers a method that combines ideas from Bayesian learning, Bayesian network inference, and classical hypothesis testing to produce a more reliable and robust test o...
176
click to vote
UAI
2003
15 years 8 months ago
2003
The paper explores the power of two systematic Branch and Bound search algorithms that exploit partition-based heuristics, BBBT (a new algorithm for which the heuristic informatio...
167
click to vote
USENIX
2003
15 years 8 months ago
2003
The open-source rsync utility reduces the time and bandwidth required to update a file across a network. Rsync uses an interactive protocol that detects changes in a file and se...
175
click to vote
VISSYM
2003
15 years 8 months ago
2003
For volume rendering of regular grids the display of view-plane aligned slices has proven to yield both good quality and performance. In this paper we demonstrate how to merge the...
175
click to vote
CASCON
1997
15 years 8 months ago
1997
Understanding distributed applications is a tedious and di cult task. Visualizations based on process-time diagrams are often used to obtain a better understanding of the executio...