Results 1 - 10
of
4,439
Formal Foundation of Lexical Functions
"... Lexical functions were introduced in Meaning-Text theory to account for two interrelated families of lexical relations: semantic derivations and collocations. However, the language traditionally used in Meaning-Text lexicography for encoding lexical functions is not fully specified from a for ..."
Abstract
-
Cited by 15 (2 self)
- Add to MetaCart
formal point of view. In this paper, we propose a formal foundation for lexical functions based on two complementary encoding devices which we believe are computationally tractable and fill the gaps of the traditional formal language of lexical functions. 1
Formal foundation of lexical functions
"... Lexical functions were introduced in Meaning-Text theory to account for two interrelated families of lexical relations: semantic derivations and collocations. However, the language traditionally used in Meaning-Text lexicography for encod-ing lexical functions is not fully specified from a formal po ..."
Abstract
- Add to MetaCart
point of view. In this paper, we propose a formal foundation for lexi-cal functions based on two complemen-tary encoding devices which we believe are computationally tractable and fill the gaps of the traditional formal language of lexical functions.
2011. Formalizing Foundations of Mathematics
- Theoretical Computer Science
, 2002
"... Over the recent decades there has been a trend towards formalized mathematics, and a number of sophisticated systems have been developed to support the formalization process and mechanically verify its result. However, each tool is based on a speci c foundation of mathematics, and formalizations in ..."
Abstract
-
Cited by 4 (3 self)
- Add to MetaCart
Over the recent decades there has been a trend towards formalized mathematics, and a number of sophisticated systems have been developed to support the formalization process and mechanically verify its result. However, each tool is based on a speci c foundation of mathematics, and formalizations
A Formal Foundation for ODRL
- In Proc. of the Workshop on Issues in the Theory of Security (WIST’04
, 2004
"... ODRL is a popular XML-based language for stating the conditions under which resources can be accessed legitimately. The language is described in English and, as a result, agreements written in ODRL are open to interpretation. To address this problem, we propose a formal semantics for a representativ ..."
Abstract
-
Cited by 16 (0 self)
- Add to MetaCart
ODRL is a popular XML-based language for stating the conditions under which resources can be accessed legitimately. The language is described in English and, as a result, agreements written in ODRL are open to interpretation. To address this problem, we propose a formal semantics for a
The Formal Foundations Underlying Overlay
, 2003
"... Combining information from the current utterance with its context in some discourse is a very general task for which many dierent approaches have been proposed. For dialog systems with frame-based representations, we present a single, well-formalized operation, called overlay that computes the m ..."
Abstract
-
Cited by 12 (1 self)
- Add to MetaCart
Combining information from the current utterance with its context in some discourse is a very general task for which many dierent approaches have been proposed. For dialog systems with frame-based representations, we present a single, well-formalized operation, called overlay that computes
Formal Foundations of Computer Security
- Science for Peace and Security Series D: Information and Communication Security, Vol
, 2008
"... We would like to know with very high confidence that private data in computers is not unintentionally disclosed and that only authorized persons or processes can modify it. Proving security properties of software systems has always been hard because we are trying to show that something bad cannot ha ..."
Abstract
-
Cited by 13 (8 self)
- Add to MetaCart
We would like to know with very high confidence that private data in computers is not unintentionally disclosed and that only authorized persons or processes can modify it. Proving security properties of software systems has always been hard because we are trying to show that something bad cannot happen no matter what a hostile adversary tries
A formal foundation of systems engineering
"... Abstract. In this paper we discuss a formal foundation of systems engineering based on category theory. The main difference with other categorical approaches is the choice of the structure of the base category (symmetric monoidal or compact closed) which is, on the one hand, much better adapted to ..."
Abstract
- Add to MetaCart
Abstract. In this paper we discuss a formal foundation of systems engineering based on category theory. The main difference with other categorical approaches is the choice of the structure of the base category (symmetric monoidal or compact closed) which is, on the one hand, much better adapted
Formal Foundations for Semantic Theories of Nominalisation
"... This paper develops the formal foundations of semantic theories dealing with various kinds of nominalisations. It introduces a combination of an event-calculus with a type-free theory which allows a compositional description to be given of such phenomena like Vendler‘s distinction between perfect an ..."
Abstract
- Add to MetaCart
This paper develops the formal foundations of semantic theories dealing with various kinds of nominalisations. It introduces a combination of an event-calculus with a type-free theory which allows a compositional description to be given of such phenomena like Vendler‘s distinction between perfect
Formal Foundations For Reasoning about Evolution
, 2001
"... Designing software systems is difficult. Designing systems that are capable of evolving is even more difficult. Often the system evolves in an unforeseen direction. Practice shows that software systems grow in small evolutionary steps. An evolution usually influences the behavior and the structure o ..."
Abstract
- Add to MetaCart
of the system. However, it is not desired that the evolution influences one or more modules of the system that are functionally or logically not related to the evolution; the behavior and structure of these modules should be preserved. In this position paper, we introduce an algebra as a formal foundation
The psychological foundations of culture
- In
, 1992
"... One of the strengths of scientific inquiry is that it can progress with any mixture of empiricism, intuition, and formal theory that suits the convenience of the investigator. ..."
Abstract
-
Cited by 523 (27 self)
- Add to MetaCart
One of the strengths of scientific inquiry is that it can progress with any mixture of empiricism, intuition, and formal theory that suits the convenience of the investigator.
Results 1 - 10
of
4,439