8486 search results - page 83 / 1698 » Ordered Enumeration Method |
119
Voted
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
94
Voted
ESOP
2003
Springer
15 years 7 months ago
2003
Springer
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...
136
Voted
EMMCVPR
1999
Springer
15 years 6 months ago
1999
Springer
Markov Random Fields are widely used in many image processing applications. Recently the shortcomings of some of the simpler forms of these models have become apparent, and models ...
124
Voted
AFP
1995
Springer
15 years 6 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
110
Voted
AAAI
2008
15 years 4 months ago
2008
At the turn of the last century, Constantin Stanislavski developed a new system of acting, replacing the mannered gestures and forced emotion then popular with a more natural styl...