Search results for "Pascal Schreck"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Simon E. B. Thierry, Pascal Schreck, Dominique Michelucci, Christoph Fünfzig, Jean-David Génevaux	Extensions of the witness method to characterize under-, over- and well-constrained geometric constraint systems.	Computer-Aided Design	2011	DBLP DOI BibTeX RDF
1	Jean-David Génevaux, Julien Narboux, Pascal Schreck	Formalization of Wu's Simple Method in Coq.	CPP	2011	DBLP DOI BibTeX RDF
1	Rémi Imbach, Pascal Mathis, Pascal Schreck	Tracking Method for Reparametrized Geometrical Constraint Systems.	SYNASC	2011	DBLP DOI BibTeX RDF
1	Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.)	Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers	Automated Deduction in Geometry	2011	DBLP DOI BibTeX RDF
1	Dominique Michelucci, Pascal Schreck, Simon E. B. Thierry, Christoph Fünfzig, Jean-David Génevaux	Using the witness method to detect rigid subsystems of geometric constraints in CAD.	Symposium on Solid and Physical Modeling	2010	DBLP DOI BibTeX RDF	W-decomposition, rigidity theory, witness configuration, geometric constraints solving, Jacobian matrix
1	Caroline Essert-Villard, Claire Baegert, Pascal Schreck	Multi-semantic Approach Towards a Generic Formal Solver of Tool Placement for Percutaneous Surgery.	KEOD	2009	DBLP BibTeX RDF
1	Nicolas Magaud, Julien Narboux, Pascal Schreck	Formalizing Desargues' theorem in Coq using ranks.	SAC	2009	DBLP DOI BibTeX RDF	Desargues, rank, formalization, projective geometry, Coq
1	Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck	Special track on Geometric Constraints and Reasoning: editorial message.	SAC	2008	DBLP DOI BibTeX RDF
1	Arnaud Fabre, Pascal Schreck	Combining symbolic and numerical solvers to simplify indecomposable systems solving.	SAC	2008	DBLP DOI BibTeX RDF	geometric constraint systems description, geometric universe, software engineering, algebraic specification
1	Nicolas Magaud, Julien Narboux, Pascal Schreck	Formalizing Projective Plane Geometry in Coq.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
1	Simon E. B. Thierry, Pascal Mathis, Pascal Schreck	Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints.	SAC	2007	DBLP DOI BibTeX RDF	invariance under transformations groups, under-constraint, geometric constraints solving
1	Claire Baegert, Caroline Villard, Pascal Schreck, Luc Soler	Multi-criteria Trajectory Planning for Hepatic Radiofrequency Ablation.	MICCAI	2007	DBLP DOI BibTeX RDF
1	Pascal Schreck, Étienne Schramm	Using invariance under the similarity group to solve geometric constraint systems.	Computer-Aided Design	2006	DBLP DOI BibTeX RDF
1	Pascal Schreck, Pascal Mathis	Geometrical Constraint System Decomposition: a Multi-group Approach.	Int. J. Comput. Geometry Appl.	2006	DBLP DOI BibTeX RDF
1	Dominique Michelucci, Pascal Schreck	Incidence Constraints: a Combinatorial Approach.	Int. J. Comput. Geometry Appl.	2006	DBLP DOI BibTeX RDF
1	Julien Wintz, Pascal Schreck, Pascal Mathis	A framework for geometric constraint satisfaction problem.	SAC	2006	DBLP DOI BibTeX RDF	geometric constraint systems description, geometric universe, software engineering, algebraic specification
1	Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck	Editorial message: technical track on geometric computing and reasoning.	SAC	2006	DBLP DOI BibTeX RDF
1	Dominique Michelucci, Sebti Foufou, Loïc Lamarque, Pascal Schreck	Geometric constraints solving: some tracks.	Symposium on Solid and Physical Modeling	2006	DBLP DOI BibTeX RDF	bernstein base, incidence constraint, randomized prover, rigidity theory, witness configuration, decomposition, projective geometry, geometric constraints solving
1	Arnaud Fabre, Ludovic Sternberger, Pascal Schreck, Dominique Bechmann	Constrained Gesture Interaction in 3D Geometric Constructions.	Gesture Workshop	2005	DBLP DOI BibTeX RDF
1	Caroline Villard, Claire Baegert, Pascal Schreck, Luc Soler, Afshin Gangi	Optimal Trajectories Computation Within Regions of Interest for Hepatic RFA Planning.	MICCAI	2005	DBLP DOI BibTeX RDF
1	Caroline Essert-Villard, Pascal Schreck, Pascal Mathis, Jean-François Dufourd	Combination of Automatic and Interactive Tools for Solution Space Browsing.	GMAG	2003	DBLP DOI BibTeX RDF
1	Étienne Schramm, Pascal Schreck	Solving Geometric Constraints Invariant Modulo the Similarity Group.	ICCSA	2003	DBLP DOI BibTeX RDF
1	Étienne Schramm, Pascal Schreck	A Case Study in Geometric Constructions.	International Conference on Computational Science	2002	DBLP DOI BibTeX RDF
1	Pascal Schreck	Robustness in CAD Geometric Constructions. (PDF / PS)	IV	2001	DBLP DOI BibTeX RDF
1	Caroline Essert-Villard, Pascal Schreck, Jean-François Dufourd	Sketch-based pruning of a solution space within a formal geometric constraint solver.	Artif. Intell.	2000	DBLP DOI BibTeX RDF
1	Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck	Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
1	Jean-François Dufourd, Pascal Mathis, Pascal Schreck	Geometric Construction by Assembling Solved Subfigures.	Artif. Intell.	1998	DBLP DOI BibTeX RDF
1	Jean-François Dufourd, Pascal Mathis, Pascal Schreck	Formal Resolution of Geometrical Constraint Systems by Assembling.	Symposium on Solid Modeling and Applications	1997	DBLP DOI BibTeX RDF	assembling of figures, geometric formal construction, local solving, system of geometric constraints, multi-agent system, computer-aided design, blackboard

Publications of "Pascal Schreck" ( http://dblp.L3S.de/Authors/Pascal_Schreck )