5671 search results - page 1045 / 1135 » A Semantic Approach to Interpolation |
197
click to vote
JLP
2006
15 years 6 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
158
click to vote
EJIS
2007
15 years 6 months ago
2007
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
164
click to vote
MICS
2008
15 years 6 months ago
2008
Abstract. OpenMath [6] is a standard for representing the semantics of mathematical objects. It differs from Presentation MathML [8] in not being directly concerned with the presen...
162
click to vote
KAIS
2006
15 years 6 months ago
2006
Typographic and visual information is an integral part of textual documents. Most information extraction systems ignore most of this visual information, processing the text as a l...
192
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Annotations of multimedia documents typically have been pursued in two different directions. Either previous approaches have focused on low level descriptors, such as dominant colo...