3926 search results - page 611 / 786 » A Logic of Object-Oriented Programs |
143
Voted
ECOOPW
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...
114
Voted
IWMM
2000
Springer
15 years 8 months ago
2000
Springer
We extend Tofte and Talpin's region-based model for memory management to support backtracking and cuts, which makes it suitable for use with Prolog and other logic programmin...
144
Voted
CLIMA
2010
15 years 6 months ago
2010
We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomp...
146
Voted
DAGSTUHL
2007
15 years 6 months ago
2007
Abstract. Two ways to exploit chips with a very large number of transistors are multicore processors and programmable logic chips. Some data parallel algorithms can be executed eï¬...
165
click to vote
NAACL
2007
15 years 6 months ago
2007
Previous work on discourse parsing has mostly relied on surface syntactic and lexical features; the use of semantics is limited to shallow semantics. The goal of this thesis is to...