4447 search results - page 657 / 890 » Model Checking Games |
149
click to vote
ISVC
2007
Springer
16 years 23 days 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...
195
click to vote
LFCS
2007
Springer
16 years 23 days 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...
168
click to vote
AVSS
2005
IEEE
16 years 8 days 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 ...
162
click to vote
ARGMAS
2005
Springer
16 years 5 days 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...
155
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
We define Trusted Kernel-based Coalition Formation as a novel extension to the traditional kernel-based coalition formation process which ensures agents choose the most reliable ...