5450 search results - page 327 / 1090 » Personalization of tagging systems |
149
click to vote
ESOP
2007
Springer
16 years 28 days ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
174
click to vote
LICS
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
200
click to vote
PERVASIVE
2004
Springer
16 years 3 days ago
2004
Springer
Radio Frequency Identification (RFID) has recently received a lot of attention as an augmentation technology in the ubiquitous computing domain. In this paper we present various s...
172
click to vote
ICCCI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Many keyword-based approaches to text classification, information retrieval or even user modeling for adaptive web-based system could benefit from knowledge on relation...
162
click to vote
WEBNET
2001
15 years 8 months ago
2001
: This paper reports the development of a system for automatically organizing Internet web pages into meaningful categories. The aim of the system is to allow Internet users to fin...