13913 search results - page 2644 / 2783 » models 2007 |
146
Voted
MANSCI
2007
15 years 3 months ago
2007
Selection procedures are used in a variety of applications to select the best of a finite set of alternatives. ‘Best’ is defined with respect to the largest mean, but the me...
166
Voted
ANOR
2004
15 years 3 months ago
2004
The aim of Air Traffic Flow Management (ATFM) is to enhance the capacity of the airspace while satisfying Air Traffic Control constraints and airlines requests to optimize their o...
164
Voted
AROBOTS
2002
15 years 3 months ago
2002
The complexity of the kinematic and dynamic structure of humanoid robots make conventional analytical approaches to control increasingly unsuitable for such systems. Learning techn...
114
Voted
BC
2004
15 years 3 months ago
2004
Different kinds of articulators, such as the upper and lower lips, jaw, and tongue, are precisely coordinated in speech production. Based on a perturbation study of the production ...
139
Voted
ASE
2002
15 years 3 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...