1598 search results - page 199 / 320 » A Unified Computation Model for Functional and Logic Program... |
149
click to vote
ICDE
1993
IEEE
15 years 10 months ago
1993
IEEE
The IsaLog model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The language is strongly typed and declarative. The main i...
190
click to vote
TCC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
183
click to vote
PKDD
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Bayesian reinforcement learning (RL) is aimed at making more efficient use of data samples, but typically uses significantly more computation. For discrete Markov Decis...
165
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
A developmental model of neural network is presented and evaluated in the game of Checkers. The network is developed using cartesian genetic programs (CGP) as genotypes. Two agent...
155
click to vote
ICMCS
1999
IEEE
15 years 10 months ago
1999
IEEE
Multidimensional image retrieval (MIR) views an image as a multidimensional object, where each dimension is a channel for retrieval. MIR has the potential of putting at work toget...