172 search results - page 1 / 35 » How to Specialize by Theory Refinement |
ECAI
1992
Springer
13 years 9 months ago
1992
Springer
ENTCS
2008
13 years 4 months ago
2008
We introduce a general model of refinement. This is defined in terms of what contexts an entity can appear in, and what observations can be made of it in those contexts. We show e...
ENTCS
2008
13 years 4 months ago
2008
In the previous, companion, paper [13] to this paper we introduced our general model of refinement, discussed ideas around determinism and interfaces that the general definition r...
CHI
2006
ACM
14 years 5 months ago
2006
ACM
This paper explores the relationship between display of feedback (public vs. private) by a computer system and the basis for evaluation (present vs. absent) of that feedback. We e...
INFORMATICALT
2010
13 years 2 months ago
2010
The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several ...