Sciweavers

246 search results - page 31 / 50
» Open Problems in Artificial Life
Sort
View
AI
2011
Springer
13 years 2 months ago
A unifying action calculus
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
Michael Thielscher
ESORICS
2009
Springer
14 years 2 months ago
Privacy Preserving Publication of Moving Object Data
The increasing availability of space-time trajectories left by location-aware devices is expected to enable novel classes of applications where the discovery of consumable, concise...
Francesco Bonchi
CEEMAS
2007
Springer
14 years 1 months ago
Verifying Dominant Strategy Equilibria in Auctions
Future agent mediated eCommerce will involve open systems of agents interoperating between different institutions, where different auction protocols may be in use. We argue that i...
Emmanuel M. Tadjouddine, Frank Guerin
EACL
2010
ACL Anthology
13 years 8 months ago
Attribute-Centric Referring Expression Generation
The premise of the work presented in this chapter is that much of the existing work on the generation of referring expressions has focused on aspects of the problem that appear to ...
Robert Dale, Jette Viethen
AI
2010
Springer
13 years 7 months ago
Soft arc consistency revisited
The Valued Constraint Satisfaction Problem (VCSP) is a generic optimization problem defined by a network of local cost functions defined over discrete variables. It has applicatio...
Martin C. Cooper, Simon de Givry, M. Sanchez, Thom...