11589 search results - page 495 / 2318 » Human computation |
163
click to vote
IFIP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
154
click to vote
ITICSE
2006
ACM
16 years 24 days ago
2006
ACM
Teaching computer science to children is a major priority in most countries in the world. Nevertheless, Computer Science curricula do not seem to address the children’s world, c...
131
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
The Laboratory for Automation Psychology and Decision Processes (LAPDP) focuses on the cognitive/psychological aspects of human/computer interaction and does both basic and applie...
205
click to vote
DEXAW
2000
IEEE
15 years 11 months ago
2000
IEEE
In European-funded project MIS under the MLIS programme, the authors attempted a computer-driven translation package for tourism texts in 5 languages. It was believed such a packa...
166
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...