2316 search results - page 236 / 464 » The many forms of hypercomputation |
143
click to vote
VL
2006
IEEE
16 years 15 days ago
2006
IEEE
There is little understanding of how people describe software problems, but a variety of tools solicit, manage, and analyze these descriptions in order to streamline software deve...
165
click to vote
WECWIS
2006
IEEE
16 years 14 days ago
2006
IEEE
In the context of electronic commerce, recommender systems enable merchants to assist customers in finding available products that will best satisfy their need. However, a recomm...
178
click to vote
ACL2
2006
ACM
16 years 14 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
168
click to vote
ACMACE
2006
ACM
16 years 14 days ago
2006
ACM
In this paper we describe an innovative mobile game in the form a multi-authored book. Based upon the 1920s surrealist technique of “Exquisite Corpse”, the book builds from a ...
173
click to vote
ASSETS
2006
ACM
16 years 14 days ago
2006
ACM
Many of today’s desktop applications are designed for use with a pointing device and keyboard. Someone with a disability, or in a unique environment, may not be able to use one ...