Sciweavers

2468 search results - page 230 / 494
» Aggregation operators 2003
Sort
View
PERCOM
2003
ACM
14 years 10 months ago
Movement Awareness for a Sentient Environment
This paper describes a system that can observe, recognise and analyse human movements, to provide this awareness to context-aware applications. The movement recognition and charact...
Robert Headon
ICCD
2003
IEEE
177views Hardware» more  ICCD 2003»
14 years 7 months ago
SAT-Based Algorithms for Logic Minimization
This paper introduces a new method for two-level logic minimization. Unlike previous approaches, the new method uses a SAT solver as an underlying engine. While the overall minimi...
Samir Sapra, Michael Theobald, Edmund M. Clarke
ACSAC
2003
IEEE
14 years 4 months ago
Experimenting with a Policy-Based HIDS Based on an Information Flow Control Model
In [1], we proposed a model for policy-based intrusion detection, based on information flow control. In the present paper, we show its applicability and effectiveness on a stand...
Jacob Zimmermann, Ludovic Mé, Christophe Bi...
ACSD
2003
IEEE
95views Hardware» more  ACSD 2003»
14 years 4 months ago
Quasi-Static Scheduling for Concurrent Architectures
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno...
CEC
2003
IEEE
14 years 4 months ago
Homology gives size control in genetic programming
Abstract- The Maximum Homologous Crossover attempts to preserve similar structures from parents by aligning them according to their homology. In this paper, it is successfully test...
Michael Defoin-Platel, Manuel Clergue, Philippe Co...