5499 search results - page 297 / 1100 » Generalized Rewrite Theories |
202
click to vote
COMPGEOM
2007
ACM
15 years 11 months ago
2007
ACM
We show how to embed a 3-connected planar graph with n vertices as a 3-polytope with small integer coordinates. The coordinates are bounded by O(27.55n ). The crucial part is the ...
182
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
An argumentation based negotiation model is supported by information theory. Argumentative dialogues change the models of agents with respect to ongoing relationships between them...
194
click to vote
AUSAI
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...
208
click to vote
DAC
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we formulate symmetry detection for incompletely specified functions as an equation without using cofactor computation and equivalence checking. Based on this equat...
207
click to vote
DEON
2006
Springer
15 years 11 months ago
2006
Springer
A general logical framework is presented to represent speech acts that have institutional effects. It is based on the concepts of the Speech Act Theory and takes the form of the FI...