2021 search results - page 330 / 405 » COCO: Composition Model and Composition Model Implementation |
122
click to vote
ENTCS
2007
15 years 4 months ago
2007
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...
127
click to vote
NAR
2006
15 years 4 months ago
2006
CorGen is a web server that measures long-range correlations in the base composition of DNA and generates random sequences with the same correlation parameters. Long-range correla...
147
click to vote
ADT
2005
15 years 4 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
121
click to vote
COLING
2002
15 years 4 months ago
2002
To support context-based multimodal interpretation in conversational systems, we have developed a semantics-based representation to capture salient information from user inputs an...
149
click to vote
ENTCS
2002
15 years 4 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...