3710 search results - page 516 / 742 » A new calculus of contexts |
172
click to vote
DIGRA
2005
Springer
16 years 5 days ago
2005
Springer
Young people’s participation in online digital culture is one of the most efficient means by which they become proficient in the management of Information and Communications Tec...
170
click to vote
EPIA
2005
Springer
16 years 4 days ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
165
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
149
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
We consider the problem of efficiently designing sets (codes) of equal-length DNA strings (words) that satisfy certain combinatorial constraints. This problem has numerous motivati...
155
click to vote
ICMI
2005
Springer
16 years 4 days ago
2005
Springer
The design of an output multimodal system is a complex task due to the richness of today interaction contexts. The diversity of environments, systems and user profiles requires a ...