Sciweavers

2111 search results - page 67 / 423
» Exploring evaluation methods for ambient information systems
Sort
View
CIKM
2007
Springer
15 years 4 months ago
Semiautomatic evaluation of retrieval systems using document similarities
Taking advantage of the well-known cluster hypothesis that “closely associated documents tend to be relevant to the same request”, we can use inter-document similarity to prov...
Ben Carterette, James Allan
FLAIRS
2000
14 years 11 months ago
The Use of Formal Methods for Trusted Digital Signature Devices
This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...
Bruno Langenstein, Roland Vogt, Markus Ullmann
JSS
2002
138views more  JSS 2002»
14 years 9 months ago
Architectural design and evaluation of an efficient Web-crawling system
This paper presents an architectural design and evaluation result of an efficient Web-crawling system. The design involves a fully distributed architecture, a URL allocating algor...
Hongfei Yan, Jianyong Wang, Xiaoming Li, Lin Guo
ECIS
2000
14 years 11 months ago
Reclaiming Knowledge: A Case for Evidence-Based Information Systems
: Both the information base, on which IS research and practice is founded, and its accessibility continue to grow rapidly. A major challenge facing the IS community in the next dec...
Clare Atkins, Gail Louw
IFL
2004
Springer
122views Formal Methods» more  IFL 2004»
15 years 3 months ago
Source-Based Trace Exploration
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
Olaf Chitil