18209 search results - page 292 / 3642 » Some Remarks on the Paper |
172
click to vote
PPAM
2005
Springer
16 years 6 days ago
2005
Springer
The paper presents various transparency issues that have to be considered during development of object-oriented Grid applications based on virtual repositories. Higher-level transp...
170
click to vote
VMCAI
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
180
click to vote
ASIAN
2004
Springer
16 years 3 days ago
2004
Springer
This paper considers online stochastic optimization problems where uncertainties are characterized by a distribution that can be sampled and where time constraints severely limit t...
175
click to vote
EKAW
2004
Springer
16 years 3 days ago
2004
Springer
The manual development of large knowledge systems is a difficult and error-prone task. In order to facilitate extensions to an existing knowledge base the structural design of the...
147
click to vote
IBERAMIA
2004
Springer
16 years 3 days ago
2004
Springer
This paper describes a Case Base Seeding system (CBS) that can be used to seed a case base with some random cases in order to provide minimal conditions for the empirical tests of ...