1632 search results - page 260 / 327 » Modeling billiards games |
137
Voted
CSFW
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
121
click to vote
ISVC
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a new image-space algorithm for real-time collision detection, where the GPU computes the potentially colliding sets, and the CPU performs the standard triangle...
157
click to vote
LFCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...
136
click to vote
AVSS
2005
IEEE
15 years 10 months ago
2005
IEEE
This article presents a modular architecture for multicamera tracking in the context of sports broadcasting. For each video stream, a geometrical module continuously performs the ...
126
click to vote
ARGMAS
2005
Springer
15 years 10 months ago
2005
Springer
One form of argument-based negotiation is when agents argue about why an offer was rejected. If an agent can state a reason for a rejection of an offer, the negotiation process m...