Sciweavers

972 search results - page 150 / 195
» Reasoning with Conditional Time-Intervals
Sort
View
IJCAI
2003
13 years 9 months ago
Optimal Time-Space Tradeoff in Probabilistic Inference
Recursive Conditioning, RC, is an any-space algorithm lor exact inference in Bayesian networks, which can trade space for time in increments of the size of a floating point number...
David Allen, Adnan Darwiche
SIROCCO
2004
13 years 9 months ago
Long-Lived Rambo: Trading Knowledge for Communication
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...
Chryssis Georgiou, Peter M. Musial, Alexander A. S...
INTERACT
2003
13 years 9 months ago
High-Density Cursor: a Visualization Technique that Helps Users Keep Track of Fast-moving Mouse Cursors
: As bigger screens and multi-monitor configurations become more popular, users employ higher mouse accelerations in order to traverse the screen reasonably quickly. The faster the...
Patrick Baudisch, Edward Cutrell, George G. Robert...
NIPS
2003
13 years 9 months ago
Self-calibrating Probability Forecasting
In the problem of probability forecasting the learner’s goal is to output, given a training set and a new object, a suitable probability measure on the possible values of the ne...
Vladimir Vovk, Glenn Shafer, Ilia Nouretdinov
FTCS
1998
144views more  FTCS 1998»
13 years 9 months ago
Improving Software Robustness with Dependability Cases
Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...
Roy A. Maxion, Robert T. Olszewski