948 search results - page 159 / 190 » How People use Words to Make Meanings |
91
Voted
WADT
2004
Springer
15 years 4 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
CIKM
2008
Springer
15 years 28 days ago
2008
Springer
This paper presents an analysis of the correlation of annotated information unit (textual) tags and geographical identification metadata geotags. Despite the increased usage of ge...
105
Voted
SIGIR
2009
ACM
15 years 5 months ago
2009
ACM
The selection of indexing terms for representing documents is a key decision that limits how effective subsequent retrieval can be. Often stemming algorithms are used to normaliz...
80
Voted
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— The topological structure of the Internet infrastructure is an important and interesting subject that attracted significant research attention in the last few years. A...
78
Voted
AIIDE
2008
15 years 1 months ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...