3991 search results - page 367 / 799 » Bounding homogeneous models |
237
click to vote
CA
2000
IEEE
16 years 20 hour ago
2000
IEEE
This paper presents an adaptive technique to animate deformable bodies in real-time. In contrast to most previous work, we introduce a multi-resolution model that locally refines...
193
click to vote
TPHOL
2000
IEEE
15 years 12 months ago
2000
IEEE
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
219
click to vote
CRYPTO
2000
Springer
15 years 12 months ago
2000
Springer
Abstract. We present a lower bound on the number of rounds required by Concurrent Zero-Knowledge proofs for languages in NP. It is shown that in the context of Concurrent Zero-Know...
185
click to vote
INFOCOM
1993
IEEE
15 years 11 months ago
1993
IEEE
This paper addresses the problem of finding the worst case end-to-end delay and buffer occupancy bounds in ATM networks with rate-controlled, non-work conserving servers. A theore...
229
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
We present and analyze coalitional affinity games, a family of hedonic games that explicitly model the value that an agent receives from being associated with other agents. We pro...