Sciweavers

10910 search results - page 272 / 2182
» Input modeling using a computer algebra system
Sort
View
KDD
1998
ACM
181views Data Mining» more  KDD 1998»
15 years 10 months ago
Approaches to Online Learning and Concept Drift for User Identification in Computer Security
The task in the computer security domain of anomaly detection is to characterize the behaviors of a computer user (the `valid', or `normal' user) so that unusual occurre...
Terran Lane, Carla E. Brodley
ICASSP
2011
IEEE
14 years 10 months ago
Fourier expansion of hammerstein models for nonlinear acoustic system identification
We consider the task of acoustic system identification, where the input signal undergoes a memoryless nonlinear transformation before convolving with an unknown linear system. We...
Sarmad Malik, Gerald Enzner
SIGSOFT
2007
ACM
16 years 7 months ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
PREMI
2005
Springer
16 years 2 days ago
Systematically Evolving Configuration Parameters for Computational Intelligence Methods
The configuration of a computational intelligence (CI) method is responsible for its intelligence (e.g. tolerance, flexibility) as well as its accuracy. In this paper, we investiga...
Jason M. Proctor, Rosina Weber
CDC
2008
IEEE
163views Control Systems» more  CDC 2008»
15 years 8 months ago
Robust design of a spacecraft attitude tracking control system with actuator uncertainties
In this paper we apply the robust redesign for transient performance recovery of nonlinear systems with input uncertainties developed in [2] to a spacecraft attitude tracking probl...
Aranya Chakrabortty, Murat Arcak, Panagiotis Tsiot...