5810 search results - page 28 / 1162 » An Approach to Programming Based on Concepts |
128
Voted
READING
2004
Springer
15 years 4 months ago
2004
Springer
Document Transformation techniques have been studied for decades. In this paper, a new approach for a significant improvement is presented based on using a new query expansion met...
SGAI
2007
Springer
15 years 5 months ago
2007
Springer
Grid-World is a working computer model which has been used to investigate the search capabilities of artificial agents that understand the world in terms of non-conceptual content...
HCI
2009
14 years 8 months ago
2009
This paper describes the framework and development process of adaptive user interfaces within the OASIS project. After presenting a rationale for user interface adaptation to addre...
ACTA
1998
14 years 10 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
86
Voted
ATC
2008
Springer
15 years 27 days ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...