Sciweavers

2874 search results - page 411 / 575
» Intrusion Detection: Systems and Models
Sort
View
ICRA
2006
IEEE
103views Robotics» more  ICRA 2006»
16 years 16 days ago
Stability Analysis of Information based Control for Biochemical Source Localization
— The paper proposes an improved model and its approximation for a diffusion of a biochemical agent in the air. Based on the model, a new motion control algorithm based on the Fi...
Panos Tzanos, Milos Zefran
ICANN
1997
Springer
15 years 10 months ago
A Novelty Detector Using a Network of Integrate and Fire Neurons
Information in the nervous system has often been considered as being represented by simultaneous discharge of a large set of neurons. We propose a learning mechanism for neural inf...
Tuong Vinh Ho, Jean Rouat
IQ
2007
15 years 8 months ago
An Alert Management Approach To Data Quality: Lessons Learned From The Visa Data Authority Program
: We introduce an end-to-end framework for data quality that integrates business strategy, data quality models, and supporting investigative and governance processes. We also descr...
Joseph Bugajski, Robert L. Grossman
TCAD
2008
181views more  TCAD 2008»
15 years 6 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...
CAD
2004
Springer
15 years 6 months ago
Reconstruction of piecewise planar objects from point clouds
This article discusses the reverse engineering problem of reconstructing objects with planar faces. We will present the main geometric features of a modeling system which are the ...
Martin Peternell, Tibor Steiner