460 search results - page 60 / 92 » A Principled Semantics for inp |
PPOPP
1991
ACM
14 years 1 months ago
1991
ACM
This paper presents Jade, a language which allows a programmer to easily express dynamic coarse-grain parallelism. Starting with a sequential program, a programmer augments those ...
FOIS
2010
13 years 11 months ago
2010
In a series of publications, we have employed ontological theories and principles used to evaluate and improve the quality of conceptual modeling grammars and models. In this artic...
I3
2007
13 years 11 months ago
2007
Already in the early 14th century, the philosopher William of Ockham created the philosophical principle known as Ockham’s Razor, which can be translated from Latin as ”entiti...
LREC
2008
13 years 11 months ago
2008
In this paper, we reported experiments of unsupervised automatic acquisition of Italian and English verb subcategorization frames (SCFs) from general and domain corpora. The propo...
IJCAI
2007
13 years 11 months ago
2007
This article proposes a Diagnosis Interchange Format (DIF), an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic m...