3020 search results - page 505 / 604 » Type Analysis of Prolog Using Type Graphs |
MDM
2010
Springer
14 years 1 months ago
2010
Springer
Abstract—Location obfuscation using cloaking regions preserves location anonymity by hiding the true user among a set of other equally likely users. Furthermore, a cloaking regio...
MOMM
2009
ACM
14 years 1 months ago
2009
ACM
In this paper, we describe completed and ongoing work towards an interactive multimedia system that will appeal to today’s youth culture identified as most likely to adopt such ...
INEX
2009
Springer
14 years 1 months ago
2009
Springer
In the paper we present the organization of the INEX 2009 interactive track. For the 2009 experiments the iTrack has gathered data on user search behavior in a collection consistin...
MHCI
2009
Springer
14 years 1 months ago
2009
Springer
In this paper, we describe the Smart Profile Management application that was designed to help minimize mobile phone disruptions. The system does this by making phone profile chang...
IWPC
2000
IEEE
14 years 1 months ago
2000
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...