3820 search results - page 569 / 764 » Bounded Model Debugging |
138
Voted
ALDT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We study a model in which a group of agents make a sequence of collective decisions on whether to remain in the current state of the system or switch to an alternative st...
122
Voted
RT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a new data structure for encoding the appearance of a geometric model as seen from a viewing region (view cell). This representation can be used in interactive...
121
Voted
FOCS
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper, we give the first constant-approximations for a number of layered network design problems. We begin by modeling hierarchical caching, where caches are placed in la...
112
Voted
MOBICOM
2000
ACM
15 years 7 months ago
2000
ACM
In satellite and wireless networks and in advanced traffic information systems in which the up-link bandwidth is very limited, a server broadcasts data files in a round-robin man...
133
Voted
SIGGRAPH
2000
ACM
15 years 7 months ago
2000
ACM
Advances in 3D scanning technologies have enabled the practical creation of meshes with hundreds of millions of polygons. Traditional algorithms for display, simplification, and ...