Sciweavers

1328 search results - page 83 / 266
» Cut-free common knowledge
Sort
View
CCGRID
2006
IEEE
15 years 10 months ago
A Core Grid Ontology for the Semantic Grid
In this paper, we propose a Core Grid Ontology (CGO) that defines fundamental Grid-specific concepts, and the relationships between them. One of the key goals is to make this Co...
Wei Xing, Marios D. Dikaiakos, Rizos Sakellariou
IWPSE
2005
IEEE
15 years 9 months ago
The LAN-simulation: A Refactoring Teaching Example
The notion of refactoring —transforming the sourcecode of an object-oriented program without changing its external behaviour — has been studied intensively within the last dec...
Serge Demeyer, Filip Van Rysselberghe, Tudor G&ici...
ECML
2005
Springer
15 years 9 months ago
Multi-armed Bandit Algorithms and Empirical Evaluation
The multi-armed bandit problem for a gambler is to decide which arm of a K-slot machine to pull to maximize his total reward in a series of trials. Many real-world learning and opt...
Joannès Vermorel, Mehryar Mohri
140
Voted
ASP
2003
Springer
15 years 9 months ago
What's in a model? Epistemological analysis of Logic Programming
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
Marc Denecker
ISIPTA
1999
IEEE
101views Mathematics» more  ISIPTA 1999»
15 years 8 months ago
Open-frame Dempster Conditioning for Incomplete Interval Probabilities
The second author has put forward a theory of incomplete interval probabilities meant to give a common framework to both interval probabilities and openframe bodies of evidence, a...
Paola Castellan, Andrea Sgarro