Sciweavers

1806 search results - page 259 / 362
» Some Functions Computable with a Fused-Mac
Sort
View
ASM
2005
ASM
14 years 4 months ago
State Exploration with Multiple State Groupings
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
Colin Campbell, Margus Veanes
HYBRID
2005
Springer
14 years 4 months ago
Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order
In this paper, a cascade discrete-continuous state estimator on a partial order is proposed and its existence investigated. The continuous state estimation error is bounded by a mo...
Domitilla Del Vecchio, Richard M. Murray
IBPRIA
2005
Springer
14 years 4 months ago
Multi-resolution Image Analysis for Vehicle Detection
Computer Vision can provide a great deal of assistance to Intelligent Vehicles. In this paper an Advanced Driver Assistance Systems for Vehicle Detection is presented. A geometric ...
Cristina Hilario, Juan Manuel Collado, Jose M. Arm...
ICNC
2005
Springer
14 years 4 months ago
Coevolutionary Genetic Algorithms to Simulate the Immune System's Gene Libraries Evolution
Two binary-encoded models describing some aspects of the coevolution between an artificial immune system and a set of antigens have been proposed and analyzed. The first model ha...
Grazziela Patrocinio Figueredo, Luís Alfred...
ISNN
2005
Springer
14 years 4 months ago
Feature Selection and Intrusion Detection Using Hybrid Flexible Neural Tree
Current Intrusion Detection Systems (IDS) examine all data features to detect intrusion or misuse patterns. Some of the features may be redundant or contribute little (if anything)...
Yuehui Chen, Ajith Abraham, Ju Yang