Sciweavers

4615 search results - page 323 / 923
» Virtual Classes and Their Implementation
Sort
View
CDC
2009
IEEE
144views Control Systems» more  CDC 2009»
15 years 11 months ago
Stability of quantized time-delay nonlinear systems: A Lyapunov-Krasowskii-functional approach
Lyapunov-Krasowskii functionals are used to design quantized continuous-time control laws for nonlinear systems in the presence of time-invariant pointwise delays in the input. Th...
Claudio De Persis, Frédéric Mazenc
SP
1999
IEEE
126views Security Privacy» more  SP 1999»
15 years 11 months ago
Flexible Policy-Directed Code Safety
This work introduces a new approach to code safety. We present Naccio, a system architecture that allows a large class of safety policies to be expressed in a general and platform...
David Evans, Andrew Twyman
PODS
1993
ACM
122views Database» more  PODS 1993»
15 years 10 months ago
Towards an Analysis of Range Query Performance in Spatial Data Structures
In this paper, we motivate four di erent user de ned window query classes and derive a probabilistic model for each of them. For each model, we characterize the e ciency of spatia...
Bernd-Uwe Pagel, Hans-Werner Six, Heinrich Toben, ...
FPLE
1995
15 years 10 months ago
Explaining Algebraic Theory with Functional Programs
Abstract. A hierarchy of six important structures from abstract algebra (groups, rings, fields etc.) is introduced as Gofer class definitions and laws about them. Many instance d...
Jeroen Fokker
LREC
2010
260views Education» more  LREC 2010»
15 years 8 months ago
Automatic Detection of Syllable Boundaries in Spontaneous Speech
This paper presents the outline and performance of an automatic syllable boundary detection system. The syllabification of phonemes is performed with a rule-based system, implemen...
Brigitte Bigi, Christine Meunier, Irina Nesterenko...