4670 search results - page 661 / 934 » Toward meaningful computing |
157
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
Website security is essential for successful e-commerce ventures, but the vital “how-to” components of security are often lacking in academic courses. This paper describes our...
172
click to vote
CLUSTER
2008
IEEE
16 years 1 months ago
2008
IEEE
—The increasing performance and decreasing cost of processors and memory are causing system intelligence to move from the CPU to peripherals such as disk drives. Storage system d...
152
click to vote
ICPADS
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose the design of Plug, an application to find and keep contacts with friends within many inter-connected 3D virtual worlds. Users use an instant messenger (IM)-like inter...
197
click to vote
ICCV
2007
IEEE
16 years 29 days ago
2007
IEEE
We introduce a non-linear shape prior for the deformable model framework that we learn from a set of shape samples using recent manifold learning techniques. We model a category o...
209
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...