496 search results - page 56 / 100 » Overview of WebCLEF 2008 |
SYNTHESE
2008
13 years 10 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
IJVR
2007
13 years 10 months ago
2007
—One of the main goals of the Virtual Human project was to develop technologies for using Virtual Humans as Human-Machine-Interfaces (HMI) to complex technical devices and system...
TEC
2008
13 years 10 months ago
2008
Many areas in power systems require solving one or more nonlinear optimization problems. While analytical methods might suffer from slow convergence and the curse of dimensionality...
TROB
2008
13 years 10 months ago
2008
In the nearly six decades since researchers began to explore methods of creating them, exoskeletons have progressed from the stuff of science fiction to nearly commercialized produ...
TWC
2008
13 years 10 months ago
2008
In this paper, we address the potential benefits of dual-polarized arrays in multi-antenna wireless systems. After an extensive literature overview of experimental data, we present...