7121 search results - page 334 / 1425 » Functions as Session-Typed Processes |
157
click to vote
IEAAIE
2009
Springer
16 years 1 months ago
2009
Springer
A computational agent model for monitoring and control of a virtual human agent’s resources and exhaustion is presented. It models a physically grounded intelligent decision maki...
175
click to vote
ECAL
2005
Springer
16 years 6 days ago
2005
Springer
This paper investigates evolvability of artificial neural networks within an artificial life environment. Five different structural mutations are investigated, including adaptive e...
139
click to vote
IFL
2005
Springer
16 years 5 days ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
157
click to vote
ISVC
2005
Springer
16 years 5 days ago
2005
Springer
We propose a discrete regularization framework on weighted graphs of arbitrary topology, which leads to a family of nonlinear filters, such as the bilateral filter or the TV digi...
140
click to vote
TBILLC
2005
Springer
16 years 4 days ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the de...