2004 search results - page 300 / 401 » Comparison of Model Checking Tools for Information Systems |
199
click to vote
AIME
2007
Springer
15 years 12 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...
150
click to vote
IWC
2000
15 years 5 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...
168
click to vote
SAC
2010
ACM
16 years 18 days 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 ...
166
click to vote
SOFSEM
2010
Springer
16 years 2 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...
158
click to vote
APSCC
2008
IEEE
16 years 7 days 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...