349 search results - page 8 / 70 » The feature construct for SMV: Semantics |
98
Voted
JOT
2010
14 years 10 months ago
2010
This paper describes how to use annotation to provide semantic information. The applications include the automatic construction of a GUI so that the user input is constrained to a...
100
click to vote
FM
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
102
click to vote
ENTCS
2007
14 years 11 months ago
2007
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...
LREC
2010
15 years 1 months ago
2010
The Bank of Russian Constructions and Valencies (Russian FrameBank) is an annotation project that takes as input samples from the Russian National Corpus (http://www.ruscorpora.ru...
ICMCS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper introduces a flexible learning approach for image retrieval with relevance feedback. A semantic repository is constructed offline by applying the k-nearest-neighborbase...