1003 search results - page 63 / 201 » Type Inference with Inequalities |
132
click to vote
AAAI
2008
15 years 6 months ago
2008
Many real-world problems are characterized by complex relational structure, which can be succinctly represented in firstorder logic. However, many relational inference algorithms ...
143
Voted
FLAIRS
2004
15 years 5 months ago
2004
When designing any type of fuzzy rule based system, considerable effort is placed in identifying the correct number of fuzzy sets and the fine tuning of the corresponding membersh...
125
Voted
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. This paper presents a polymorphic type system for a language with delimited control operators, shift and reset. Based on the monomorphic type system by Danvy and Filinski...
131
click to vote
ACTA
2005
15 years 3 months ago
2005
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
147
Voted
FLAIRS
2007
15 years 6 months ago
2007
We describe an algorithm and experiments for inference of edge replacement graph grammars. This method generates candidate recursive graph grammar productions based on isomorphic ...