26496 search results - page 29 / 5300 » An Approach to Computing Ethics |
FLOPS
2006
Springer
15 years 1 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
69
Voted
ICIP
2008
IEEE
15 years 4 months ago
2008
IEEE
A new localized and computationally efficient approach is presented for shift/space-variant image restoration. Unlike conventional approaches, it models shift-variant blurring in...
IPPS
2003
IEEE
15 years 2 months ago
2003
IEEE
We describe a peer-to-peer self-organizing overlay network for our global computing system. The preliminary simulation results show that the network has some smallworld characteri...
COMGEO
2006
ACM
14 years 9 months ago
2006
ACM
We present an approach for the exact and efficient computation of a cell in an arrangement of quadric surfaces. All calculations are based on exact rational algebraic methods and ...
TSMC
2008
14 years 9 months ago
2008
: Automatic identification of genes has been an actively researched area of Bioinformatics. Compared to earlier attempts for finding genes, the recent techniques are significantly ...