676 search results - page 43 / 136 » A theory of aspects |
185
Voted
POPL
2004
ACM
16 years 26 days ago
2004
ACM
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...
ZUM
2000
Springer
15 years 4 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
85
Voted
SIGIR
2008
ACM
15 years 14 days ago
2008
ACM
Modeling the beyond-topical aspects of relevance are currently gaining popularity in IR evaluation. For example, the discounted cumulated gain (DCG) measure implicitly models some...
90
Voted
SIGIR
2002
ACM
15 years 5 days ago
2002
ACM
This work proposes a model for video retrieval based upon the inference network model. The document network is constructed using video metadata encoded using MPEG-7 and captures i...
150
Voted
LORI
2009
Springer
15 years 7 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...