Sciweavers

3008 search results - page 235 / 602
» Mechanisms for Importing Modules
Sort
View
GECCO
2006
Springer
148views Optimization» more  GECCO 2006»
15 years 10 months ago
Behavioural GP diversity for dynamic environments: an application in hedge fund investment
We present a new mechanism for preserving phenotypic behavioural diversity in a Genetic Programming application for hedge fund portfolio optimization, and provide experimental res...
Wei Yan, Christopher D. Clack
RSP
1998
IEEE
109views Control Systems» more  RSP 1998»
15 years 10 months ago
A Technique for Combined Virtual Prototyping and Hardware Design
A technique to include virtual prototyping in the design cycle of complex digital modem ASICs is presented. It is innovating by using the same behavioral description for both the ...
Patrick Schaumont, Geert Vanmeerbeeck, E. Watzeels...
AAAI
2008
15 years 9 months ago
In-the-Dark Network Traffic Classification Using Support Vector Machines
This work addresses the problem of in-the-dark traffic classification for TCP sessions, an important problem in network management. An innovative use of support vector machines (S...
William H. Turkett Jr., Andrew V. Karode, Errin W....
FAST
2008
15 years 9 months ago
An Analysis of Data Corruption in the Storage Stack
An important threat to reliable storage of data is silent data corruption. In order to develop suitable protection mechanisms against data corruption, it is essential to understan...
Lakshmi N. Bairavasundaram, Garth R. Goodson, Bian...
147
Voted
AISC
2008
Springer
15 years 8 months ago
Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle
Craig's Interpolation Theorem is an important meta-theoretical result for several logics. Here we describe a formalisation of the result for first-order intuitionistic logic w...
Peter Chapman, James McKinna, Christian Urban