497 search results - page 56 / 100 » Overview of QAST 2008 |
SIGKDD
2008
13 years 8 months ago
2008
We introduce the new paradigm of Change Mining as data mining over a volatile, evolving world with the objective of understanding change. While there is much work on incremental m...
SYNTHESE
2008
13 years 7 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 7 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 7 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 7 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...