10289 search results - page 1713 / 2058 » Standard bases in K |
156
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We prove that every computably enumerable (c.e.) random real is provable in Peano Arithmetic (PA) to be c.e. random. A major step in the proof is to show that the theorem stating ...
159
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The purpose of this paper is to apply and evaluate the bibliometric method Bradfordizing for information retrieval (IR) experiments. Bradfordizing is used for generating core docu...
183
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Web Services are web-based applications made available for web users or remote Web-based programs. In order to promote interoperability, they publish their interfaces in the so-ca...
194
click to vote
ENTCS
2008
15 years 6 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
174
click to vote
FGCS
2008
15 years 6 months ago
2008
The DataMiningGrid system has been designed to meet the requirements of modern and distributed data mining scenarios. Based on the Globus Toolkit and other open technology and sta...