619 search results - page 88 / 124 » Formal Methods Meet Domain Specific Languages |
EWSA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...
FM
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
IJCV
2006
13 years 7 months ago
2006
We address the issue of low-level segmentation of vector-valued images, focusing on the case of color natural images. The proposed approach relies on the formulation of the problem...
WEBI
2005
Springer
14 years 1 months ago
2005
Springer
We present a generic natural language processing (NLP) architecture, acronym QTIL, based on a system of cooperating multiple agents (Q/A, T, I, and L agents) which can be used in ...
IR
2010
13 years 4 months ago
2010
The ability to correctly classify sentences that describe events is an important task for many natural language applications such as Question Answering (QA) and Text Summarisation....