8874 search results - page 1712 / 1775 » A New Implementation of Automath |
112
Voted
HIS
2007
15 years 5 months ago
2007
This paper proposes a new approach for multicriteria optimization which aggregates the objective functions and uses a line search method in order to locate an approximate efficien...
127
Voted
INFORMATIKTAGE
2008
15 years 5 months ago
2008
During the last 25 years the complexity and functionality of software systems has increased dramatically. Software systems have to be updated and restructured continuously [22]. I...
107
Voted
LREC
2008
15 years 5 months ago
2008
In this paper two highly innovative digital editions will be presented. For the creation and the implementation of these editions the latest developments within corpus research ha...
142
Voted
LWA
2008
15 years 5 months ago
2008
The problem of information overload has been addressed by several systems. However, many approaches are limited to informal artifacts and need to refer to the user for reference o...
203
Voted
NIPS
2008
15 years 5 months ago
2008
Many machine learning algorithms require the summation of Gaussian kernel functions, an expensive operation if implemented straightforwardly. Several methods have been proposed to...