243 search results - page 21 / 49 » Small Is Not Always Beautiful |
129
Voted
IROS
2009
IEEE
15 years 8 months ago
2009
IEEE
— Accurate needle insertion in 3D environment is always a grand challenge. When multiple targets are located in the tissue, a procedure of inserting multiple needles from a singl...
IROS
2009
IEEE
15 years 8 months ago
2009
IEEE
— In previous work we presented a multi-robot strategy for routing missions in large scenarios where network connectivity must be explicitly preserved. This strategy is founded o...
103
Voted
GBRPR
2009
Springer
15 years 8 months ago
2009
Springer
The collection of behavior protocols is a common practice in human factors research, but the analysis of these large data sets has always been a tedious and time-consuming process....
109
Voted
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
120
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...