9405 search results - page 1434 / 1881 » Computing a Model of Set Theory |
201
Voted
ICAIL
2003
ACM
16 years 3 days ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
181
Voted
SIGECOM
2003
ACM
16 years 3 days ago
2003
ACM
Coalition formation is a key problem in automated negotiation among self-interested agents, and other multiagent applications. A coalition of agents can sometimes accomplish thing...
193
click to vote
COMPGEOM
2010
ACM
15 years 12 months ago
2010
ACM
d Abstract] György Elekes Eötvös University Micha Sharir Tel Aviv University and New York University We first describe a reduction from the problem of lower-bounding the numbe...
189
Voted
COMPGEOM
2010
ACM
15 years 12 months ago
2010
ACM
We present a simple randomized scheme for triangulating a set P of n points in the plane, and construct a kinetic data structure which maintains the triangulation as the points of...
239
click to vote
COMPGEOM
2010
ACM
15 years 12 months ago
2010
ACM
The best known upper bound on the number of topological changes in the Delaunay triangulation of a set of moving points in R2 is (nearly) cubic, even if each point is moving with ...