696 search results - page 44 / 140 » Explaining abstract counterexamples |
122
Voted
VL
2002
IEEE
15 years 8 months ago
2002
IEEE
We have been working on a unit system for end-user spreadsheets that is based on the concrete notion of units of the abstract concept of types. In previous work, we defined such ...
104
click to vote
ECAL
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Recent work in the field of computational evolutionary linguistics suggests that the dynamics arising from the cultural evolution of language can explain the emergence o...
122
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. In this paper we suggest a strategy to design job scheduling systems. To this end, we first split a scheduling system into three components: Scheduling policy, objective ...
FSE
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. In this paper we present an attack on a reduced round version of Crypton. The attack is based on the dedicated Square attack. We explain why the attack also works on Cryp...
122
Voted
FSTTCS
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Hybrid knowledge bases (HKB’s) [11] were developed to provide formal models for the mediation of data and knowledge bases [14,15]. They are based on Generalized Annotat...