Sciweavers

1157 search results - page 170 / 232
» Solving iterated functions using genetic programming
Sort
View
124
Voted
HASKELL
2006
ACM
15 years 9 months ago
Running the manual: an approach to high-assurance microkernel development
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
Philip Derrin, Kevin Elphinstone, Gerwin Klein, Da...
153
Voted
CLEF
2006
Springer
15 years 7 months ago
The University of New South Wales at GeoCLEF 2006
This paper describes our participation in the GeoCLEF monolingual English task of the Cross Language Evaluation Forum 2006. The main objective of this study is to evaluate the retr...
You-Heng Hu, Linlin Ge
129
Voted
AUTOMATICA
2005
112views more  AUTOMATICA 2005»
15 years 3 months ago
Optimal controller tuning for nonlinear processes
: This work proposes a systematic methodology for the optimal selection of controller parameters, in the sense of minimizing a performance index which is a quadratic function of th...
Nikolaos Kazantzis, Costas Kravaris, Costas Tseron...
ICLP
1999
Springer
15 years 7 months ago
Logic Programming in Oz with Mozart
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
Peter Van Roy
112
Voted
MJ
2006
89views more  MJ 2006»
15 years 3 months ago
RTDT: A static QoS manager, RT scheduling, HW/SW partitioning CAD tool
The Hardware (HW)/Software (SW) partitioning/scheduling relies on two subtasks : the cost function and the real time (RT) analysis. Besides these two subtasks, the proposed generi...
Hedi Tmar, Jean-Philippe Diguet, Abdenour Azzedine...