Mokhtari, Bilal; Melkemi, Kamal Eddine; Michelucci, Dominique; Foufou, Sebti Optimizing query perturbations to enhance shape retrieval. (English) Zbl 07441087 Slamanig, Daniel (ed.) et al., Mathematical aspects of computer and information sciences. 8th international conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11989, 422-437 (2020). MSC: 68-XX 65-XX PDFBibTeX XMLCite \textit{B. Mokhtari} et al., Lect. Notes Comput. Sci. 11989, 422--437 (2020; Zbl 07441087) Full Text: DOI
Boudraa, Omar; Hidouci, Walid Khaled; Michelucci, Dominique Using skeleton and Hough transform variant to correct skew in historical documents. (English) Zbl 1510.68115 Math. Comput. Simul. 167, 389-403 (2020). MSC: 68U15 68U10 PDFBibTeX XMLCite \textit{O. Boudraa} et al., Math. Comput. Simul. 167, 389--403 (2020; Zbl 1510.68115) Full Text: DOI Link
Pernot, Jean-Philippe; Michelucci, Dominique; Daniel, Marc; Foufou, Sebti Towards a better integration of modelers and black box constraint solvers within the product design process. (English) Zbl 1421.68154 Ann. Math. Artif. Intell. 85, No. 2-4, 147-173 (2019). MSC: 68T20 PDFBibTeX XMLCite \textit{J.-P. Pernot} et al., Ann. Math. Artif. Intell. 85, No. 2--4, 147--173 (2019; Zbl 1421.68154) Full Text: DOI HAL
Ettinger, David; Michelucci, Fabio Creating a winner’s curse via jump bids. (English) Zbl 1349.91118 Rev. Econ. Des. 20, No. 3, 173-186 (2016). MSC: 91B26 PDFBibTeX XMLCite \textit{D. Ettinger} and \textit{F. Michelucci}, Rev. Econ. Des. 20, No. 3, 173--186 (2016; Zbl 1349.91118) Full Text: DOI HAL
Ait-Aoudia, Samy; Jegou, Roland; Michelucci, Dominique Reduction of constraint systems. arXiv:1405.6131 Preprint, arXiv:1405.6131 [cs.DM] (2014). BibTeX Cite \textit{S. Ait-Aoudia} et al., ``Reduction of constraint systems'', Preprint, arXiv:1405.6131 [cs.DM] (2014) Full Text: arXiv OA License
Foufou, Sebti; Michelucci, Dominique Interrogating witnesses for geometric constraint solving. (English) Zbl 1247.68309 Inf. Comput. 216, 24-38 (2012). MSC: 68U05 68U07 PDFBibTeX XMLCite \textit{S. Foufou} and \textit{D. Michelucci}, Inf. Comput. 216, 24--38 (2012; Zbl 1247.68309) Full Text: DOI
Gao, Xiao-Shan (ed.); Joan-Arinyo, Robert (ed.); Michelucci, Dominique (ed.) Special issue: Geometric constraints and reasoning. Selected papers based on the presentations at the special track in the 24th annual ACM symposium on applied computing, Honolulu, HI, USA, March 9–12, 2009. (English) Zbl 1250.68027 Comput. Geom. 45, No. 8, 383-473 (2012). MSC: 68-06 68U05 51N05 00B25 PDFBibTeX XML
Fünfzig, Christoph; Michelucci, Dominique; Foufou, Sebti Polytope-based computation of polynomial ranges. (English) Zbl 1244.65071 Comput. Aided Geom. Des. 29, No. 1, 18-29 (2012). MSC: 65H10 65H04 65G30 12D10 12Y05 13P15 90C05 PDFBibTeX XMLCite \textit{C. Fünfzig} et al., Comput. Aided Geom. Des. 29, No. 1, 18--29 (2012; Zbl 1244.65071) Full Text: DOI
Michelucci, Dominique What is a line? (English) Zbl 1349.51003 Schreck, Pascal (ed.) et al., Automated deduction in geometry. 8th international workshop, ADG 2010, Munich, Germany, July 22–24, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25069-9/pbk). Lecture Notes in Computer Science 6877. Lecture Notes in Artificial Intelligence, 132-151 (2011). MSC: 51A30 68T15 PDFBibTeX XMLCite \textit{D. Michelucci}, Lect. Notes Comput. Sci. 6877, 132--151 (2011; Zbl 1349.51003) Full Text: DOI
Michelucci, Dominique Some lemmas to hopefully enable search methods to find short and human readable proofs for incidence theorems of projective geometry. (English) Zbl 1350.68240 Schreck, Pascal (ed.) et al., Automated deduction in geometry. 8th international workshop, ADG 2010, Munich, Germany, July 22–24, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25069-9/pbk). Lecture Notes in Computer Science 6877. Lecture Notes in Artificial Intelligence, 118-131 (2011). MSC: 68T15 51A05 PDFBibTeX XMLCite \textit{D. Michelucci}, Lect. Notes Comput. Sci. 6877, 118--131 (2011; Zbl 1350.68240) Full Text: DOI
Michelucci, Dominique; Fünfzig, Christoph Linear programming for Bernstein based solvers. (English) Zbl 1302.68126 Sturm, Thomas (ed.) et al., Automated deduction in geometry. 7th international workshop, ADG 2008, Shanghai, China, September 22–24, 2008. Revised papers. Berlin: Springer (ISBN 978-3-642-21045-7/pbk). Lecture Notes in Computer Science 6301. Lecture Notes in Artificial Intelligence, 163-178 (2011). MSC: 68Q17 90C05 PDFBibTeX XMLCite \textit{D. Michelucci} and \textit{C. Fünfzig}, Lect. Notes Comput. Sci. 6301, 163--178 (2011; Zbl 1302.68126) Full Text: DOI
Fünfzig, Christoph; Michelucci, Dominique; Foufou, Sebti Optimizations for tensorial Bernstein-Based solvers by using polyhedral bounds. (English) Zbl 1264.65073 Int. J. Shape Model. 16, No. 1-2, 109-128 (2010). MSC: 65G40 14Q15 14Q20 PDFBibTeX XMLCite \textit{C. Fünfzig} et al., Int. J. Shape Model. 16, No. 1--2, 109--128 (2010; Zbl 1264.65073) Full Text: DOI
Michelucci, Dominique; Moreau, Jean Michel; Foufou, Sebti Robustness and randomness. (English) Zbl 1165.65319 Hertling, Peter (ed.) et al., Reliable implementation of real number algorithms: Theory and practice. International seminar, Dagstuhl Castle, Germany, January 8–13, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-85520-0/pbk). Lecture Notes in Computer Science 5045, 127-148 (2008). MSC: 65D18 65G99 68U05 PDFBibTeX XMLCite \textit{D. Michelucci} et al., Lect. Notes Comput. Sci. 5045, 127--148 (2008; Zbl 1165.65319) Full Text: DOI Link
Michelucci, Dominique; Foufou, Sebti Detecting all dependences in systems of geometric constraints using the witness method. (English) Zbl 1195.68107 Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 98-112 (2007). MSC: 68U05 68U07 PDFBibTeX XMLCite \textit{D. Michelucci} and \textit{S. Foufou}, Lect. Notes Comput. Sci. 4869, 98--112 (2007; Zbl 1195.68107) Full Text: DOI
Faudot, Dominique; Michelucci, Dominique A new robust algorithm to trace curves. (English) Zbl 1120.65016 Reliab. Comput. 13, No. 4, 309-324 (2007). MSC: 65D17 65G30 PDFBibTeX XMLCite \textit{D. Faudot} and \textit{D. Michelucci}, Reliab. Comput. 13, No. 4, 309--324 (2007; Zbl 1120.65016) Full Text: DOI
Michelucci, Dominique; Foufou, Sebti Geometric constraint solving: the witness configuration method. (English) Zbl 1206.65057 Comput.-Aided Des. 38, No. 4, 284-299 (2006). MSC: 65D17 65D18 PDFBibTeX XMLCite \textit{D. Michelucci} and \textit{S. Foufou}, Comput.-Aided Des. 38, No. 4, 284--299 (2006; Zbl 1206.65057) Full Text: DOI
Michelucci, Dominique; Schreck, Pascal Incidence constraints: a combinatorial approach. (English) Zbl 1105.65311 Int. J. Comput. Geom. Appl. 16, No. 5-6, 443-460 (2006). MSC: 65D18 PDFBibTeX XMLCite \textit{D. Michelucci} and \textit{P. Schreck}, Int. J. Comput. Geom. Appl. 16, No. 5--6, 443--460 (2006; Zbl 1105.65311) Full Text: DOI
Michelucci, Dominique; Foufou, Sebti Interval-based tracing of strange attractors. (English) Zbl 1089.65130 Int. J. Comput. Geom. Appl. 16, No. 1, 27-39 (2006). MSC: 65P40 65G40 37C70 PDFBibTeX XMLCite \textit{D. Michelucci} and \textit{S. Foufou}, Int. J. Comput. Geom. Appl. 16, No. 1, 27--39 (2006; Zbl 1089.65130) Full Text: DOI
Michelucci, Dominique Reliable representations of strange attractors. (English) Zbl 1391.65184 Krämer, Walter (ed.) et al., Scientific computing, validated numerics, interval methods, Karlsruhe, Germany, September 19–22, 2000. New York, NY: Springer (ISBN 978-0-306-46706-6/hbk; 978-1-4757-6484-0/ebook). 379-390 (2001). MSC: 65P40 65G40 37C70 PDFBibTeX XMLCite \textit{D. Michelucci}, in: Scientific computing, validated numerics, interval methods, Karlsruhe, Germany, September 19--22, 2000. New York, NY: Springer. 379--390 (2001; Zbl 1391.65184) Full Text: DOI
Bajard, Jean-Claude (ed.); Michelucci, Dominique (ed.); Moreau, Jean-Michel (ed.); Muller, Jean-Michel (ed.) Special issue with a selection of papers from the international conference on real numbers and computers, held in Saint-Etienne, France, April 1995. (English) Zbl 0949.00032 J. UCS 1, No. 7, 435-569 (electronic) (1995). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{J.-C. Bajard} (ed.) et al., J. UCS 1, No. 7, 435--569 (electronic) (1995; Zbl 0949.00032)
Benouamer, M. O.; Jaillon, P.; Michelucci, D.; Moreau, J.-M. Hashing lazy numbers. (English) Zbl 0823.68030 Computing 53, No. 3-4, 205-217 (1994). MSC: 68P10 68W10 PDFBibTeX XMLCite \textit{M. O. Benouamer} et al., Computing 53, No. 3--4, 205--217 (1994; Zbl 0823.68030) Full Text: DOI