Sciweavers

3283 search results - page 560 / 657
» Designing Agent Based Travel Support System
Sort
View
AIED
2005
Springer
15 years 10 months ago
Technology at work to mediate collaborative scientific enquiry in the field
This paper describes and contrasts findings from two related projects where groups of science pupils investigated local air pollution using a collection of mobile sensors and devic...
Hilary Smith, Rosemary Luckin, Geraldine Fitzpatri...
DL
1998
Springer
138views Digital Library» more  DL 1998»
15 years 8 months ago
Digital Library Information Appliances
Although digital libraries are intended to support education and knowledge work, current digital library interfaces are narrowly focused on retrieval. Furthermore, they are design...
Bill N. Schilit, Morgan N. Price, Gene Golovchinsk...
IUI
2000
ACM
15 years 8 months ago
Adaptive medical information delivery combining user, task and situation models
Medical information delivery for users with different levels of expertise will be required for the manned mission to Mars due to limited potential for communication with Earth. Th...
Luis Francisco-Revilla, Frank M. Shipman III
BMCBI
2008
150views more  BMCBI 2008»
15 years 4 months ago
BibGlimpse: The case for a light-weight reprint manager in distributed literature research
Background: While text-mining and distributed annotation systems both aim at capturing knowledge and presenting it in a standardized form, there have been few attempts to investig...
Thomas Tüchler, Golda Velez, Alexandra Graf, ...
POPL
2012
ACM
14 years 2 hour ago
Programming with binders and indexed data-types
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
Andrew Cave, Brigitte Pientka