Sciweavers

1155 search results - page 168 / 231
» A Decision-Theoretic Model of Assistance
Sort
View
TREC
1998
14 years 11 months ago
ClickIR: Text Retrieval using a Dynamic Hypertext Interface
In this report we describe our model of dynamic hypertext and how the ClickIR system uses this model to assist users in interactive search. The system was used in both the ad hoc ...
Richard C. Bodner, Mark H. Chignell
WSC
1998
14 years 11 months ago
Simulation Applied to Theme Park Management
This paper describes the application of computer simulation to a new and interesting problem area, the management of major theme parks. The operation and management of theme parks...
Roland R. Mielke, Adham Zahralddin, Damanjit Padam...
ESA
2010
Springer
170views Algorithms» more  ESA 2010»
14 years 11 months ago
Streaming Graph Computations with a Helpful Advisor
Motivated by the trend to outsource work to commercial cloud computing services, we consider a variation of the streaming paradigm where a streaming algorithm can be assisted by a...
Graham Cormode, Michael Mitzenmacher, Justin Thale...
ENTCS
2008
79views more  ENTCS 2008»
14 years 10 months ago
Experimenting Formal Proofs of Petri Nets Refinements
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
Christine Choppy, Micaela Mayero, Laure Petrucci
IJCSA
2008
96views more  IJCSA 2008»
14 years 10 months ago
Integration of Educational Specifications and Standards to Support Adaptive Learning Scenarios in ADAPTAPlan
ADAPTAPlan project provides dynamic assistance for reducing authors' effort in developing instructional design tasks using user modelling, planning and machine learning techn...
Silvia Baldiris, Olga C. Santos, Carmen Barrera, J...