1101 search results - page 200 / 221 » Forcing in proof theory |
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
Integrating contributions received from other agents is an essential activity in multi-agent systems (MASs). Not only must related contributions be integrated together, but the co...
ATAL
1997
Springer
13 years 11 months ago
1997
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
SIGGRAPH
2010
ACM
13 years 10 months ago
2010
ACM
Camouflage images contain one or more hidden figures that remain imperceptible or unnoticed for a while. In one possible explanation, the ability to delay the perception of the hi...
ECAI
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. In social mechanism design, obligation distribution creates individual or contractual obligations that imply a collective obligation. A distinguishing feature from group ...
ESANN
2004
13 years 9 months ago
2004
The twin of this paper, "Forbidden Magnification? I." [1], presents systematic SOM simulations with the explicit magnification control scheme of Bauer, Der, and Herrmann ...