1733 search results - page 137 / 347 » On the naturalness of software |
148
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present an alternative to the VISITOR pattern, DYNAMIC DISPATCHER, that can be applied to extend existing software in a nonintrusive way, and which simulates cova...
161
click to vote
WADT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
162
click to vote
IUI
2010
ACM
15 years 11 months ago
2010
ACM
In this paper we examine the use of multi faceted recommendations to aid users while carrying out exploratory video retrieval tasks. These recommendations are integrated into ViGO...
185
click to vote
AUIC
2003
IEEE
15 years 11 months ago
2003
IEEE
In this work we investigate building indoor location based applications for a mobile augmented reality system. We believe that augmented reality is a natural interface to visualiz...
169
click to vote
IRI
2003
IEEE
15 years 11 months ago
2003
IEEE
— Sampling is a general concept that has many applications in various domains. The idea of representing sampling as a pattern is to guarantee a reusable core. The stable sampling...