3937 search results - page 398 / 788 » Questioning Ubiquitous Computing |
164
click to vote
CEC
2007
IEEE
16 years 23 days ago
2007
IEEE
— This paper deals with the optimization of noisy fitness functions, where the noise level can be reduced by increasing the computational effort. We theoretically investigate th...
145
click to vote
ICALT
2006
IEEE
16 years 14 days ago
2006
IEEE
The teaching/ learning of cognitive skills, such as problem-solving, is an important goal in most forms of education. In well-structured subject areas certain exercise problem typ...
161
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...
157
click to vote
MFCS
2004
Springer
15 years 11 months ago
2004
Springer
Brandenburg and (implicitly) Dejean introduced the concept of repetition threshold: the smallest real number α such that there exists an infinite word over a k-letter alphabet t...
173
click to vote
ASM
2003
ASM
15 years 11 months ago
2003
ASM
The question raised in [15] is answered how to naturally dely used forms of recursion by abstract machines. We show that turbo ASMs as defined in [7] allow one to faithfully refl...