Sciweavers

291 search results - page 5 / 59
» CPP Denotational Semantics
Sort
View
MSCS
2006
80views more  MSCS 2006»
13 years 7 months ago
Denotational semantics for a program logic of objects
Bernhard Reus, Jan Schwinghammer
TOMACS
1998
43views more  TOMACS 1998»
13 years 7 months ago
A Denotational Semantics for a Process-Based Simulation Language
Chris M. N. Tofts, Graham M. Birtwistle
ACL
2011
12 years 11 months ago
Which Noun Phrases Denote Which Concepts?
Resolving polysemy and synonymy is required for high-quality information extraction. We present ConceptResolver, a component for the Never-Ending Language Learner (NELL) (Carlson ...
Jayant Krishnamurthy, Tom Mitchell
NJC
2002
109views more  NJC 2002»
13 years 7 months ago
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
Mogens Nielsen, Catuscia Palamidessi, Frank D. Val...