244 search results - page 7 / 49 » Towards a Theory of Extractable Functions |
PCI
2001
Springer
14 years 3 days ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
NAACL
2007
13 years 9 months ago
2007
Sentiment analysis seeks to characterize opinionated or evaluative aspects of natural language text. We suggest here that appraisal expression extraction should be viewed as a fun...
TFS
2008
13 years 7 months ago
2008
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...
MLQ
1998
13 years 7 months ago
1998
This paper presents a new method – which does not rely on the cut-elimination theorem – for characterizing the provably total functions of certain intuitionistic subsystems of ...
CIE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...