Sciweavers

130 search results - page 4 / 26
» Making Semantic Interpretation Parser-Independent
Sort
View
PLDI
2010
ACM
15 years 4 months ago
Smooth interpretation
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...
Swarat Chaudhuri, Armando Solar-Lezama
POPL
2004
ACM
15 years 12 months ago
Global value numbering using random interpretation
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...
Sumit Gulwani, George C. Necula
EUSFLAT
2003
117views Fuzzy Logic» more  EUSFLAT 2003»
15 years 1 months ago
On a modeling of decision making with a twofold integral
A Sugeno and a Choquet integrals are commonly used fuzzy integrals for aggregation. As a generalization of both integrals, the twofold integral is induced. The twofold integral en...
Hideyuki Imai, Vicenç Torra
ESWS
2008
Springer
15 years 1 months ago
Semantic Browsing with PowerMagpie
PowerMagpie is a tool that brings semantic interpretation to classical web pages by dynamically--i.e. during browsing--selecting and making use of a wide range of online available ...
Laurian Gridinoc, Marta Sabou, Mathieu d'Aquin, Ma...
IANDC
2010
125views more  IANDC 2010»
14 years 10 months ago
Continuation semantics for the Lambek-Grishin calculus
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
Raffaella Bernardi, Michael Moortgat