555 search results - page 56 / 111 » Between Symbol and Language-in-use |
ITRE
2006
IEEE
14 years 1 months ago
2006
IEEE
Knowledge models are structured representations of knowledge using symbols to represent pieces of knowledge and relationships between them, while a knowledge building community inv...
CIG
2005
IEEE
14 years 1 months ago
2005
IEEE
A newly designed game is introduced, which feels like Backgammon, but has a simplified rule set. Unlike earlier attempts at simplifying the game, Nannon maintains enough features a...
CIVR
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a new approach for building semantic image indexing and retrieval systems. Our approach is composed of four phases : (1) knowledge acquisition, (2) weakly-super...
DALT
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper is concerned with designing architectures for rational agents. In the proposed architecture, agents have belief bases that are theories in a multi-modal, highe...
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...