8746 search results - page 1395 / 1750 » Diversifying search results |
190
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
185
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
This work addresses selected aspects of natural evolution, especially of the field of population genetics, that are considered to be meaningful for algorithmic further development...
165
click to vote
GIR
2007
ACM
15 years 10 months ago
2007
ACM
Extracting geographical information from various web sources is likely to be important for a variety of applications. One such use for this information is to enable the study of v...
145
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
Complex student models often include key parameters critical to their behavior and effectiveness. For example, one meta-cognitive model of student help-seeking in intelligent tutor...
177
click to vote
ACNS
2006
Springer
15 years 10 months ago
2006
Springer
CPU bound client puzzles have been suggested as a defense mechanism against connection depletion attacks. However, the wide disparity in CPU speeds prevents such puzzles from being...