1860 search results - page 164 / 372 » tools 2009 |
156
click to vote
QEST
2009
IEEE
16 years 24 days ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
155
click to vote
SADFE
2009
IEEE
16 years 24 days ago
2009
IEEE
We have developed a program called fiwalk which produces detailed XML describing all of the partitions and files on a hard drive or disk image, as well as any extractable metadat...
164
click to vote
ICDM
2009
IEEE
16 years 22 days ago
2009
IEEE
Quantile regression refers to the process of estimating the quantiles of a conditional distribution and has many important applications within econometrics and data mining, among ...
174
click to vote
ICRA
2009
IEEE
16 years 22 days ago
2009
IEEE
— This paper deals with the problem of bilateral haptic control in nanorobotics. At this scale, a human operator cannot interact directly with objects. He needs special tools man...
159
click to vote
ICRA
2009
IEEE
16 years 22 days ago
2009
IEEE
— The reduction of the kinematics and/or dynamics of a high-DOF robotic manipulator to a low-dimension “task space” has proven to be an invaluable tool for designing feedback...