Sciweavers

2696 search results - page 112 / 540
» Semantic Abstraction and Anaphora
Sort
View
PEPM
1993
ACM
15 years 2 months ago
The Correctness of an Optimized Code Generation
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
Torben Poort Lange
ECAI
2006
Springer
15 years 1 months ago
Programming Agents with Emotions
Abstract. This paper presents the syntax and semantics of a simplified version of a logic-based agent-oriented programming language to implement agents with emotions. Four types of...
Mehdi Dastani, John-Jules Ch. Meyer
ECAI
2006
Springer
15 years 1 months ago
Approximating Extended Answer Sets
Abstract. We present an approximation theory for the extended answer set semantics, using the concept of an approximation constraint. Intuitively, an approximation constraint, whil...
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
FINTAL
2006
15 years 1 months ago
Paraphrase Identification on the Basis of Supervised Machine Learning Techniques
Abstract. This paper presents a machine learning approach for paraphrase identification which uses lexical and semantic similarity information. In the experimental studies, we exam...
Zornitsa Kozareva, Andrés Montoyo
CLA
2004
14 years 11 months ago
Concept Lattice Generation by Singular Value Decomposition
Abstract. Latent semantic indexing (LSI) is an application of numerical method called singular value decomposition (SVD), which discovers latent semantic in documents by creating c...
Petr Gajdos, Pavel Moravec, Václav Sn&aacut...