5550 search results - page 218 / 1110 » Different Approaches to Proof Systems |
160
click to vote
ERCIMDL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Anyone offering content in a digital library is naturally interested in assessing its performance: how well does my system meet the users' information needs? Standar...
193
click to vote
FUIN
2008
15 years 6 months ago
2008
Abstract. Approximation of an image by the attractor evolved through iterations of a set of contractive maps is usually known as fractal image compression. The set of maps is calle...
192
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
This paper introduces the Perplexus hardware platform, a scalable computing substrate made of custom reconfigurable devices endowed with bio-inspired capabilities. This platform w...
185
click to vote
PVM
2010
Springer
15 years 4 months ago
2010
Springer
Commercial HPC applications are often run on clusters that use the Microsoft Windows operating system and need an MPI implementation that runs efficiently in the Windows environmen...
159
click to vote
CAINE
2008
15 years 8 months ago
2008
The difference between user interfaces of computer and Web applications on one hand and the interfaces of actual machines and devices is becoming smaller. By this the importance o...