349 search results - page 1 / 70 » The feature construct for SMV: Semantics |
FIW
2000
13 years 5 months ago
2000
FMOODS
2008
13 years 5 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
POPL
2012
ACM
11 years 12 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
ISPA
2005
Springer
13 years 9 months ago
2005
Springer
An important precondition for the success of the Semantic Web is founded on the principle that the content of web pages will be semantically annotated. In this paper, we propose a ...
ASWC
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. In this paper, we elaborate on an approach to construction of semantic-linguistic feature vectors (FV) that are used in search. These FVs are built based on domain semant...