2004 search results - page 300 / 401 » Comparison of Model Checking Tools for Information Systems |
123
click to vote
AIME
2007
Springer
15 years 6 months ago
2007
Springer
Decision-making is a crucial aspect of emergency response during mass casualty incidents (MCIs). MCIs require rapid decisions to be taken by geographically-dispersed teams in an en...
IWC
2000
14 years 11 months ago
2000
Intelligent user interfaces have been proposed as a means to overcome some of the problems that directmanipulation interfaces cannot handle, such as: information overflow problems...
101
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
This paper presents the Referrer Graph (RG) web prediction algorithm as a low-cost solution to predict next web user accesses. RG is aimed at being used in a real web system with ...
103
click to vote
SOFSEM
2010
Springer
15 years 8 months ago
2010
Springer
Regret minimization has proven to be a very powerful tool in both computational learning theory and online algorithms. Regret minimization algorithms can guarantee, for a single de...
APSCC
2008
IEEE
15 years 6 months ago
2008
IEEE
—This paper examines the problem of predicting job runtimes by exploiting the properties of parameter sweeps. A new parameter sweep prediction framework GIPSy (Grid Information P...