Results 1  10
of
4,256
Abstract On the proper definition of information
, 2008
"... Whether viewed as a Rawlsian primary good or as the building material of an entire Infosphere, the notion of information plays a fundamental role in the development of CE. We analyze this notion from the monosemic perspective of lexical semantics (Ruhl 1989) and offer a definition that provides a su ..."
Abstract
 Add to MetaCart
Whether viewed as a Rawlsian primary good or as the building material of an entire Infosphere, the notion of information plays a fundamental role in the development of CE. We analyze this notion from the monosemic perspective of lexical semantics (Ruhl 1989) and offer a definition that provides a
On the Proper Definition of Cognitive
, 1998
"... This Article is brought to you for free and open access by the Papers in the Biological Sciences at DigitalCommons@University of Nebraska Lincoln. ..."
Abstract
 Add to MetaCart
This Article is brought to you for free and open access by the Papers in the Biological Sciences at DigitalCommons@University of Nebraska Lincoln.
On the Proper Definition of Minimality in Specialization and Theory Revision
 In Brazdil (Ed.) Machine Learning  ECML93
, 1993
"... A central operation in an incremental learning system is the specialization of an incorrect theory in order exclude incorrect inferences. In this paper, we discuss what properties are to be required from such theory revision operations. In particular, we examine what it should mean for a revision to ..."
Abstract

Cited by 19 (3 self)
 Add to MetaCart
A central operation in an incremental learning system is the specialization of an incorrect theory in order exclude incorrect inferences. In this paper, we discuss what properties are to be required from such theory revision operations. In particular, we examine what it should mean for a revision to be minimal. As a surprising result, the seemingly most natural criterion, requiring revisions to produce maximally general correct specializations, leads to a number of serious problems. We therefore propose an alternative interpretation of minimality based on the notion of base revision from theory contraction work, and formally define it as a set of base revision postulates. We then present a revision operator (Mbr) that meets these postulates, and shown that it produces the maximally general correct revision satisfying the postulates, i.e., the revisions produced by Mbr are indeed minimal in our sense. The operator is implemented and used in Krt, the knowledge revision tool of the Mobal ...
The proper definition of the added mass for the water entry problem
"... The water entry problem is considered from the point of view of analytic mechanics. It is usual practice to treat potential hydrodynamic problems involving motion of solid bodies within the frame of system dynamics. This is done whenever a finite number of generalized coordinates can ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
The water entry problem is considered from the point of view of analytic mechanics. It is usual practice to treat potential hydrodynamic problems involving motion of solid bodies within the frame of system dynamics. This is done whenever a finite number of generalized coordinates can
HIGHER ORDER RIGIDITY WHAT IS THE PROPER DEFINITION?
"... Abstract. We show that there is a bar–and–joint framework G(p) which has a configuration p in the plane such that the component of p in the space of all planar configurations of G has a cusp at p. At the cusp point, the mechanism G(p) turns out to be third–order rigid, in the sense that, every third ..."
Abstract
 Add to MetaCart
Abstract. We show that there is a bar–and–joint framework G(p) which has a configuration p in the plane such that the component of p in the space of all planar configurations of G has a cusp at p. At the cusp point, the mechanism G(p) turns out to be third–order rigid, in the sense that, every third–order flex must have a trivial first–order component. The existence of a third–order rigid framework that is not rigid calls into question the whole notion of higher–order rigidity. 1.
Is MDA achievable without a proper definition of latebinding?
, 2002
"... The Unified Modeling Language is an attempt to define a unified notation for ObjectOriented technology users. Since a notation without semantics is not precise enough, succeeding versions have improved the expressive power of UML. First, Object Constraint Language, permitting the description of inv ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
The Unified Modeling Language is an attempt to define a unified notation for ObjectOriented technology users. Since a notation without semantics is not precise enough, succeeding versions have improved the expressive power of UML. First, Object Constraint Language, permitting the description of invariants, pre and post conditions, was included in UML. More recently, Action Semantics has been approved by the Object Management Group to describe operations.
Formalising trust as a computational concept
, 1994
"... Trust is a judgement of unquestionable utility — as humans we use it every day of our lives. However, trust has suffered from an imperfect understanding, a plethora of definitions, and informal use in the literature and in everyday life. It is common to say “I trust you, ” but what does that mean? T ..."
Abstract

Cited by 529 (6 self)
 Add to MetaCart
Artificial Intelligence (DAI) is raised. The thesis presents a testbed populated by simple trusting agents which substantiates the utility of the formalism. The formalism provides a step in the direction of a proper understanding and definition of human trust. A contribution of the thesis is its detailed
Strictly Proper Scoring Rules, Prediction, and Estimation
, 2007
"... Scoring rules assess the quality of probabilistic forecasts, by assigning a numerical score based on the predictive distribution and on the event or value that materializes. A scoring rule is proper if the forecaster maximizes the expected score for an observation drawn from the distribution F if he ..."
Abstract

Cited by 373 (28 self)
 Add to MetaCart
, the energy score admits a kernel representation in terms of negative definite functions, with links to inequalities of Hoeffding type, in both univariate and multivariate settings. Proper scoring rules for quantile and interval forecasts are also discussed. We relate proper scoring rules to Bayes factors
A critique of ANSI SQL isolation levels
, 1995
"... Reads, and Phantoms. This paper shows that these phenomena and the ANSI SQL definitions fail to properly characterize several popular isolation levels, including the standard Ioeking implementations of the levels covered. Ambiguity in the statement of the phenomena is investigated and a more formal ..."
Abstract

Cited by 300 (7 self)
 Add to MetaCart
Reads, and Phantoms. This paper shows that these phenomena and the ANSI SQL definitions fail to properly characterize several popular isolation levels, including the standard Ioeking implementations of the levels covered. Ambiguity in the statement of the phenomena is investigated and a more formal
Polygraph: Automatically generating signatures for polymorphic worms
 In Proceedings of the IEEE Symposium on Security and Privacy
, 2005
"... It is widely believed that contentsignaturebased intrusion detection systems (IDSes) are easily evaded by polymorphic worms, which vary their payload on every infection attempt. In this paper, we present Polygraph, a signature generation system that successfully produces signatures that match poly ..."
Abstract

Cited by 275 (17 self)
 Add to MetaCart
polymorphic worms. Polygraph generates signatures that consist of multiple disjoint content substrings. In doing so, Polygraph leverages our insight that for a realworld exploit to function properly, multiple invariant substrings must often be present in all variants of a payload; these substrings typically
Results 1  10
of
4,256