Sciweavers

244 search results - page 7 / 49
» Towards a Theory of Extractable Functions
Sort
View
81
Voted
PCI
2001
Springer
15 years 2 months ago
Communicating X-Machines: From Theory to Practice
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...
Petros Kefalas, George Eleftherakis, Evangelos Keh...
71
Voted
NAACL
2007
14 years 11 months ago
Extracting Appraisal Expressions
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...
Kenneth Bloom, Navendu Garg, Shlomo Argamon
TFS
2008
107views more  TFS 2008»
14 years 9 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
MLQ
1998
61views more  MLQ 1998»
14 years 9 months ago
Extracting Algorithms from Intuitionistic Proofs
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 ...
Fernando Ferreira, António Marques
69
Voted
CIE
2005
Springer
15 years 3 months ago
Towards Computability of Higher Type Continuous Data
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...
Margarita V. Korovina, Oleg V. Kudinov