Sciweavers

7988 search results - page 54 / 1598
» A Useful Undecidable Theory
Sort
View
ICTAI
2003
IEEE
15 years 10 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
129
Voted
KBSE
1998
IEEE
15 years 9 months ago
Management of Evolving Specifications using Category Theory
Virginie Wiels, Steve M. Easterbrook