2632 search results - page 390 / 527 » Alternating Timed Automata |
VMCAI
2005
Springer
15 years 7 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
136
click to vote
ACMACE
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we propose a new method to edit captured human motion data by using the data glove. The animator first wears a glove and mimics the human body motion observed in t...
113
click to vote
SAC
2004
ACM
15 years 7 months ago
2004
ACM
We consider the generalized assignment problem in which the objective is to find a minimum cost assignment of a set of jobs to a set of agents subject to resource constraints. Th...
117
Voted
SIGCOMM
2004
ACM
15 years 7 months ago
2004
ACM
As our economy and critical infrastructure increasingly relies on the Internet, the insecurity of the underlying border gateway routing protocol (BGP) stands out as the Achilles h...
106
click to vote
ARGMAS
2004
Springer
15 years 7 months ago
2004
Springer
Argumentation-based negotiation (ABN) is an effective means of resolving conflicts in a multi-agent society. However, it consumes both time and computational resources for agents ...