1742 search results - page 195 / 349 » An Applicative Module Calculus |
105
click to vote
CEC
2010
IEEE
15 years 1 months ago
2010
IEEE
The field of evolutionary dynamic optimisation is concerned with the application of evolutionary algorithms to dynamic optimisation problems. In recent years, numerous new algorith...
109
click to vote
CORR
2010
Springer
15 years 23 days ago
2010
Springer
The semi-automatic or automatic synthesis of robot controller software is both desirable and challenging. Synthesis of rather simple behaviors such as collision avoidance by apply...
127
Voted
IJON
2006
15 years 20 days ago
2006
Constructing the controller of a mobile robot has several issues to be addressed: how to automate behavior generation procedure, how to insert available domain knowledge effective...
JMLR
2006
15 years 19 days ago
2006
In recent years anti-spam filters have become necessary tools for Internet service providers to face up to the continuously growing spam phenomenon. Current server-side anti-spam ...
100
Voted
ENTCS
2007
15 years 19 days ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...