5810 search results - page 1105 / 1162 » An Approach to Programming Based on Concepts |
131
click to vote
CCA
2005
Springer
15 years 10 months ago
2005
Springer
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...
155
click to vote
ICMI
2005
Springer
15 years 10 months ago
2005
Springer
Current methods of playlist creation and maintenance do not support user needs, especially in a mobile context. Furthermore, they do not scale: studies show that users with large ...
129
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
Today business registries are regarded as means of finding services offered by a business partner. However, business registries might also serve as means of seaching inter-organiza...
170
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Though adjustable autonomy is hardly a new topic in agent systems, there has been a general lack of consensus on terminology and basic concepts. In this paper, we describe the mul...
140
click to vote
ACMSE
2004
ACM
15 years 10 months ago
2004
ACM
SA_MetaMatch, a component of the Standards Advisor (SA), is designed to find relevant documents through matching indices of metadata and document content. The elements in the meta...