1027 search results - page 97 / 206 » Representing and Reasoning with Operational Semantics |
96
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...
107
Voted
KBSE
1999
IEEE
15 years 5 months ago
1999
IEEE
The paper describes the initial results of applying Latent Semantic Analysis (LSA) to program source code and associated documentation. Latent Semantic Analysis is a corpus-based ...
116
Voted
ESWS
2008
Springer
15 years 2 months ago
2008
Springer
The traditional strategy performed by Information Retrieval (IR) systems is ranked keyword search: For a given query, a list of documents, ordered by relevance, is returned. Releva...
88
Voted
EON
2008
15 years 2 months ago
2008
Abstract. The Semantic Web Service Challenge is one of the major initiative dedicated to work on Semantic Web Service (SWS) discovery and selection. It represents an effective mann...
SWAP
2008
15 years 2 months ago
2008
The traditional strategy performed by Information Retrieval (IR) systems is ranked keyword search: for a given query, a list of documents, ordered by relevance, is returned. Releva...