Sciweavers

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