Search results for "automated"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Christophe Jermann, Bertrand Neveu, Gilles Trombettoni	A New Structural Rigidity for Geometric Constraint Systems.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF
23	Gábor Bodnár	Algorithmic Tests for the Normal Crossing Property.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF
23	Mohamed Shalaby, Bert Jüttler, Josef Schicho	C1 Spline Implicitization of Planar Curves.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF	knot removal, approximation, B-spline, implicitization
23	XueFeng Chen, DingKang Wang	The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF
23	Lu Yang	Distance Coordinates Used in Geometric Constraint Solving.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF
23	John C. Owen, Steve C. Power	The Nonsolvability by Radicals of Generic 3-connected Planar Graphs.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF
23	Solen Corvez, Fabrice Rouillier	Using Computer Algebra Tools to Classify Serial Manipulators.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF
23	Dongming Wang 0001	GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF
23	Alexander A. Pasko, Valery Adzhiev	Function-Based Shape Modeling: Mathematical Framework and Specialized Language.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF
23	Irina Tchoupaeva	Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF
23	Jürgen Richter-Gebert, Dongming Wang 0001 (eds.)	Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers	Automated Deduction in Geometry	2001	DBLP DOI BibTeX RDF
23	Hubert Comon	Inductionless Induction.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Nachum Dershowitz, David A. Plaisted	Rewriting.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini	Reasoning in Expressive Description Logics.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Frank Pfenning	Logical Frameworks.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Leo Bachmair, Harald Ganzinger	Resolution Theorem Proving.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	I. V. Ramakrishnan, R. Sekar 0001, Andrei Voronkov	Term Indexing.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Christoph Weidenbach	Combining Superposition, Sorts and Splitting.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Matthias Baaz, Uwe Egly, Alexander Leitsch	Normal Form Transformations.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Alan Bundy	The Automation of Proof by Mathematical Induction.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Andreas Nonnengart, Christoph Weidenbach	Computing Small Clause Normal Forms.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Peter B. Andrews	Classical Type Theory.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Jürgen Dix, Ulrich Furbach, Ilkka Niemelä	Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Hans Jürgen Ohlbach, Andreas Nonnengart, Maarten de Rijke, Dov M. Gabbay	Encoding Two-Valued Nonclassical Logics in Classical Logic.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Arild Waaler	Connections in Nonclassical Logics.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, Tanel Tammet	Resolution Decision Procedures.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Reinhold Letz, Gernot Stenz	Model Elimination and Connection Tableau Procedures.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Robert Nieuwenhuis, Albert Rubio	Paramodulation-Based Theorem Proving.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Anatoli Degtyarev, Andrei Voronkov	The Inverse Method.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Reiner Hähnle	Tableaux and Related Methods.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	John Alan Robinson, Andrei Voronkov	Preface.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Gilles Dowek	Higher-Order Unification and Matching.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Alexander Bockmayr, Volker Weispfenning	Solving Numerical Constraints.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Edmund M. Clarke, Bernd-Holger Schlingloff	Model Checking.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Henk Barendregt, Herman Geuvers	Proof-Assistants Using Dependent Type Systems.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Franz Baader, Wayne Snyder	Unification Theory.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Anatoli Degtyarev, Andrei Voronkov	Equality Reasoning in Sequent-Based Calculi.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
23	Xiao-Shan Gao, Lei-Dong Huang, Kun Jiang	A Hybrid Method for Solving Geometric Constraint Problems.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
23	Daniela Tulone, Chee-Keng Yap, Chen Li 0003	Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
23	Christoph M. Hoffmann, Bo Yuan	On Spatial Constraint Solving Approaches.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
23	Fabrice Rouillier, Mohab Safey El Din, Éric Schost	Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
23	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
23	Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes 0001	The Kinds of Truth of Geometry Theorems.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
23	Timothy F. Havel	Qubit Logic, Algebra and Geometry.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
23	Philippe Aubry, Dongming Wang 0001	Reasoning about Surfaces Using Differential Zero and Ideal Decomposition.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
23	Ulrich Kortenkamp, Jürgen Richter-Gebert	Decision Complexity in Dynamic Geometry.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
23	Jacques D. Fleuriot	Nonstandard Geometric Proofs.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
23	Pasqualina Conti, Carlo Traverso	Algebraic and Semialgebraic Proofs: Methods and Paradoxes.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
23	Laura Bazzotti, Giorgio Dalzotto, Lorenzo Robbiano	Remarks on Geometric Theorem Proving.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
23	Xiao-Shan Gao, Dongming Wang 0001, Lu Yang (eds.)	Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings	Automated Deduction in Geometry	1999	DBLP DOI BibTeX RDF
23	Chuan-Zhong Li, Jing-Zhong Zhang	Readable Machine Solving in Geometry and ICAI Software MSG.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
23	Haiquan Yang, Shugong Zhang, Guochen Feng	A Clifford Algebraic Method for Geometric Reasoning.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
23	Wu Wen-Tsün	Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
23	Andreas Dolzmann	Solving Geometric Problems with Real Quantifier Elimination.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
23	Hongbo Li	Some Applications of Clifford Algebra to Geometries.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
23	Jae Yeol Lee	A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF	variational design, constructive constraint solving, graph reduction, Parametric design
23	Desmond Fearnley-Sander	Plane Euclidian Reasoning.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
23	Zongying Ou, Jun Liu	Variant Geometry Analysis and Synthesis in Mechanical CAD.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
23	Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang 0001	Clifford Term Rewriting for Geometric Reasoning in 3D.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
23	Didier Bondyfalat, Bernard Mourrain, Théodore Papadopoulo	An Application of Automatic Theorem Proving in Computer Vision.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
23	Jacques D. Fleuriot, Lawrence C. Paulson	Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
23	Dongming Wang 0001	Decomposing Algebraic Varieties.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
23	Chase H. Kenyon, Pushkin Kachroo (eds.)	Mobile Robots XI and Automated Vehicle Control Systems, Boston, MA, USA, November 18, 1996	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP BibTeX RDF
23	Jeffrey N. Callen, John M. Iaconis	Distributed control system for vehicles.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
23	Chase H. Kenyon	Practical on-board weigh-in-motion system for commercial vehicles.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
23	Seung Do Kim, Myung Jin Chung	Online sensor calibration and localization for mobile robot navigation.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
23	Suk B. Lee, Jang Myung Lee, Man Hyung Lee	Integrated wiring system for construction equipment.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
23	Giovanna Castellano, Ettore Stella, Giovanni Attolico, Arcangelo Distante	Optimizing a fuzzy logic controller for reactive navigation.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
23	Randall DeFauw, Sridhar Lakshmanan, Natarajan Narasimhamurthi, Michael Beauvais, Karl C. Kluge	STARLITE: a steering autonomous robot's lane investigation and tracking element.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
23	Michael J. Schreiber, Stephen L. Dickerson	Outdoor tracking using machine vision, xenon strobe illumination, and retroreflective landmarks.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
23	Paul J. Johnson, Kevin L. Chapman, John S. Bay	Navigation of an autonomous ground vehicle using the subsumption architecture.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
23	Willie Y. Lim	Graphical user interface layer for BALI.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
23	Eric Colon, Yvan Baudoin	Development and evaluation of distributed control algorithms for the mobile robot Nomad200.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
23	Cem Ünsal, Pushkin Kachroo	Analytic nonlinear observer-based design for antilock braking systems.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
23	Hobart R. Everett, Douglas W. Gage	Third-generation security robot.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
23	Georgi Stojanov, Stevo Bozinovski, Liljana Bozinovska	AV control system which makes use of environment stabilizations.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
23	Robert Larsen	Feasibility of advanced vehicle control systems (AVCS) for transit buses.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
23	Karsten Berns, Winfried Ilg, Stefan Cordes, Martin Eberl, Robert Suna	Multijoint robot for autonomous sewer inspection.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
23	Peggy Israel Doerschuk, Vihn Nguyen, Mani Venkatesh, Faqiang Kwong, Andrew L. Li	Intelligent control of a simulated running jointed leg.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
23	Peter E. Lauer (eds.)	Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
23	Stephen J. Garland, John V. Guttag, James J. Horning	An Overview of Larch.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
23	John H. Reppy	Concurrent ML: Design, Application and Semantics.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
23	Jeffery I. Zucker	Propositional Temporal Logics and Their Use in Model Checking.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
23	Peter E. Lauer	On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related Activities.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
23	Nachum Dershowitz	A Taste of Rewrite Systems.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
23	Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels	The EVES System.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
23	David B. MacQueen	Reflections on Standard ML.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
23	Michael Barnett 0001, Christian Lengauer	A Systolizing Compilation Scheme for Nested Loops with Linear Bounds.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
23	Kees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen	Specification and Simulation with ExSpect.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
23	John Ophel	An Introduction to the High-Level Language Standard ML.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
23	Timothy C. Winkler	Programming in OBJ and Maude.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
23	Jeffery I. Zucker	The Propositional mu-Calculus and Its Use in Model Checking.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
23	Robert M. Shapiro, Valerio O. Pinci, Roberto Mameli	Modeling an NORAD Command Post Using SADT and Colored Petri Nets.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
23	Rance Cleaveland	Analysing Concurrent Systems Using the Concurrency Workbench.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
23	Richard A. Frost, S. Karamatos	Supporting the Attribute Grammar Programming Paradigm in a Lazy Funciontal Programming Language.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
23	Douglas J. Howe	Reasoning About Functional Programs in Nuprl.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
23	Jawahar Malhotra, Robert M. Shapiro	Generating an Algorithm for Executing Graphical Models.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
23	Robert S. Boyer (eds.)	Automated Reasoning: Essays in Honor of Woody Bledsoe	Automated Reasoning	1991	DBLP BibTeX RDF
23	Robert S. Boyer, J Strother Moore	MJRTY: A Fast Majority Vote Algorithm.	Automated Reasoning: Essays in Honor of Woody Bledsoe	1991	DBLP BibTeX RDF
23	Owen L. Astrachan, Donald W. Loveland	METEORs: High Performance Theorem Provers Using Model Elimination.	Automated Reasoning: Essays in Honor of Woody Bledsoe	1991	DBLP BibTeX RDF