7106 search results - page 273 / 1422 » Restricted Complexity, General Complexity |
144
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
We present EXTENT, an image annotation system that combines the context and content information to annotate images with metadata that cannot be reliably inferred from either the c...
141
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
121
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
147
click to vote
IJCAI
2003
15 years 6 months ago
2003
The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierar chy of decidable logics with multiple maximal el ements. It would be desirable to ...
123
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
It is frequently suggested that predictions made by game theory could be improved by considering computational restrictions when modeling agents. Under the supposition that player...