2542 search results - page 109 / 509 » An Operational Definition of Context |
148
click to vote
JSYML
2006
15 years 6 months ago
2006
We introduce and study the notions of a PAC substructure of a stable structure, and a bounded substructure of an arbitrary substructure, generalizing [8]. We give precise definiti...
193
click to vote
JMM2
2007
15 years 6 months ago
2007
— This thesis explores the creative possibilities and implications of Augmented Reality, not just as a specific technology of computer science, but as one of high technologies th...
158
click to vote
ACL
2010
15 years 4 months ago
2010
Dominance links were introduced in grammars to model long distance scrambling phenomena, motivating the definition of multiset-valued linear indexed grammars (MLIGs) by Rambow (19...
168
click to vote
EC
1998
15 years 6 months ago
1998
This paper analyzes different representations for permutation flowshop problems. This is done using forma analysis to assess the quality of these representations with respect to m...
190
click to vote
TLCA
2007
Springer
16 years 29 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...