10568 search results - page 413 / 2114 » Computer Intelligence and Formalization |
141
click to vote
WSC
1996
15 years 6 months ago
1996
The author is revising and restructuring an existing simulation course designed primarily for senior computer science majors by: 1) developing an integrated set of laboratory exer...
174
click to vote
DBSEC
2009
15 years 5 months ago
2009
With the rapid growth in wireless networks and sensor and mobile devices, we are moving towards an era of pervasive computing. Access control is challenging in these environments. ...
102
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents the generalization of weighted distances to modules and their computation through the chamfer algorithm on general point lattices. The first part is dedicated ...
140
click to vote
PUC
2002
15 years 4 months ago
2002
One difficulty for interface design on mobile computers is lack of screen space caused by their small size. This paper describes a small pilot study and two formal experiments tha...
127
click to vote
PVLDB
2010
14 years 11 months ago
2010
In this paper, we tackle the problem of efficient skycube computation. We introduce a novel approach significantly reducing domination tests for a given subspace and the number of...