Sciweavers

7891 search results - page 1231 / 1579
» A Distributed Scheduling Framework
Sort
View
FORTE
1997
15 years 8 months ago
Refusal Testing for Classes of Transition Systems with Inputs and Outputs
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
Lex Heerink, Jan Tretmans
166
Voted
NIPS
2000
15 years 8 months ago
Vicinal Risk Minimization
The Vicinal Risk Minimization principle establishes a bridge between generative models and methods derived from the Structural Risk Minimization Principle such as Support Vector M...
Olivier Chapelle, Jason Weston, Léon Bottou...
206
Voted
NIPS
2000
15 years 8 months ago
Learning and Tracking Cyclic Human Motion
We present methods for learning and tracking human motion in video. We estimate a statistical model of typical activities from a large set of 3D periodic human motion data by segm...
Dirk Ormoneit, Hedvig Sidenbladh, Michael J. Black...
WSC
1998
15 years 8 months ago
Experiments in Load Migration and Dynamic Load Balancing in SPEEDES
It is well known that the performance of a parallel discreteevent simulation (PDES) depends on the allocation of the workload to processors. In particular, poor performance may be...
Linda F. Wilson, Wei Shen
WSC
1997
15 years 8 months ago
SmartATMS: A Simulator for Air Traffic Management Systems
Air Traffic Management Systems (ATMS) of the future will feature Free Flight, in which aircraft choose their own routes, altitude, and speed, and automated conflict resolution me...
Tak-Kuen John Koo, Yi Ma, George J. Pappas, Claire...
« Prev « First page 1231 / 1579 Last » Next »