4463 search results - page 288 / 893 » computing 2000 |
219
click to vote
APGV
2009
ACM
15 years 10 months ago
2009
ACM
A number of computational models of visual attention have been proposed based on the concept of saliency map, most of them validated using oculometric data. They are widely used fo...
162
click to vote
CSCW
2000
ACM
15 years 11 months ago
2000
ACM
Digital web-accessible annotations are a compelling medium for personal comments and shared discussions around documents. Only recently supported by widely used products, “in-co...
183
click to vote
EATCS
2000
15 years 6 months ago
2000
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
179
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. Nested data-parallel programs often have large memory requirements due to their high degree of parallelism. Piecewise execution is an implementation technique used to min...
158
click to vote
MOC
2000
15 years 6 months ago
2000
Given an odd prime p we show a way to construct large families of polynomials Pq(x) Q[x], q C, where C is a set of primes of the form q 1 mod p and Pq(x) is the irreducible poly...