4355 search results - page 452 / 871 » From Interpretation to Compilation |
161
click to vote
TPHOL
2006
IEEE
16 years 26 days ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
159
click to vote
ISESE
2005
IEEE
16 years 14 days ago
2005
IEEE
Many risk specific concepts like “threat”, “consequence” and “risk” belong to the daily language. In a risk analysis one cannot be certain that the participants’ int...
181
click to vote
ISIPTA
2005
IEEE
16 years 14 days ago
2005
IEEE
A granular based semantics for fuzzy measures is introduced in which the measure of a set of propositions approximates the probability of the disjunction of these propositions. Th...
206
click to vote
ITRE
2005
IEEE
16 years 14 days ago
2005
IEEE
A Bayesian network model is a popular technique for data mining due to its intuitive interpretation. This paper presents a semantic genetic algorithm (SGA) to learn a complete qual...
188
click to vote
LICS
2005
IEEE
16 years 14 days ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...