Sciweavers

4719 search results - page 565 / 944
» Spreadsheet functional programming
Sort
View
CDC
2009
IEEE
138views Control Systems» more  CDC 2009»
15 years 9 months ago
Synthesis of a global asymptotic stabilizing feedback law for a system satisfying two different sector conditions
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
Vincent Andrieu, Christophe Prieur, Sophie Tarbour...
ICCS
2001
Springer
15 years 9 months ago
Discrete Local Fairing of B-Spline Surfaces
Many surfaces can be modeled by interpolating data points digitized from existing products. But the digitized data points could have measuring errors. To adjust the points, fairing...
Seok-Yong Hong, Chung-Seong Hong, Hyun-Chan Lee, K...
ACSAC
2000
IEEE
15 years 9 months ago
Two State-based Approaches to Program-based Anomaly Detection
This paper describes two recently developed intrusion detection algorithms, and gives experimental results on their performance. The algorithms detect anomalies in execution audit...
Christoph C. Michael, Anup K. Ghosh
CL
2000
Springer
15 years 9 months ago
Querying Inconsistent Databases: Algorithms and Implementation
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
Alexander Celle, Leopoldo E. Bertossi
AGENTS
1997
Springer
15 years 9 months ago
Real-Time Control of Attention and Behavior in a Logical Framework
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representatio...
Ian Horswill