3820 search results - page 78 / 764 » Bounded Model Debugging |
140
Voted
PODC
2011
ACM
14 years 5 months ago
2011
ACM
We consider the power of objects in the unbounded concurrency shared memory model, where there is an infinite set of processes and the number of processes active concurrently may...
143
Voted
PODS
2005
ACM
16 years 2 months ago
2005
ACM
We consider a scenario where we want to query a large dataset that is stored in external memory and does not fit into main memory. The most constrained resources in such a situati...
96
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We study two widely used algorithms for the Potts model on rectangular subsets of the hypercubic lattice Zd
127
Voted
UAI
1997
15 years 3 months ago
1997
Robust Bayesian inference is the calculation of posterior probability bounds given perturbations in a probabilistic model. This paper focuses on perturbations that can be expresse...
116
Voted
ISER
2000
Springer
15 years 5 months ago
2000
Springer
: Scout II, an autonomous four-legged robot with only one actuator per compliant leg is described. We demonstrate the need to model the actuators and the power source of the robot ...