3323 search results - page 339 / 665 » Computational Semantics with Functional Programming |
161
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...
172
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
This paper addresses the problem of jointly clustering two segmentations of closely correlated images. We focus in particular on the application of reconstructing neuronal structu...
208
click to vote
CLUSTER
2005
IEEE
16 years 10 days ago
2005
IEEE
Current operating systems offer basic support for network interface controllers (NICs) supporting remote direct memory access (RDMA). Such support typically consists of a device d...
175
click to vote
APLAS
2006
ACM
16 years 21 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
213
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...