3324 search results - page 204 / 665 » Learning Appropriate Contexts |
137
Voted
CSREASAM
2003
15 years 6 months ago
2003
Security is an important element of any system design. Entities supported by a system need to securely interact with each other. The problem gets even more complex in the context ...
133
Voted
IJCAI
2001
15 years 6 months ago
2001
The aim of our research is to build a Reflexive Agent, that is able to either manifest an emotion it is feeling or to hide it. If the Agent decides to manifest its emotion, it can...
141
click to vote
IWFM
1998
15 years 6 months ago
1998
The issue of correctness in the context of a certain style of program transformation is investigated. This style is characterised by the fully automated application of large numbe...
125
Voted
ENTCS
2007
15 years 4 months ago
2007
Operational semantics for programming languages usually come in two flavours: big-step and small-step. Both are defined using deduction rules with a congruence rule allowing redu...
143
click to vote
ENTCS
2002
15 years 4 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...