1829 search results - page 85 / 366 » aims 2008 |
138
click to vote
FCSC
2008
15 years 4 months ago
2008
The population protocol model [2] has emerged as an elegant computation paradigm for describing mobile ad hoc networks, consisting of a number of mobile nodes that interact with e...
146
click to vote
FMSD
2008
15 years 4 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
140
click to vote
HEURISTICS
2008
15 years 4 months ago
2008
This paper investigates how to make improved action selection for online policy learning in robotic scenarios using reinforcement learning (RL) algorithms. Since finding control po...
116
click to vote
IANDC
2008
15 years 4 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...
134
click to vote
CSDA
2006
15 years 4 months ago
2006
Flexible discriminant analysis (FDA) is a general methodology which aims at providing tools for multigroup non linear classification. It consists in a nonparametric version of dis...