1162 search results - page 174 / 233 » Monotonic Semantic Interpretation |
123
Voted
COOPIS
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper reports on a practical implementation of a context mediator for the fixed income securities industry. We describe industry circumstances and the data and calculation se...
96
Voted
SAS
1999
Springer
15 years 4 months ago
1999
Springer
ing Cryptographic Protocols with Tree Automata David Monniaux http://www.di.ens.fr/%7Fmonniaux, Laboratoire d’Informatique, ´Ecole Normale Sup´erieure, 45 rue d’Ulm , 75230 P...
81
Voted
ICDAR
1997
IEEE
15 years 4 months ago
1997
IEEE
The performance of document analysis systems significantly depends on knowledge about the application domain that can be exploited in the analysis process. Typically, one has to d...
TARK
1998
Springer
15 years 4 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
134
click to vote
CADE
1992
Springer
15 years 4 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...