1201 search results - page 31 / 241 » Exact Analysis of Exact Change |
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
ESSMAC
2003
Springer
14 years 26 days ago
2003
Springer
We apply a constrained Hidden Markov Model architecture to the problem of simultaneous localization and surveying from sensor logs of mobile agents navigating in unknown environmen...
COMPGEOM
2008
ACM
13 years 9 months ago
2008
ACM
This movie illustrates exact construction and maintenance of arrangements induced by arcs of great circles embedded on the sphere, also known as geodesic arcs, and exact computati...
DM
2008
13 years 7 months ago
2008
We introduce random recursive trees, where deterministically weights are attached to the edges according to the labeling of the trees. We will give a bijection between recursive t...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
This paper provides analysis to a generalized version of the coupon collector problem, in which the collector gets d coupons each run and he chooses the one that he has the least ...