2687 search results - page 120 / 538 » On the Conversion between Number Systems |
163
click to vote
ICWSM
2010
15 years 4 months ago
2010
In this paper we examine the effects of noise when creating a real-world weblog corpus for information retrieval. We focus on the DiffPost (Lee et al. 2008) approach to noise remo...
191
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we study the partitioning approach for multiprocessor real-time scheduling. This approach seems to be the easiest since, once the partitioning of the task set has be...
164
click to vote
CDC
2010
IEEE
2010
IEEE
Robust controller design by convex optimization based on finite frequency samples of spectral models
15 years 1 months ago
Abstract-- Some frequency-domain controller design problems are solved using a finite number of frequency samples. Consequently, the performance and stability conditions are not gu...
169
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
As the number of computing devices embedded into engineered systems continues to rise, there is a widening gap between the needs of the user to control aggregates of devices and t...
164
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...