14709 search results - page 121 / 2942 » Semantic feature modelling |
ACL
2009
15 years 2 months ago
2009
We introduce the novel task of determining whether a newswire article is "true" or satirical. We experiment with SVMs, feature scaling, and a number of lexical and seman...
103
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
Building upon the 2-valued Layered Models semantics for normal programs, we introduce a refinement — the Layer Supported Models semantics — which, besides keeping all of LMs...
136
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
136
click to vote
UML
2004
Springer
15 years 9 months ago
2004
Springer
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
134
click to vote
EMSOFT
2007
Springer
2007
Springer
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
15 years 10 months ago
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...