3844 search results - page 314 / 769 » Modular interpreted systems |
130
click to vote
LICS
1994
IEEE
15 years 8 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
141
click to vote
KR
2010
Springer
15 years 6 months ago
2010
Springer
We study logical principles connecting two relations: independence, which is known as nondeducibility in the study of information flow, and functional dependence. Two different e...
113
click to vote
IJCAI
2007
15 years 6 months ago
2007
If modal logics for coalitions need to be applied, one must know how to translate coalition power into agents’ actions. To these days, the connection between coalition power and...
140
click to vote
COLING
1994
15 years 5 months ago
1994
A multimodal user interface allows users to communicate with computers using multiple modalities, such as a mouse, a keyboard or voice, in various combined ways. This paper discus...
123
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract The Little-Hopfield neural network programmed with Horn clauses is studied. We argue that the energy landscape of the system, corresponding to the inconsistency function f...