Sciweavers

4419 search results - page 78 / 884
» Information Science in Transition
Sort
View
ITP
2010
172views Mathematics» more  ITP 2010»
13 years 7 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
DESRIST
2009
Springer
132views Education» more  DESRIST 2009»
14 years 1 months ago
Measuring information volatility in a health care information supply chain
We propose a measure of reliability called information volatility (IV) to complement Business Intelligence tools when considering aggregated data or when observing trends. Two typ...
Monica Chiarini Tremblay, Donald J. Berndt, Alan R...
JIS
2008
57views more  JIS 2008»
13 years 9 months ago
Judgements during information seeking: a naturalistic approach to understanding the assessment of enough information
In this article, theories of human judgement and decision making are reviewed and their use by library and information science researchers examined. A different perspective on jud...
Jennifer M. Berryman
MPC
2010
Springer
181views Mathematics» more  MPC 2010»
14 years 1 months ago
Process Algebras for Collective Dynamics
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
Jane Hillston
WWW
2005
ACM
14 years 9 months ago
Analysis of topic dynamics in web search
We report on a study of topic dynamics for pages visited by a sample of people using MSN Search. We examine the predictive accuracies of probabilistic models of topic transitions ...
Xuehua Shen, Susan T. Dumais, Eric Horvitz