440 search results - page 38 / 88 » Local reasoning for abstraction and sharing |
109
Voted
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
130
click to vote
ICCBR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Creating case representations in unsupervised textual case-based reasoning applications is a challenging task because class knowledge is not available to aid selection of...
104
click to vote
SIBGRAPI
2006
IEEE
15 years 8 months ago
2006
IEEE
Current methods that interactively render reasonably complex CSG objects are image based and are severely bandwidth limited. This paper presents a new approach to raytracing CSG o...
116
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
121
Voted
UAI
2000
15 years 3 months ago
2000
Cooperative games are those in which both agents share the same payoff structure. Valuebased reinforcement-learning algorithms, such as variants of Q-learning, have been applied t...