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

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

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

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

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

Conference

Optimal abstraction on real-valued programs

Authors : Monniaux, David;

Subjects: quantifier elimination; real closed fields; static analysisKongens Lyngby; Denmark

Source: Static Analysis ; 14th International Static Analysis Symposium (SAS 2007) ; https://hal.archives-ouvertes.fr/hal-00148608 ; 14th International Static Analysis Symposium (SAS 2007), 2007, Kongens

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

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

Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example

Authors : Stefanus Agus Haryono; Ferdian Thung; Lingxiao Jiang ...

Subjects: FOS: Computer and information sciences; I.2.2; Deprecation

Source: ICPC 2020-28th IEEE/ACM International Conference on Program Comprehension-ERA trackICPC 2020-28th IEEE/ACM International Conference on Program Comprehension-ERA track, Jul 2020, Seoul / Virtual,

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Conference

On the structure of the monadic logic of the binary tree

Authors : Janin, David; Lenzi, Giacomo;

Subjects: F.4.1 Mathematical Logic (F.1.1; I.2.2; I.2.3Szklarska Poreba; Poland

Source: Mathematical Found. of Comp. Science (MFCS) ; MFCS ; https://hal.archives-ouvertes.fr/hal-00676277 ; MFCS, 1999, Szklarska Poreba, Poland. pp.310-320

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

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