2253 search results - page 33 / 451 » Computing with Realizational Morphology |
ICPR
2000
IEEE
15 years 8 months ago
2000
IEEE
118
click to vote
APCHI
2004
IEEE
15 years 7 months ago
2004
IEEE
Conventional web browsing displays a web page inside of a window. In conventional web browsing, following a link replaces the previous document entirely, and the readers tend to lo...
181
click to vote
NCA
2006
IEEE
15 years 3 months ago
2006
IEEE
The use of multilayer perceptrons (MLP) with threshold functions (binary step function activations) greatly reduces the complexity of the hardware implementation of neural networks...
182
click to vote
ARGMAS
2009
Springer
15 years 10 months ago
2009
Springer
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) by Garc´ıa and Simari where agents are engaged in an argumentation to reach a common c...
141
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...