Sciweavers

133 search results - page 5 / 27
» Characterizing Computable Analysis with Differential Equatio...
Sort
View
TEC
2002
89views more  TEC 2002»
13 years 7 months ago
An immunity-based technique to characterize intrusions in computer networks
Abstract--This paper presents a technique inspired by the negative selection mechanism of the immune system that can detect foreign patterns in the complement (nonself) space. In p...
Fabio A. González, Dipankar Dasgupta
CCE
2006
13 years 7 months ago
Parameter estimation in continuous-time dynamic models using principal differential analysis
Principal differential analysis (PDA) is an alternative parameter estimation technique for differential equation models in which basis functions (e.g., B-splines) are fitted to dy...
A. A. Poyton, M. S. Varziri, K. B. McAuley, P. J. ...
ALP
1994
Springer
13 years 11 months ago
Compositional Analysis for Equational Horn Programs
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
María Alpuente, Moreno Falaschi, Germ&aacut...
ICPR
2008
IEEE
14 years 1 months ago
Numerical analysis of Mahalanobis metric in vector space
The Mahalanobis metric was proposed by extending the Mahalanobis distance to provide a probabilistic distance for a non-normal distribution. The Mahalanobis metric equation is a n...
Joken Son, Naoya Inoue, Yukihiko Yamashita
IISWC
2008
IEEE
14 years 1 months ago
Whiteboards that compute: A workload analysis
—A whiteboard that automatically identifies drawn strokes, interprets them in context, and augments drawn images with computational results, such as solutions to mathematical eq...
Ryan Dixon, Timothy Sherwood