Sciweavers

5325 search results - page 87 / 1065
» Effective Computation for Nonlinear Systems
Sort
View
CDC
2009
IEEE
114views Control Systems» more  CDC 2009»
15 years 11 months ago
A computable type theory for control systems
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
Pieter Collins
ISSA
2004
15 years 7 months ago
Utilizing Neural Networks For Effective Intrusion Detection
Computer security, and intrusion detection in particular, has become increasingly important in today's business environment, to help ensure safe and trusted commerce between ...
Martin Botha
VL
2000
IEEE
136views Visual Languages» more  VL 2000»
15 years 10 months ago
A Data-Flow Visual Approach to Symbolic Computing: Implementing a Production-Rule-Based Programming System through a General-Pur
The main aim of this paper is to investigate how the production-rule-based computational paradigm can be implemented through visual data-flow techniques. We propose a simple yet e...
Mauro Mosconi, Marco Porta
ICIP
2001
IEEE
16 years 8 months ago
Tracking of human activities using shape-encoded particle propagation
We present an approach to tracking human activities in a monocular video. We model the human body by decomposing it into torso and limbs and use simple 3D shapes to approximate th...
Hankyu Moon, Rama Chellappa, Azriel Rosenfeld
RTSS
2008
IEEE
16 years 22 days ago
Fast Sensor Placement Algorithms for Fusion-Based Target Detection
Mission-critical target detection imposes stringent performance requirements for wireless sensor networks, such as high detection probabilities and low false alarm rates. Data fus...
Zhaohui Yuan, Rui Tan, Guoliang Xing, Chenyang Lu,...