12946 search results - page 2162 / 2590 » Natural Language Processing |
202
Voted
TARK
2007
Springer
16 years 29 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
181
Voted
C5
2005
IEEE
16 years 15 days ago
2005
IEEE
Croquet [11,12] is a collaborative 3D platform that allows users to work together to create and share ideas. From the beginning we have worked to ensure that the Croquet interface...
184
Voted
ICMI
2004
Springer
16 years 7 days ago
2004
Springer
Understanding human-human interaction is fundamental to the long-term pursuit of powerful and natural multimodal interfaces. Nonverbal communication, including body posture, gestu...
306
Voted
UPP
2004
Springer
16 years 6 days ago
2004
Springer
Evolving solutions rather than computing them certainly represents an unconventional programming approach. The general methodology of evolutionary computation has already been know...
173
click to vote
VISUALIZATION
2003
IEEE
16 years 4 days ago
2003
IEEE
LightKit is a system for lighting three-dimensional synthetic scenes. LightKit simplifies the task of producing visually pleasing, easily interpretable images for visualization w...