Sciweavers

7988 search results - page 54 / 1598
» A Useful Undecidable Theory
Sort
View
ICRA
2003
IEEE
91views Robotics» more  ICRA 2003»
15 years 11 months ago
Spatial motion constraints: theory and demonstrations for robot guidance using virtual fixtures
Panadda Marayong, Ming Li, Allison M. Okamura, Gre...
ICTAI
2003
IEEE
15 years 11 months ago
Partitioning of Temporal Planning Problems in Mixed Space Using the Theory of Extended Saddle Points
We study the partitioning of temporal planning problems formulated as mixed-integer nonlinear programming problems, develop methods to reduce the search space of partitioned subpr...
Benjamin W. Wah, Yixin Chen
ICANN
2009
Springer
15 years 10 months ago
Structural Analysis on STDP Neural Networks Using Complex Network Theory
Hideyuki Kato, Tohru Ikeguchi, Kazuyuki Aihara
KBSE
1998
IEEE
15 years 10 months ago
Management of Evolving Specifications using Category Theory
Virginie Wiels, Steve M. Easterbrook