Search Sciweavers | Sciweavers

1471 search results - page 2 / 295

» Church: a language for generative models

Voted

IWFM
1998

94views Formal Methods» more IWFM 1998»

Motivation for a New Semantics for Vagueness

14 years 10 months ago

Download www.bcs.org

Vagueness is the phenomenon that natural language predicates have borderline regions of applicability and that the boundaries of the borderline region are not determinable. A theo...

Mark Changizi

claim paper

Read More »

click to vote

ICEIS
2008
IEEE

192views Information Technology» more ICEIS 2008»

GUI Generation Based on Language Extensions - A Model to Generate GUI, based on Source Code with Custom Attributes

15 years 3 months ago

Download iconline.ipleiria.pt

Marco Monteiro, Paula Oliveira, Ramiro Gonç...

claim paper

Read More »

113

click to vote

TLCA
1995
Springer

121views Theoretical Computer Science» more TLCA 1995»

Typed Operational Semantics

15 years 28 days ago

Download www.lfcs.inf.ed.ac.uk

operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...

Healfdene Goguen

claim paper

Read More »

click to vote

EMNLP
2011

161views Natural Language Processing» more EMNLP 2011»

A Probabilistic Forest-to-String Model for Language Generation from Typed Lambda Calculus Expressions

13 years 9 months ago

Download wing.comp.nus.edu.sg

Wei Lu, Hwee Tou Ng

claim paper

Read More »