Sciweavers

4008 search results - page 315 / 802
» An expressive language of signatures
Sort
View
FPCA
1995
15 years 10 months ago
Shortcut Deforestation in Calculational Form
In functional programming, intermediate data structures are often used to “glue’) together small programs. Deforestation is a program transformation to remove these intermedia...
Akihiko Takano, Erik Meijer
HCI
2007
15 years 8 months ago
Recognition of Affect Conveyed by Text Messaging in Online Communication
Abstract. In this paper, we address the task of affect recognition from text messaging. In order to sense and interpret emotional information expressed through written language, ru...
Alena Neviarouskaya, Helmut Prendinger, Mitsuru Is...
MEDINFO
2007
130views Healthcare» more  MEDINFO 2007»
15 years 8 months ago
What's in a code? Towards a Formal Account of the Relation of Ontologies and Coding Systems
Terminologies are increasingly based on “ontologies” developed in description logics and related languages such as the new Web Ontology Language, OWL. The use of description l...
Alan L. Rector
FCS
2006
15 years 8 months ago
The Representational Power of Conjunctive Normal Form
- There is continuing research interest in comparison of the complexity of problems within the class NP-Complete. This paper examines the representational power of conjunctive norm...
Thomas O'Neil, Jason Smith
SPLST
2003
15 years 8 months ago
User's Functions in Standard Prolog
We integrate user-defined functions with semantic equations into standard Prolog. In order to interface them with Prolog, we introduce a single operator. If a predicate invocation...
Tibor Ásványi