Sciweavers

10568 search results - page 117 / 2114
» Computer Intelligence and Formalization
Sort
View
97
Voted
ICCS
2003
Springer
15 years 8 months ago
Intensional Formalization of Conceptual Structures
Nikolaj Oldager
71
Voted
SAC
2009
ACM
15 years 9 months ago
Formalizing Desargues' theorem in Coq using ranks
ÓÖÑ Ð Þ Ò ÓÑ ØÖÝ Ø ÓÖ Ñ× Ò ÔÖÓÓ ×× ×Ø ÒØ Ð ÓÕ × ÐÐ Ò Ò º × ÑÔ × Þ Ò Ø Ð Ø Ö ØÙÖ ¸ Ø ÒÓÒ¹ Ò Ö Ý ÓÒ Ø ÓÒ× Ð × ...
Nicolas Magaud, Julien Narboux, Pascal Schreck
96
Voted
DSN
2009
IEEE
15 years 9 months ago
Exploiting refactoring in formal verification
Xiang Yin, John C. Knight, Westley Weimer
79
Voted
PDCAT
2009
Springer
15 years 9 months ago
A Formal Characterization of Uniform Peer Sampling Based on View Shuffling
Yann Busnel, Roberto Beraldi, Roberto Baldoni