1419 search results - page 117 / 284 » Notes on Formalizing Context |
107
click to vote
TYPES
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The prototype of a content based search engine for mathematical knowledge supporting a small set of queries requiring matching and/or typing operations is described. The ...
84
Voted
ECAI
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Teams arise in a number of important multiagent applications. Several theories of intentions for teams have been proposed. By and large, these theories tend to model team...
ECOOP
1998
Springer
15 years 5 months ago
1998
Springer
Although many temporal extensions of the relational data model have been proposed, there is no comparable amount of work in the context of object-oriented data models. Moreover, ex...
106
click to vote
ER
1998
Springer
15 years 5 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
127
click to vote
TYPES
1998
Springer
15 years 5 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...