3796 search results - page 555 / 760 » Presentations by Programmers for Programmers |
115
click to vote
TRIDENTCOM
2010
IEEE
15 years 9 days ago
2010
IEEE
A scalable approach to building large scale experimentation testbeds involves multiplexing the system resources for better utilization. Virtualization provides a convenient means o...
111
click to vote
CEFP
2009
Springer
15 years 8 days ago
2009
Springer
Programmers happily use induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, but perhaps less enthusiastically. ...
143
click to vote
IGARSS
2009
15 years 5 days ago
2009
Spectral mixture analysis is an important task for remotely sensed hyperspectral data interpretation. In spectral unmixing, both the determination of spectrally pure signatures (e...
140
click to vote
IGARSS
2009
15 years 5 days ago
2009
The main purpose of this paper is to describe available (HPC)based implementations of remotely sensed hyperspectral image processing algorithms on multi-computer clusters, heterog...
118
click to vote
SYNTHESE
2011
14 years 9 months ago
2011
Rudolf Carnap’s Der logische Aufbau der Welt (The Logical Structure of the World) is generally conceived of as being the failed manifesto of logical positivism. In this paper we...