1712 search results - page 197 / 343 » A Computational Approach to Binding Theory |
WWW
2006
ACM
16 years 2 months ago
2006
ACM
Expanding a seed set into a larger community is a common procedure in link-based analysis. We show how to adapt recent results from theoretical computer science to expand a seed s...
115
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
114
click to vote
TLDI
2009
ACM
15 years 10 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
100
click to vote
FUZZIEEE
2007
IEEE
15 years 8 months ago
2007
IEEE
— One of the main obstacles facing the application of computational intelligence technologies in pattern recognition (and indeed in many other tasks) is that of dataset dimension...
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...