4966 search results - page 188 / 994 » its 2010 |
118
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. One of the fastest evolving field among teaching and learning research is students' performance evaluation. Computer based testing systems are increasingly adopted b...
192
click to vote
ENTCS
2010
15 years 3 months ago
2010
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
149
click to vote
IJRR
2010
15 years 3 months ago
2010
Scarab is a prototype rover for Lunar missions to survey resources in polar craters. It is designed as a prospector that would use a deep coring drill and apply soil analysis inst...
172
click to vote
CAP
2010
15 years 1 months ago
2010
Binary Decision Diagrams (BDDs) are widely used in formal verification. They are also widely known for consuming large amounts of memory. For larger problems, a BDD computation wi...
214
click to vote
ESI
2010
15 years 1 months ago
2010
Due to its intensive data processing and highly distributed organization, the multidisciplinary Earth Science applications community is uniquely positioned for the uptake and explo...