2440 search results - page 246 / 488 » Explanation-Based Feature Construction |
166
click to vote
ECOOP
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
140
Voted
ECAI
1994
Springer
15 years 10 months ago
1994
Springer
We introduce the multiple capacitated job shop scheduling problem as a generalization of the job shop scheduling problem. In this problem machines may process several operations s...
156
Voted
TAPSOFT
1993
Springer
15 years 10 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
135
click to vote
UIST
1993
ACM
15 years 10 months ago
1993
ACM
This paper describes Bramble, a toolkit for constructing graphical editing applications. The primary focus of Bramble is improve support for graphical manipulation by employing di...
147
Voted
AOSD
2007
ACM
15 years 9 months ago
2007
ACM
Aspect-oriented languages mostly employ implicit languagedefined join point models, where well-defined points in the program are called join points and declarative predicates are ...