15372 search results - page 2803 / 3075 » The Semantics of Semantic Annotation |
138
click to vote
ENDM
2000
15 years 4 months ago
2000
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
106
click to vote
ENTCS
2000
15 years 4 months ago
2000
We present here a large family of concrete models for Girard and Reynolds polymorphism (System F), in a non categorical setting. The family generalizes the construction of the mod...
165
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
Recommender systems learn about user preferences over time, automatically finding things of similar interest. This reduces the burden of creating explicit queries. Recommender sys...
151
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
110
click to vote
FUIN
2000
15 years 4 months ago
2000
The nondeterministic information logic NIL has been introduced by Orlowska and Pawlak in 1984 as a logic for reasoning about total information systems with the similarity, the forw...