4962 search results - page 340 / 993 » Stochastic Model Checking |
167
Voted
SODA
2012
ACM
13 years 5 months ago
2012
ACM
Motivated by online ad allocation, we study the problem of simultaneous approximations for the adversarial and stochastic online budgeted allocation problem. This problem consists...
148
Voted
SCP
2010
15 years 1 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
135
click to vote
ICIP
2008
IEEE
15 years 9 months ago
2008
IEEE
Image gradients form powerful cues in a host of vision and graphics applications. In this paper, we consider multiple views of a textured planar scene and consider the problem of ...
122
click to vote
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— This paper investigates the reliability of applicationlevel multicast based on a distributed hash table (DHT) in a highly dynamic network. Using a node residual lifetim...
129
click to vote
3DPVT
2002
IEEE
15 years 8 months ago
2002
IEEE
A method for reconstruction of 3D polygonal models from multiple views is presented. The method uses sampling techniques to construct a texture-mapped semi-regular polygonal mesh ...