Sciweavers

15754 search results - page 303 / 3151
» Programs are Knowledge Bases
Sort
View
CNSR
2006
IEEE
139views Communications» more  CNSR 2006»
16 years 22 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
EUROPAR
2010
Springer
15 years 4 months ago
Starsscheck: A Tool to Find Errors in Task-Based Parallel Programs
Star Superscalar is a task-based programming model. The programmer starts with an ordinary C program, and adds pragmas to mark functions as tasks, identifying their inputs and outp...
Paul M. Carpenter, Alex Ramírez, Eduard Ayg...
ICLP
2007
Springer
16 years 24 days ago
Advanced Techniques for Answer Set Programming
Abstract. Theoretical foundations and practical realizations of answer set solving techniques are vital research issues. The challenge lies in combining the elevated modeling capac...
Martin Gebser
AMAI
2004
Springer
15 years 10 months ago
Using Logic Programs to Reason about Infinite Sets
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Those programs assert code...
Douglas A. Cenzer, V. Wiktor Marek, Jeffrey B. Rem...
WOA
2003
15 years 8 months ago
A Programming Environment for Global Activity-based Applications
Abstract— This paper focuses on large-scale distributed systems that can be modeled as workflows of activities sharing resources, knowledge, know-how and services. We propose a ...
Flavio Corradini, Leonardo Mariani, Emanuela Merel...