articles

Here are references to recent articles concerning some works in which I have been involved. Please note that links to pdf documents given here only provide drafts of the papers. Hopefully it is enough to understand the ideas behind the article, if not, do no hesitate to contact me.

Submitted

Publications en 2018

Publications en 2017

Publications en 2016

Publications en 2015

Publications en 2014

Publications en 2013

  • Equation Systems with Free-Coordinates Determinants. P. Mathis and P. Schreck. Post-proceedings of ADG 2012. Edinburgh, Revised Selected Papers, Royaume-Uni, Ida, Tetsuo and Fleuriot, Jacques, Lecture Notes in Computer Science, Vol. 7993, pp. 59-70, doi:10.1007/978-3-642-40672-0_5, Springer Berlin Heidelberg,

Publications en 2012

Publications en 2011

Publications en 2010

Publications en 2009

Publications en 2008

Publications en 2007

  • Informatique graphique, modélisation géométrique et animation. C. JERMANN, D. MICHELUCCI, P. SCHRECK. Hermes Science, chap. Modélisation géométrique par contraintes, pp 185-214, Traité IC2 - february 2007.
  • Trajectory optimization for the planning of percutaneous radiofrequency ablation on hepatic tumors. C. BAEGERT, C. ESSERT, P. SCHRECK, L. SOLER, A. GANGI. Journal of Computer Aided Surgery, Vol. 12(2), Taylor & Francis, pp 82--90 - march 2007, issn: 1092-9088, doi:10.1080/10929080701312000.
  • Multi-criteria trajectory planning for hepatic radiofrequency. C. BAEGERT, C. ESSERT, P. SCHRECK, L. SOLER. Medical Image Computing and Computer Assisted Intervention (MICCAI'07), Springer, LNCS 4792, pp 676--684, Nicholas Ayache, Sébastien Ourselin, Anthony Maeder (Eds.), Brisbane, Australia - october 2007, issn: 0302-9743, isbn: 978-3-540-75758-0, doi:10.1007/978-3-540-75759-7_82
  • A formal-numerical approach to solve 3D geometric constraints systems. A. FABRE, P. SCHRECK. Geometric Modelling and Imaging, IEEE Computer Society, pp 54-59 - july 2007, issn: ISBN: 0-7695-2901, doi:10.1109/GMAI.2007.3
  • Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints. S. THIERRY, P. MATHIS, P. SCHRECK. SAC '07: Proceedings of the 22nd ACM Symposium on Applied Computing, ACM Press, pp 773--777, ACM, New York, NY, USA - march 2007, issn: 1-59593-480-4, doi:http://doi.acm.org/10.1145/1244002.1244174
  • Precise Determination of Regions of Interest for Hepatic RFA Planning (extended) . C. BAEGERT, C. ESSERT, P. SCHRECK, L. SOLER. SPIE Medical Imaging 2007: Visualization and Image-Guided Procedures, SPIE, pp paper 650923, Vol. 6509, Kevin R. Cleary and Michael I. Miga - february 2007, issn: isbn: 9780819466273, doi:10.1117/12.708757
  • Precise Determination of Regions of Interest for Hepatic RFA Planning. C. BAEGERT, C. ESSERT, P. SCHRECK, L. SOLER. Stud. Health Technol. Inform. 2007, proceedings of Medecine Meets Virtual Reality (MMVR 15), IOS Press, pp 31--36, J.D. Westwood et al Eds. - february 2007, issn: 0926-9630, isbn: 978-1-58603-713-0
  • Résolution de contraintes géométriques : des systèmes experts aux méthodes numériques (conférence invitée). P. SCHRECK. Journées Francophones de Programmation par Contraintes, INRIA, Annual workshop, pp xi-xii, INRIA - june 2007.
  • Track Editorial: Technical Track on Geometric Computing and Reasoning. X.-S. GAO, D. MICHELUCCI, P. SCHRECK. Editorial - In proceedings of ACM SAC 2007 conference, pp. 755-7556 - march 2007.

Publications en 2006

  • Constrained gesture interaction in 3D geometric construction. A. FABRE, L. STERNBERGER, P. SCHRECK, D. BECHMANN. Gesture in Human-Computer Interaction and Simulation: 6th International Gesture Workshop, GW 2005, Vol. 3881, Springer, Lectures Notes in Artificial Intelligence, pp 324--334 - 2006
  • Incidence constraints, a combinatorial approach. D. MICHELUCCI, P. SCHRECK. International Journal of Computational Geometry and Application, Vol. Vol. 16, Num. nos 5,6, Word Scientific, pp 443-460 - december 2006
  • Geometrical constraint system decomposition: a multi-group approach. P. SCHRECK, P. MATHIS. International Journal of Computational Geometry and Application, Vol. Vol. 16, Num. nos 5,6, Word Scientific, pp 431-442 - december 2006
  • Using the invariance under the similarity group to solve geometric constraint systems. P. SCHRECK, E. SCHRAMM. Computer Aided Design, Vol. 38, Num. 5, Elsevier, pp 475--484 - may 2006
  • Geometric constraints solving: some tracks. D. MICHELUCCI, S. FOUFOU, L. LAMARQUE, P. SCHRECK. SPM '06: Proceedings of the 2006 ACM symposium on Solid and physical modeling, ACM Press, New York, USA, pp 185--196, ACM - 2006 (Note : this a gzip-compressed pdf file).
  • Solving 3D Quasi-Decomposable Geometric Constraint Systems. A. FABRE, P. SCHRECK. ADG, International Workshop on Automated Deduction in Geometry, Universidade de Vigo, pp 31-36, F. Botana, E. Roanes-Lozano (Eds) - august 2006
  • A framework for geometric constraint satisfaction problem. J. WINTZ, P. SCHRECK, P. MATHIS, A. FABRE. 21th ACM Symposium of Applied Computing, Track 21 : Geometric Computing and Reasoning. Dijon, France, ACM Press, New York, USA, pp 974--978, ACM - april 2006
  • Compilation de systèmes à base de connaissances pour la résolution symbolique de contraintes géométriques. J. WINTZ, P. SCHRECK. Journées AFIG 2006 - december 2006

Publications en 2005

  • Constrained Gesture Interaction for 3D Geometric Constructions. A. FABRE, L. STERNBERGER, P. SCHRECK, D. BECHMANN. Gesture Workshop Mai 2005 Berder Island, Brittany. Extended Abstract (full paper published by LNAI 2006). - 2005
  • Optimal trajectories computation within regions of interest for hepatic RFA planning. C. ESSERT, C. BAEGERT, P. SCHRECK, L. SOLER, A. GANGI. Medical Image Computing and Computer Assisted Intervention (MICCAI'05), Springer Verlag, LNCS 3750, pp 49-56, Palm Springs, USA, CA - october 2005, issn: 0302-9743, isbn: 978-3-540-29326-2, doi:10.1007/11566489_7

Publications en 2004

  • Detecting Induced Incidences in the Projective Plane. D. MICHELUCCI, P. SCHRECK. Workshop Constraint-based Approaches and Methods of Mathematical Modelling for Intelligent CAD/CAM/CAE systems: From Methods to Applications, Novosibirsk (Russia) - 2004
  • Geometrical constraint system decomposition using transformation groups. P. MATHIS, P. SCHRECK. Workshop Constraint-based Approaches and Methods of Mathematical Modelling for Intelligent CAD/CAM/CAE systems: From Methods to Applications, Novosibirsk (Russia) - 2004
  • 3D Geometric Constructions in Virtual Reality. A. FABRE, P. MATHIS, P. SCHRECK. 6th Virtual Reality international conference IEEE-VRIC 2004, pp 173-180, Laval (France) - may 2004
  • A meta-language for geometric constraint systems description, J. WINTZ, P. MATHIS, P. SCHRECK. Proceedings of the CAD conference. Bangkok 2004.

Publications en 2003

Publications en 2002

  • A Case Study in Geometric Constructions. E. SCHRAMM, P. SCHRECK. International Conference on Computational Science : workshop on Computer Graphics and Geometric Modeling, Springer-Verlag, LNCS, pp 201-210, Num. 2330, P.M.A. Sloot, C.J. K. Tan, J.J. Dongarra, A.G. Hoekstra, Amsterdam - april 2002, issn: 0302-9743
  • Constructions géométriques formelles en CAO. P. SCHRECK, C. ESSERT. Workshop Groupe de Travail en Modélisation Géométrique (GTMG) - Ecole des Mines de Nantes - march 2002
  • Résolution symbolique de contraintes géométriques. P. SCHRECK. Mémoire d'habilitation à diriger des recherches. ULP - 2002

Publications en 2001

Publications en 2000

  • Sketch-based pruning of a solution space within a formal geometric constraint solver. C. ESSERT, P. SCHRECK, J.-F. DUFOURD. Artificial Intelligence Journal, Vol. 124(1), Elsevier, pp 139--159 - november 2000, issn: 0004-3702, doi:10.1016/S0004-3702(00)00061-8
  • Higher-order intuitionistic formalization and proofs in Hilbert's elementary geometry. C. DEHLINGER, J.-F. DUFOURD, P. SCHRECK. Proceedings of the 3rd Int. Workshop on Automated Deduction in Geometry (full paper published in LNAI 2001), Zurich - 2000
  • Exploration of a solution space structured by finite contraints. L. BRISOUX-DEVENDEVILLE, C. ESSERT, P. SCHRECK. W25, Workshop on Modelling and Solving Problems with Constraints, 14th European Conference on Artificial Intelligence (ECAI) - 2000
  • Selecting a figure using S-homotopy in a CAD system. C. ESSERT, P. SCHRECK, J.-F. DUFOURD. 4th International Conference on Computer Graphics and Artificial Intelligence - Limoges, May 2000

Publications en 1998

  • Geometric Construction by Assembling Solved Subfigures. Jean-François Dufourd, Pascal Mathis, Pascal Schreck, Artificial Intelligence 99(1), pp. 73-119

Publications en 1997

  • Formal Resolution of Geometrical Constraint Systems by Assembling, Jean-François Dufourd, Pascal Mathis, Pascal Schreck, Symposium on Solid Modeling and Applications 1997, pp. 271-284

Old stuff