7988 search results - page 326 / 1598 » A Useful Undecidable Theory |
132
Voted
ECML
2000
Springer
15 years 10 months ago
2000
Springer
In the present paper we propose a consistent way to integrate syntactical least general generalizations (lgg's) with semantic evaluation of the hypotheses. For this purpose we...
129
Voted
CHI
1992
ACM
15 years 9 months ago
1992
ACM
This paper describes a computational model of skilled use of a graphical user interface based on Kintsch's construction-integration theory [4, 8]. The model uses knowledge of...
133
click to vote
ECTEL
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper investigates the use of ontologies in processes of collaborative learning and knowledge generation. The creation and use of ontologies is analysed from an acti...
145
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
This paper investigates the issue of PID-controller parameter tuning for a magnetic levitation system using the nondominated sorting genetic algorithm (NSGA-II). The magnetic levi...
155
click to vote
DIMVA
2006
15 years 7 months ago
2006
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...