3557 search results - page 523 / 712 » Authoring Presentation for OpenMath |
148
click to vote
ISER
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a new four-limbed robot, LEMUR IIb (Legged Excursion Mechanical Utility Rover), that can free-climb vertical rock surfaces. This robot was designed to have a nu...
145
click to vote
ISNN
2004
Springer
15 years 12 months ago
2004
Springer
A reliable correlation between rainfall-runoff enables the local authority to gain more amble time for formulation of appropriate decision making, issuance of an advanced flood for...
214
click to vote
ISW
2004
Springer
15 years 12 months ago
2004
Springer
In key-insulated cryptography, there are many private keys with different indexes and a single, fixed public key. When the trust model includes multiple Certification Authoritie...
170
click to vote
ITS
2004
Springer
2004
Springer
Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning
15 years 12 months ago
Abstract. This paper describes the design of a tool to support learners in simulation-based discovery learning environments. The design redesigns and extents a previous tool to ove...
157
click to vote
IWQOS
2004
Springer
15 years 12 months ago
2004
Springer
This paper investigates the performance of a content distribution network designed to provide bounded content access latency. Content can be divided into multiple classes with dif...