2790 search results - page 159 / 558 » A generative theory of relevance |
160
click to vote
NJC
2006
15 years 6 months ago
2006
We axiomatize the congruence relation for binding bigraphs and prove that the generated theory is complete. In doing so, we define a normal form for binding bigraphs, and prove tha...
183
click to vote
ISCIS
2009
Springer
16 years 1 months ago
2009
Springer
—In this paper, we study how a humanoid robot can learn affordance relations in his environment through its own interactions in an unsupervised way. Specifically, we developed a...
176
click to vote
IWIC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. The long-term historical development and broad geographical variation of Chinese character (Hanzi/Kanji) has made it a crosscultural information sharing platform in East ...
152
click to vote
ENTCS
2006
15 years 6 months ago
2006
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...
166
click to vote
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Using data from a popular online social network site, this paper explores the relationship between profile structure (namely, which fields are completed) and number of friends, gi...