Sciweavers

3428 search results - page 317 / 686
» Making the Case
Sort
View
188
Voted
RAS
2002
129views more  RAS 2002»
15 years 6 months ago
Finding and optimizing solvable priority schemes for decoupled path planning techniques for teams of mobile robots
Coordinating the motion of multiple mobile robots is one of the fundamental problems in robotics. The predominant algorithms for coordinating teams of robots are decoupled and pri...
Maren Bennewitz, Wolfram Burgard, Sebastian Thrun
JCIT
2010
113views more  JCIT 2010»
15 years 1 months ago
On Deriving an Equation of the Mutation Rate of the Hepatitis B Virus
The mutation rate of the hepatitis B virus (HBV) is often obtained by statistical software. This is restricted to the sampled data and cannot be applied to other cases. This limit...
Koun-Tem Sun, Chih-Hsuan Wei, Yi-Yu Hsu, Wen-Chun ...
CHI
2004
ACM
16 years 7 months ago
Interactive therapy with instrumented footwear
Musical feedback can aid in learning to move properly, for example in physical therapy, sports medicine, or training. By appropriately instrumenting the body to detect the correct...
Joseph A. Paradiso, Stacy J. Morris, Ari Y. Benbas...
LATIN
2004
Springer
16 years 2 days ago
Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
Volker Diekert, Paul Gastin
ICPP
1999
IEEE
15 years 11 months ago
Trace-Level Reuse
Trace-level reuse is based on the observation that some traces (dynamic sequences of instructions) are frequently repeated during the execution of a program, and in many cases, th...
Antonio González, Jordi Tubella, Carlos Mol...