2343 search results - page 70 / 469 » Structure and Interpretation of Computer Programs |
131
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
100
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
147
Voted
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
153
Voted
COLING
1990
15 years 5 months ago
1990
An experimental system for dialogue structure analysis based on a new type plan recognition model for spoken dialogues has been implemented. This model is realized by using four t...
125
click to vote
PCM
2004
Springer
15 years 10 months ago
2004
Springer
The object boundary of an image plays an important role for image analysis and interpretation. The watershed algorithm and the region growing algorithm are popularly employed for i...