Sciweavers

3018 search results - page 500 / 604
» Replicating for Performance: Case Studies
Sort
View
HF
2002
95views more  HF 2002»
15 years 6 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
KI
2002
Springer
15 years 6 months ago
Qualitative Velocity and Ball Interception
In many approaches for qualitative spatial reasoning, navigation of an agent in a more or less static environment is considered (e.g. in the double-cross calculus [12]). However, i...
Frieder Stolzenburg, Oliver Obst, Jan Murray
JSS
1998
87views more  JSS 1998»
15 years 6 months ago
On using similarity for concurrency control in real-time database systems
Most of the proposed concurrency control protocols for real-time database systems (RTDBS) are based on serializability theorem. Owing to the unique characteristics of real-time da...
Kam-yiu Lam, Wai-cheong Yau
NECO
1998
83views more  NECO 1998»
15 years 6 months ago
Properties of Support Vector Machines
Support Vector Machines (SVMs) perform pattern recognition between two point classes by nding a decision surface determined by certain points of the training set, termed Support V...
Massimiliano Pontil, Alessandro Verri
SIMULATION
1998
177views more  SIMULATION 1998»
15 years 6 months ago
Simulation and Planning of an Intermodal Container Terminal
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
Luca Maria Gambardella, Andrea Emilio Rizzoli, Mar...