Sciweavers

747 search results - page 65 / 150
» Consequence Relations In DRT
Sort
View
IANDC
2006
78views more  IANDC 2006»
13 years 7 months ago
A stable programming language
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
Luca Paolini
KI
2008
Springer
13 years 7 months ago
Space, Time, and the Use of Language
1 The investigation of linguistic expressions of space and time typically presupposes an interdependency between these two related conceptual domains, resulting in a quasi-metaphor...
Thora Tenbrink
FOCM
2007
48views more  FOCM 2007»
13 years 7 months ago
Integration and Optimization of Multivariate Polynomials by Restriction onto a Random Subspace
Abstract. We consider the problem of efficient integration of an n-variate polynomial with respect to the Gaussian measure in Rn and related problems of complex integration and opt...
Alexander I. Barvinok
SIGCSE
2008
ACM
120views Education» more  SIGCSE 2008»
13 years 7 months ago
Computing and higher education in Peru
Abstract: In Peru, the computing discipline as an academic field has been neglected during decades deriving in a lowquality higher education system and consequently shaping an acad...
Marco A. Alvarez, José Baiocchi, José...
TFS
2008
107views more  TFS 2008»
13 years 7 months ago
Towards a General Class of Operators for Fuzzy Systems
Abstract-- Our starting point is the multiplicative utility function which is extensively used in the theory of multicriteria decision making. Its associativity is shown and as its...
József Dombi