18209 search results - page 292 / 3642 » Some Remarks on the Paper |
188
click to vote
PPAM
2005
Springer
16 years 1 months 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...
189
click to vote
VMCAI
2005
Springer
16 years 1 months 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...
199
Voted
ASIAN
2004
Springer
16 years 27 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...
192
click to vote
EKAW
2004
Springer
16 years 27 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...
172
Voted
IBERAMIA
2004
Springer
16 years 27 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 ...