3092 search results - page 429 / 619 » Where are you pointing |
163
click to vote
ICMI
2000
Springer
15 years 9 months ago
2000
Springer
The trend toward pervasive computing necessitates finding and implementing appropriate ways for users to interact with devices. We believe the future of interaction with pervasive ...
178
click to vote
ISAAC
2000
Springer
15 years 9 months ago
2000
Springer
Given a set of jobs, each consisting of a number of weighted intervals on the real line, and a number m of machines, we study the problem of selecting a maximum weight subset of th...
175
click to vote
KR
2000
Springer
15 years 9 months ago
2000
Springer
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...
147
click to vote
LPAR
2000
Springer
15 years 9 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
155
click to vote
ARVLSI
1995
IEEE
15 years 9 months ago
1995
IEEE
The task of image acquisition is completely dominated by CCD-based sensors fabricated on specialized process lines. These devices provide an essentially passive means of detecting...