Results 1  10
of
1,181,452
A General Notion of Realizability
"... Abstract We present a general notion of realizability encompassing both standard Kleene style realizability over partial combinatory algebras and Kleene style realizability overmore general structures, including all partial cartesian closed categories. We show how the general notion of realizabili ..."
Abstract
 Add to MetaCart
Abstract We present a general notion of realizability encompassing both standard Kleene style realizability over partial combinatory algebras and Kleene style realizability overmore general structures, including all partial cartesian closed categories. We show how the general notion of re
A General Notion of Realizability
 In Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
, 2000
"... We present a general notion of realizability encompassing both standard Kleene style realizability over partial combinatory algebras and Kleene style realizability over more general structures, including all partial cartesian closed categories. We show how the general notion of realizability can be ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
We present a general notion of realizability encompassing both standard Kleene style realizability over partial combinatory algebras and Kleene style realizability over more general structures, including all partial cartesian closed categories. We show how the general notion of realizability can
THE GENERAL NOTION OF THE SONICITY THEORY
"... In this paper we present the application of thermic effect on sonicity's theory. The sonic actions permit the best combination of facilities offered by the procesing of electrical signals (reduces energy) with sonical actions of great power and efficiency, which give the possibility of eliminat ..."
Abstract
 Add to MetaCart
In this paper we present the application of thermic effect on sonicity's theory. The sonic actions permit the best combination of facilities offered by the procesing of electrical signals (reduces energy) with sonical actions of great power and efficiency, which give the possibility of eliminating the bigest parts of a clasical hidraulical system (hidraulic reservoir, valve of regulating the debit), resulting on action which combine the opportunities offered by the processing the signals of low energy and the compact sonic actions, with high efficiency, with reduces volume, so very economic.
1. GENERAL NOTIONS AND PROPERTIES
"... Summary. Orthoposets are defined. The approach is the standard one via order relation similar to common text books on algebra like [9]. ..."
Abstract
 Add to MetaCart
Summary. Orthoposets are defined. The approach is the standard one via order relation similar to common text books on algebra like [9].
General Notions of Statistical Depth Function
, 2000
"... Statistical depth functions are being formulated ad hoc with increasing popularity in nonparametric inference for multivariate data. Here we introduce several general structures for depth functions, classify many existing examples as special cases, and establish results on the possession, or lack th ..."
Abstract

Cited by 80 (28 self)
 Add to MetaCart
Statistical depth functions are being formulated ad hoc with increasing popularity in nonparametric inference for multivariate data. Here we introduce several general structures for depth functions, classify many existing examples as special cases, and establish results on the possession, or lack
General notions of depth for functional data
, 2012
"... A data depth measures the centrality of a point with respect to an empirical distribution. Postulates are formulated, which a depth for functional data should satisfy, and a general approach is proposed to construct multivariate data depths in Banach spaces. The new approach, mentioned as Φdepth, i ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
depth, is based on depth infima over a proper set Φ of Rdvalued linear functions. Several desirable properties are established for the Φdepth and a generalized version of it. The general notions include known functional data depths, such as the band depth and graph depths of LopezPintado and Romo, and many new
A Behavioral Notion of Subtyping
 ACM Transactions on Programming Languages and Systems
, 1994
"... The use of hierarchy is an important component of objectoriented design. Hierarchy allows the use of type families, in which higher level supertypes capture the behavior that all of their subtypes have in common. For this methodology to be effective, it is necessary to have a clear understanding of ..."
Abstract

Cited by 514 (18 self)
 Add to MetaCart
is easy for programmers to use. The subtype relation is based on the specifications of the sub and supertypes; the paper presents a way of specifying types that makes it convenient to define the subtype relation. The paper also discusses the ramifications of this notion of subtyping on the design of type
Generalized Notions of Mind Change Complexity
 In Proceedings of the Tenth Annual Conference on Computational Learning Theory
, 1997
"... Speed of convergence in Gold's identification in the limit model can be measured by deriving bounds on the number of mind changes made by a learner before the onset of convergence. Two approaches to date are bounds given by constants (referred here as Type 1) and bounds expressed as constructiv ..."
Abstract

Cited by 12 (6 self)
 Add to MetaCart
introduces two more general approaches to bounding mind changes. These are based on counting by going down in a linearly ordered set (Type 3) and on counting by going down in a partially ordered set (Type 4). In both cases the set must not contain infinite, descending, and computable sequences. These four
A General Notion of Useful Information
"... In this paper we introduce a general framework for defining the depth of a sequence with respect to a class of observers. We show that our general framework captures all depth notions introduced in complexity theory so far. We review most such notions, show how they are particular cases of our gener ..."
Abstract
 Add to MetaCart
In this paper we introduce a general framework for defining the depth of a sequence with respect to a class of observers. We show that our general framework captures all depth notions introduced in complexity theory so far. We review most such notions, show how they are particular cases of our
Results 1  10
of
1,181,452