4592 search results - page 255 / 919 » Framework for Studying Substitution |
161
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Design pattern density is a metric that measures how much of an object-oriented design can be understood and represented as instances of design patterns. Expert developers have lo...
201
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
194
click to vote
GROUP
1997
ACM
15 years 11 months ago
1997
ACM
Team automata have been proposed in Ellis (1997) as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Here we define team autom...
197
click to vote
ISCA
1995
IEEE
15 years 11 months ago
1995
IEEE
Modern high-performance architectures require extremely accurate branch prediction to overcome the performance limitations of conditional branches. We present a framework that cat...
136
click to vote
LREC
2008
15 years 8 months ago
2008
Krahmer et al.'s (2003) graph-based framework provides an elegant and flexible approach to the generation of referring expressions. In this paper, we present the first report...