2776 search results - page 102 / 556 » System-Level Abstraction Semantics |
133
Voted
CIVR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The vector-space retrieval model and Latent Semantic Indexing approaches to retrieval have been used heavily in the field of text information retrieval over the past yea...
141
Voted
PPSWR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...
120
click to vote
ACOM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Message semantics are traditionally defined in terms of mental states, which is a trend that is criticized for assuming the sincerity and cooperativeness of agents. To c...
143
Voted
AC
2000
Springer
15 years 8 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
116
click to vote
BIRTHDAY
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved b...