Sciweavers

4719 search results - page 223 / 944
» Spreadsheet functional programming
Sort
View
CNSR
2006
IEEE
139views Communications» more  CNSR 2006»
16 years 20 days ago
Genetic Programming Based WiFi Data Link Layer Attack Detection
This paper presents a genetic programming based detection system for Data Link layer attacks on a WiFi network. We explore the use of two different fitness functions in order to ...
Patrick LaRoche, A. Nur Zincir-Heywood
ADBIS
2005
Springer
100views Database» more  ADBIS 2005»
16 years 4 days ago
Evolutionary Learning of Boolean Queries by Genetic Programming
Abstract. The performance of an information retrieval system is usually measured in terms of two different criteria, precision and recall. This way, the optimization of any of its...
Suhail S. J. Owais, Pavel Krömer, Václ...
LPNMR
2005
Springer
16 years 2 days ago
SELP - A System for Studying Strong Equivalence Between Logic Programs
Abstract. This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given groun...
Yin Chen, Fangzhen Lin, Lei Li
AC
2000
Springer
15 years 11 months ago
Operational Semantics and Program Equivalence
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
Andrew M. Pitts
EURODAC
1994
IEEE
139views VHDL» more  EURODAC 1994»
15 years 10 months ago
OSCAR: optimum simultaneous scheduling, allocation and resource binding based on integer programming
: This paper presents an approach to high-level synthesis which is based upon a 0/1 integer programming model. In contrast to other approaches, this model allows solving all three ...
Birger Landwehr, Peter Marwedel, Rainer Dömer