3295 search results - page 250 / 659 » Using Technologies to Improve E-Learning |
165
click to vote
IRI
2006
IEEE
16 years 18 days ago
2006
IEEE
— In this work we discuss how the quality of localization knowledge impacts the remote operation of rovers on the surface of Mars. We look at the techniques of localization estim...
197
click to vote
OTM
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Searching specialized collections, such as biomedical literature, typically requires intimate knowledge of a specialized terminology. Hence, it can be a disappointing exp...
163
click to vote
SAT
2005
Springer
16 years 1 days ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
179
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
GridRPC is a class of Grid middleware for scientific computing. Interoperability has been an important issue, because current GridRPC systems each employ its own protocol. Web se...
153
click to vote
ITCC
2002
IEEE
15 years 11 months ago
2002
IEEE
Current crawler-based search engines usually return a long list of search results containing a lot of noise documents. By indexing collected documents on topic path in taxonomy, t...