Sciweavers

3378 search results - page 178 / 676
» A universe of binding and computation
Sort
View
CIE
2009
Springer
16 years 1 months ago
Equivalence Relations on Classes of Computable Structures
Abstract. If L is a finite relational language then all computable Lstructures can be effectively enumerated in a sequence {An}n∈ω in such a way that for every computable L-st...
Ekaterina B. Fokina, Sy-David Friedman
IPPS
2006
IEEE
16 years 17 days ago
Parallel morphological processing of hyperspectral image data on heterogeneous networks of computers
Recent advances in space and computer technologies are revolutionizing the way remotely sensed data is collected, managed and interpreted. The development of efficient techniques ...
Antonio J. Plaza
CLUSTER
2005
IEEE
16 years 5 days ago
VioCluster: Virtualization for Dynamic Computational Domains
A large organization, such as a university, commonly supplies computational power through multiple independently administered computational domains (e.g. clusters). Each computati...
Paul Ruth, P. McGachey, Dongyan Xu
DIGRA
2005
Springer
16 years 2 days ago
B.Sc. Computer Game Development ... Why not?
We were motivated to consider proposing/adopting a new curriculum by the decrease in student enrolments currently experienced by our computing science programs. This requirement f...
Libero Ficocelli, David Gregg
SIGCSE
2008
ACM
116views Education» more  SIGCSE 2008»
15 years 6 months ago
Socially relevant computing
In this paper, we introduce socially relevant computing as a new way to reinvigorate interest in computer science. Socially relevant computing centers on the use of computation to...
Michael Buckley, John Nordlinger, Devika Subramani...