Sciweavers

1717 search results - page 28 / 344
» A Computable Spectral Theorem
Sort
View
132
Voted
ECP
1997
Springer
102views Robotics» more  ECP 1997»
15 years 8 months ago
Event Calculus Planning Revisited
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
Murray Shanahan
83
Voted
SAC
2009
ACM
15 years 10 months ago
Formalizing Desargues' theorem in Coq using ranks
ÓÖÑ Ð Þ Ò ÓÑ ØÖÝ Ø ÓÖ Ñ× Ò ÔÖÓÓ ×× ×Ø ÒØ Ð ÓÕ × ÐÐ Ò Ò º × ÑÔ × Þ Ò Ø Ð Ø Ö ØÙÖ ¸ Ø ÒÓÒ¹ Ò Ö Ý ÓÒ Ø ÓÒ× Ð × ...
Nicolas Magaud, Julien Narboux, Pascal Schreck
100
Voted
ACCV
2006
Springer
15 years 9 months ago
OK-Quantization Theory and Its Relationship to Sampling Theorem
Yuji Tanaka, Takayuki Fujiwara, Hiroyasu Koshimizu...
BIRTHDAY
2000
Springer
15 years 8 months ago
Matrix-based Constructive Theorem Proving
Christoph Kreitz, Jens Otten, Stephan Schmitt, Bri...