3796 search results - page 555 / 760 » Presentations by Programmers for Programmers |
120
click to vote
TRIDENTCOM
2010
IEEE
15 years 23 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...
115
click to vote
CEFP
2009
Springer
15 years 22 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. ...
149
click to vote
IGARSS
2009
15 years 19 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...
142
click to vote
IGARSS
2009
15 years 19 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...
123
Voted
SYNTHESE
2011
14 years 10 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...