555 search results - page 56 / 111 » Between Symbol and Language-in-use |
175
click to vote
ITRE
2006
IEEE
16 years 6 days 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...
177
click to vote
CIG
2005
IEEE
15 years 11 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...
208
click to vote
CIVR
2005
Springer
15 years 11 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...
166
click to vote
DALT
2005
Springer
15 years 11 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...
148
click to vote
ICALP
2005
Springer
15 years 11 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 ...