Sciweavers

2954 search results - page 290 / 591
» Beyond
Sort
View
MHCI
2009
Springer
16 years 1 months ago
Using semantic descriptions for adaptive mobile games UIs
Mobile devices became powerful recently and wireless Internet access is becoming standard. One important class of networked, mobile applications are location based games, making e...
Pascal Bihler, Holger Mügge, Mark Schmatz, Ar...
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
16 years 1 months ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen
KCAP
2009
ACM
16 years 1 months ago
Formally measuring agreement and disagreement in ontologies
Ontologies are conceptual models of particular domains, and domains can be modeled differently, representing different opinions, beliefs or perspectives. In other terms, ontolog...
Mathieu d'Aquin
KCAP
2009
ACM
16 years 1 months ago
Large-scale extraction and use of knowledge from text
A large amount of empirically derived world knowledge is essential for many languageprocessing tasks, to create expectations that can help assess plausibility and guide disambigua...
Peter Clark, Philip Harrison
SIGIR
2009
ACM
16 years 1 months ago
Multiple approaches to analysing query diversity
In this paper we examine user queries with respect to diversity: providing a mix of results across different interpretations. Using two query log analysis techniques (click entrop...
Paul Clough, Mark Sanderson, Murad Abouammoh, Serg...