Sciweavers

3963 search results - page 601 / 793
» Designing for learning
Sort
View
MSS
2005
IEEE
138views Hardware» more  MSS 2005»
15 years 9 months ago
EOSDIS Petabyte Archives: Tenth Anniversary
One of the world’s largest scientific data systems, NASA’s Earth Observing System Data and Information System (EOSDIS) has stored over three petabytes of earth science data in...
Jeanne Behnke, Tonjua Hines Watts, Ben Kobler, Daw...
ACMSE
2005
ACM
15 years 9 months ago
First year experiences of NSF REU grant: emerging issues in computer networking
In this paper, we describe our first year experiences of administering the NSF-supported Research Experiences for Undergraduates program award. Emerging issues in computer network...
Stan Kurkovsky, Bhagyavati
126
Voted
HT
2005
ACM
15 years 9 months ago
Distributed, real-time computation of community preferences
We describe the integration of smart digital objects with Hebbian learning to create a distributed, real-time, scalable approach to adapting to a community's preferences. We ...
Thomas Lutkenhouse, Michael L. Nelson, Johan Bolle...
CHARME
2005
Springer
136views Hardware» more  CHARME 2005»
15 years 9 months ago
Acceleration of SAT-Based Iterative Property Checking
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
Daniel Große, Rolf Drechsler
GECCO
2005
Springer
218views Optimization» more  GECCO 2005»
15 years 9 months ago
Particle swarm optimization for analysis of mass spectral serum profiles
Serum profiling using mass spectrometry is an emerging technology with a great potential to provide biomarkers for complex diseases such as cancer. However, protein profiles obtai...
Habtom W. Ressom, Rency S. Varghese, Daniel Saha, ...