2316 search results - page 240 / 464 » The many forms of hypercomputation |
165
click to vote
TPHOL
2005
IEEE
16 years 1 days ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
161
click to vote
VL
2005
IEEE
16 years 1 days ago
2005
IEEE
During our work with microfinance groups in rural India, we found that paper plays a crucial role in many local information practices. However, paperbased record keeping can be in...
157
click to vote
SC
2005
ACM
16 years 1 days ago
2005
ACM
Today, users of the grid may easily authenticate themselves to computing resources around the world using a public key security infrastructure. However, users are forced to employ...
166
click to vote
SIGCSE
2005
ACM
16 years 1 days ago
2005
ACM
Undergraduate computer science students have few opportunities to experience scientific investigation and computer science research. A human-computer interaction (HCI) course can ...
189
click to vote
ACII
2005
Springer
16 years 1 days ago
2005
Springer
HandWave is a small, wireless, networked skin conductance sensor for affective computing applications. It is used to detect information related to emotional, cognitive, and physica...