4814 search results - page 601 / 963 » Combining abstract interpreters |
208
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
154
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We present a purely vision-based scheme for learning a topological representation of an open environment. The system represents selected places by local views of the surr...
177
Voted
CONCUR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
176
click to vote
ICPP
1996
IEEE
15 years 11 months ago
1996
IEEE
A primary problem in the performance measurement of high-level parallel programming languages is to map lowlevel events to high-level programming constructs. We discuss several as...
174
click to vote
DEXA
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. In this paper, a new approach for retrieval from semistructured photographic collections is described. We have developed a retrieval model based on the Dempster-Shafer th...