مكتبة

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

Synthesizing Accurate Floating-Point Formulas

Authors : Ioualalen, Arnault; Martel, Matthieu;

Subjects: Code synthesis; Floating-point arithmetic; IEEE754 StandardWashington; DC; United States

Source: Application-Specific Systems, Architectures and Processors (ASAP), 2013 IEEE 24th International Conference ; ASAP 2013 - 24th IEEE International Conference Application-specific Systems, Architectures

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Synthesizing Accurate Floating-Point Formulas

Authors : Ioualalen, Arnault; Martel, Matthieu;

Subjects: Code synthesis; Floating-point arithmetic; IEEE754 StandardWashington; DC; United States

Source: Application-Specific Systems, Architectures and Processors (ASAP), 2013 IEEE 24th International Conference ; ASAP 2013 - 24th IEEE International Conference Application-specific Systems, Architectures

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Synthesizing Accurate Floating-Point Formulas

Authors : Ioualalen, Arnault; Martel, Matthieu;

Subjects: Code synthesis; Floating-point arithmetic; IEEE754 StandardWashington; DC; United States

Source: Application-Specific Systems, Architectures and Processors (ASAP), 2013 IEEE 24th International Conference ; ASAP 2013 - 24th IEEE International Conference Application-specific Systems, Architectures

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

On languages of one-dimensional overlapping tiles

Authors : Janin, David;

Subjects: McAlister monoid; One-dimensional overlapping tiles Recognizable languages; MSO-definable languagesŠpindlerův Mlýn; Czech Republic

Source: 39th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM)SOFSEMhttps://hal.archives-ouvertes.fr/hal-00659202SOFSEM, Jan 2013, Špindlerův

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Synthesizing Accurate Floating-Point Formulas

Authors : Ioualalen, Arnault; Martel, Matthieu;

Subjects: Abstract Interpretation; Program Transformation; IEEE754 StandardWashington; DC; United States

Source: Application-Specific Systems, Architectures and Processors (ASAP), 2013 IEEE 24th International Conference ; ASAP: Application-Specific Systems, Architectures and Processors ;

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

On languages of one-dimensional overlapping tiles

Authors : Janin, David;

Subjects: McAlister monoid; One-dimensional overlapping tiles Recognizable languages; MSO-definable languagesŠpindlerův Mlýn; Czech Republic

Source: 39th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM)SOFSEMhttps://hal.science/hal-00659202SOFSEM, Jan 2013, Špindlerův Mlýn, Czech

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Quasi-recognizable vs MSO definable languages of one-dimensional overlapping tiles

Authors : Janin, David;

Subjects: ordered monoid; prehomomorphism; monadic second order logicBratislava; Slovakia

Source: ISSN: 0302-9743 ; Lecture Notes in Computer Science ; Mathematical Foundations of Computer Science (MFCS) ; MFCS ; https://hal.archives-ouvertes.fr/hal-00671917 ; MFCS, Aug 2012, Bratislava,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

The estimation of Hölderian regularity using genetic programming

Authors : Trujillo, Leonardo; Legrand, Pierrick; Lévy Véhel, Jacques ...

Subjects: Signal regularity; Hölder exponent; Genetic ProgrammingPortland Oregon; United States

Source: GECCO'10 Proceedings of the 12th annual conference on Genetic and evolutionary computation ; Genetic and Evolutionary Computation Conference (GECCO 2010). Best Paper Award in "Genetic Programming" ;

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

The estimation of Hölderian regularity using genetic programming

Authors : Trujillo, Leonardo; Legrand, Pierrick; Lévy Véhel, Jacques ...

Subjects: Signal regularity; Hölder exponent; Genetic ProgrammingPortland Oregon; United States

Source: GECCO'10 Proceedings of the 12th annual conference on Genetic and evolutionary computation ; Genetic and Evolutionary Computation Conference (GECCO 2010). Best Paper Award in "Genetic Programming" ;

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Design by Measure and Conquer, A Faster Exact Algorithm for Dominating Set

Authors : M. M. van Rooij, Johan; L. Bodlaender, Hans;

Subjects: exact algorithms; exponential time algorithms; branch and reduceBordeaux; France

Source: Proceedings of the 25th Annual Symposium on the Theoretical Aspects of Computer Science ; STACS 2008 ; https://hal.science/hal-00255946 ; STACS 2008, Feb 2008, Bordeaux, France. pp.657-668

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

نتائج البحث

فلترة النتائج

Synthesizing Accurate Floating-Point Formulas

Synthesizing Accurate Floating-Point Formulas

Synthesizing Accurate Floating-Point Formulas

On languages of one-dimensional overlapping tiles

Synthesizing Accurate Floating-Point Formulas

On languages of one-dimensional overlapping tiles

Quasi-recognizable vs MSO definable languages of one-dimensional overlapping tiles

The estimation of Hölderian regularity using genetic programming

The estimation of Hölderian regularity using genetic programming

Design by Measure and Conquer, A Faster Exact Algorithm for Dominating Set

اتصل بنا

اتبع