Search results for "automated"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Liviu Dan Serban, Gheorghe Cosmin Silaghi, Cristian Marius Litan	AgentFSEGA: Time Constrained Reasoning Model for Bilateral Multi-Issue Negotiations.	New Trends in Agent-Based Complex Automated Negotiations	2012	DBLP DOI BibTeX RDF
23	Katsuhide Fujita, Takayuki Ito 0001, Mark Klein	The Effect of Grouping Issues in Multiple Interdependent Issues Negotiation based on Cone-Constraints.	New Trends in Agent-Based Complex Automated Negotiations	2012	DBLP DOI BibTeX RDF
23	Simone A. Ludwig, Thomas Schoene	Matchmaking in Multi-attribute Auctions using a Genetic Algorithm and a Particle Swarm Approach.	New Trends in Agent-Based Complex Automated Negotiations	2012	DBLP DOI BibTeX RDF
23	Shuichi Moritsugu	Extending the Descartes Circle Theorem for Steiner n-Cycles.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Pascal Mathis, Pascal Schreck	Equation Systems with Free-Coordinates Determinants.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Ciprian Borcea, Ileana Streinu	Realizations of Volume Frameworks.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Gabriel Braun, Julien Narboux	From Tarski to Hilbert.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Umair Siddique, Vincent Aravantinos, Sofiène Tahar	On the Formal Analysis of Geometrical Optics in HOL.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Fadoua Ghourabi, Asem Kasem, Cezary Kaliszyk	Algebraic Analysis of Huzita's Origami Operations and Their Extensions.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Christophe Brun, Jean-François Dufourd, Nicolas Magaud	Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	John Christopher Bowers, Ileana Streinu	Rigidity of Origami Universal Molecules.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Jing Yang 0039, Dongming Wang 0001, Hoon Hong	Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Dongming Wang 0001	Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Michael Beeson	Proof and Computation in Geometry.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Thomas Sturm 0001, Christoph Zengler (eds.)	Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers	Automated Deduction in Geometry	2011	DBLP DOI BibTeX RDF
23	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
23		Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011	Automated Action Planning for Autonomous Mobile Robots	2011	DBLP BibTeX RDF
23	Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit	Designing Reactive Robot Controllers with LTLMoP.	Automated Action Planning for Autonomous Mobile Robots	2011	DBLP BibTeX RDF
23	John Enright, Peter R. Wurman	Optimization and Coordinated Autonomy in Mobile Fulfillment Systems.	Automated Action Planning for Autonomous Mobile Robots	2011	DBLP BibTeX RDF
23	Brian Coltin, Manuela M. Veloso, Rodrigo Ventura 0001	Dynamic User Task Scheduling for Mobile Robots.	Automated Action Planning for Autonomous Mobile Robots	2011	DBLP BibTeX RDF
23	Barbara Frank, Cyrill Stachniss, Nichola Abdo, Wolfram Burgard	Using Gaussian Process Regression for Efficient Motion Planning in Environments with Deformable Objects.	Automated Action Planning for Autonomous Mobile Robots	2011	DBLP BibTeX RDF
23	Zachary Ramaekers, Raj Dasgupta, Vladimir Ufimtsev, S. G. M. Hossain, Carl A. Nelson	Self-Reconfiguration in Modular Robots Using Coalition Games with Uncertainty.	Automated Action Planning for Autonomous Mobile Robots	2011	DBLP BibTeX RDF
23	Ugur C. Usug, Sanem Sariel Talay	Dynamic Temporal Planning for Multirobot Systems.	Automated Action Planning for Autonomous Mobile Robots	2011	DBLP BibTeX RDF
23	Michael Misha Novitzky	Improvement of Multi-AUV Cooperation through Teammate Verification.	Automated Action Planning for Autonomous Mobile Robots	2011	DBLP BibTeX RDF
23	Stephanie Rosenthal, Manuela M. Veloso, Anind K. Dey	Task Behavior and Interaction Planning for a Mobile Service Robot that Occasionally Requires Help.	Automated Action Planning for Autonomous Mobile Robots	2011	DBLP BibTeX RDF
23	Moritz Göbelbecker, Alper Aydemir, Andrzej Pronobis, Kristoffer Sjöö, Patric Jensfelt	A Planning Approach to Active Visual Search in Large Environments.	Automated Action Planning for Autonomous Mobile Robots	2011	DBLP BibTeX RDF
23	Ezequiel Quintero, Vidal Alcázar, Daniel Borrajo, Juan Fernández-Olivares, Fernando Fernández 0001, Angel García Olaya, Cesar Guzman, Eva Onaindia, David Prior	Autonomous Mobile Robot Control and Learning with the PELEA Architecture.	Automated Action Planning for Autonomous Mobile Robots	2011	DBLP BibTeX RDF
23	Dominik Off, Jianwei Zhang 0001	Continual HTN Robot Task Planning in Open-Ended Domains: A Case Study.	Automated Action Planning for Autonomous Mobile Robots	2011	DBLP BibTeX RDF
23	Shiqi Zhang 0001, Mohan Sridharan	Visual Search and Multirobot Collaboration Based on Hierarchical Planning.	Automated Action Planning for Autonomous Mobile Robots	2011	DBLP BibTeX RDF
23	Tapio Taipalus	Execution and Representation of Actions and Plans in ActionPool Method.	Automated Action Planning for Autonomous Mobile Robots	2011	DBLP BibTeX RDF
23	Mario Gianni, Panagiotis Papadakis, Fiora Pirri, Ming Liu 0001, François Pomerleau, Francis Colas, Karel Zimmermann, Tomás Svoboda, Tomás Petrícek 0002, Geert-Jan M. Kruijff, Harmish Khambhaita, Hendrik Zender	A Unified Framework for Planning and Execution-Monitoring of Mobile Robots.	Automated Action Planning for Autonomous Mobile Robots	2011	DBLP BibTeX RDF
23	Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher	How to Plan When Being Deliberately Misled.	Automated Action Planning for Autonomous Mobile Robots	2011	DBLP BibTeX RDF
23	Alexei V. Samsonovich, Giorgio A. Ascoli	NeuroNavigator: A Hippocampus-Inspired Cognitive Architecture for Spiking Network Implementation.	Automated Action Planning for Autonomous Mobile Robots	2011	DBLP BibTeX RDF
23	Akira Namatame	Diffusion and Emergence in Social Networks.	Intelligent Systems for Automated Learning and Adaptation	2010	DBLP DOI BibTeX RDF
23	Gary G. Yen	Evolutionary Based Adaptive User Interfaces in Complex Supervisory Tasks.	Intelligent Systems for Automated Learning and Adaptation	2010	DBLP DOI BibTeX RDF
23	Ajoy Kumar Palit, Walter Anheier	Efficient Training Algorithm for Neuro-Fuzzy Network and its Application to Nonlinear Sensor Characteristic Linearization.	Intelligent Systems for Automated Learning and Adaptation	2010	DBLP DOI BibTeX RDF
23	Flávio Teixeira, Alexandre Ricardo Soares Romariz	Statistical Analysis of Computational Intelligence Algorithms on a Multi-Objective Filter Design Problem.	Intelligent Systems for Automated Learning and Adaptation	2010	DBLP DOI BibTeX RDF
23	Esteban Tlelo-Cuautle, Ivick Guerra-Gómez, Carlos A. Reyes García, Miguel Aurelio Duarte-Villaseñor	Synthesis of Analog Circuits by Genetic Algorithms and their Optimization by Particle Swarm Optimization.	Intelligent Systems for Automated Learning and Adaptation	2010	DBLP DOI BibTeX RDF
23	Thomas Weise 0001, Raymond Chiong	Evolutionary Approaches and Their Applications to Distributed Systems.	Intelligent Systems for Automated Learning and Adaptation	2010	DBLP DOI BibTeX RDF
23	Paolo Renna	A Performance Comparison between Efficiency and Pheromone Approaches in Dynamic Manufacturing Scheduling.	Intelligent Systems for Automated Learning and Adaptation	2010	DBLP DOI BibTeX RDF
23	Andres Upegui	Dynamically Reconfigurable Hardware for Evolving Bio-Inspired Architectures.	Intelligent Systems for Automated Learning and Adaptation	2010	DBLP DOI BibTeX RDF
23	Li-Minn Ang, King Hann Lim, Kah Phooi Seng, Siew Wen Chin	A Lyapunov Theory-Based Neural Network Approach for Face Recognition.	Intelligent Systems for Automated Learning and Adaptation	2010	DBLP DOI BibTeX RDF
23	Mariusz Boryczka	Ant Colony Programming.	Intelligent Systems for Automated Learning and Adaptation	2010	DBLP DOI BibTeX RDF
23	Salvador García 0001, José Ramón Cano, Francisco Herrera	A Review on Evolutionary Prototype Selection.	Intelligent Systems for Automated Learning and Adaptation	2010	DBLP DOI BibTeX RDF
23	Marcelo Keese Albertini, Rodrigo Fernandes de Mello	A Self-Organizing Neural Network to Approach Novelty Detection.	Intelligent Systems for Automated Learning and Adaptation	2010	DBLP DOI BibTeX RDF
23	Dominique Michelucci	Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
23	Dominique Michelucci	What Is a Line ?	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
23	Pedro Quaresma	Thousands of Geometric Problems for Geometric Theorem Provers (TGTP).	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
23	Susanne Apel, Jürgen Richter-Gebert	Cancellation Patterns in Automatic Geometric Theorem Proving.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
23	Laurent Fuchs, Laurent Théry	A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
23	Sana Stojanovic, Vesna Pavlovic, Predrag Janicic	A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
23	Jacques D. Fleuriot	Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
23	Phil Scott, Jacques D. Fleuriot	An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
23	Daniel Lichtblau	The Midpoint Locus of a Triangle in a Corner.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
23	Michael Gerhäuser, Alfred Wassermann	Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
23		Automated Scientific Discovery, Papers from the 2008 AAAI Fall Symposium, Arlington, Virginia, USA, November 7-9, 2008	AAAI Fall Symposium: Automated Scientific Discovery	2008	DBLP BibTeX RDF
23	Benjamin Grégoire, Loïc Pottier, Laurent Théry	Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
23	Gerald Bourgeois, Sébastien Orange	Dynamical Systems of Simplices in Dimension Two or Three.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
23	Deepak Kapur, Manfred Minimair	Multivariate Resultants in Bernstein Basis.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
23	Fernando San Segundo, J. Rafael Sendra	Offsetting Revolution Surfaces.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
23	Nicolas Magaud, Julien Narboux, Pascal Schreck	Formalizing Projective Plane Geometry in Coq.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
23	Zhenbing Zeng, Liangyu Chen 0001	On the Heilbronn Optimal Configuration of Seven Points in the Square.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
23	Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao	An Introduction to Java Geometry Expert - (Extended Abstract).	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
23	Xiaoyu Chen 0001, Ying Huang, Dongming Wang 0001	On the Design and Implementation of a Geometric Knowledge Base.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
23	Aless Lasaruk, Thomas Sturm 0001	Automatic Verification of the Adequacy of Models for Families of Geometric Objects.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
23	Heinz Kredel	Unique Factorization Domains in the Java Computer Algebra System.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
23	Dominique Michelucci, Christoph Fünfzig	Linear Programming for Bernstein Based Solvers.	Automated Deduction in Geometry	2008	DBLP DOI BibTeX RDF
23	Selmer Bringsjord, Andrew Shilliday	Organizing Committee.	AAAI Fall Symposium: Automated Scientific Discovery	2008	DBLP BibTeX RDF
23	David D. Jensen, Andrew S. Fast, Brian J. Taylor, Marc E. Maier, Matthew J. Rattigan	Automatic Identification of Quasi-Experimental Designs for Scientific Discovery.	AAAI Fall Symposium: Automated Scientific Discovery	2008	DBLP BibTeX RDF
23	Alan Bundy	Why Ontology Evolution is Essential in Modeling Scientific Discovery.	AAAI Fall Symposium: Automated Scientific Discovery	2008	DBLP BibTeX RDF
23	Konstantine Arkoudas	Automatically Discovering Euler's Identity via Genetic Programming.	AAAI Fall Symposium: Automated Scientific Discovery	2008	DBLP BibTeX RDF
23	Joshua Taylor, Selmer Bringsjord	Discovery Using Heterogeneous Combined Logics.	AAAI Fall Symposium: Automated Scientific Discovery	2008	DBLP BibTeX RDF
23	Michael Chan 0002, Alan Bundy	Inconstancy: An Ontology Repair Plan for Adding Hidden Variables.	AAAI Fall Symposium: Automated Scientific Discovery	2008	DBLP BibTeX RDF
23	Andrew Shilliday	Infinitary Model Finding in Support of Scientific Discovery.	AAAI Fall Symposium: Automated Scientific Discovery	2008	DBLP BibTeX RDF
23	Francisco Botana, Tomás Recio (eds.)	Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers	Automated Deduction in Geometry	2007	DBLP DOI BibTeX RDF
23	Hoon Hong, Dongming Wang 0001 (eds.)	Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
23	Julien Narboux	Mechanical Theorem Proving in Tarski's Geometry.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
23	Predrag Janicic, Pedro Quaresma	Automatic Verification of Regular Constructions in Dynamic Geometry Systems.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
23	Daniel Lichtblau	Cylinders Through Five Points: Complex and Real Enumerative Geometry.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF	Enumerative geometry, Gröbner bases, nonlinear systems
23	Eugenio Roanes-Macías, Eugenio Roanes-Lozano	A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
23	Pavel Pech	On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
23	Robert H. Lewis, Evangelos A. Coutsias	Algorithmic Search for Flexibility Using Resultants of Polynomial Systems.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
23	Lu Yang, Zhenbing Zeng	Constructing a Tetrahedron with Prescribed Heights and Widths.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF	generalized Cayley-Menger algebra, widths of a tetrahedron, geometric constraint solving
23	Philip H. Todd	Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
23	Thomas C. Hales	Equidecomposable Quadratic Regions.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
23	Antonio Montes, Tomás Recio	Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF	automatic discovering, comprehensive Gröbner system, canonical Gröbner system, automatic theorem proving
23	Dominique Michelucci, Sebti Foufou	Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
23	Franz Winkler 0001 (eds.)	Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
23	Britta Denner-Broser	On the Decidability of Tracing Problems in Dynamic Geometry.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
23	Gui-Fang Zhang, Xiao-Shan Gao	Planar Generalized Stewart Platforms and Their Direct Kinematics.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF	Planar generalized Stewart platform, direct kinematics, geometric constraint solving, closed-form solution
23	Hongbo Li 0012	nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF	Structural Reconstruction, Grassmann-Cayley Algebra, Local Propagation, Polyhedra, Geometric Reconstruction
23	Francisco Botana, Tomás Recio	Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
23	Pavel Pech	Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
23	XueFeng Chen, Peng Li, Long Lin, DingKang Wang	Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
23	Tielin Liang, Dongming Wang 0001	Towards a Geometric-Object-Oriented Language.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
23	Lu Yang, Zhenbing Zeng	Symbolic Solution of a Piano Movers' Problem with Four Parameters.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
23	Laura I. Meikle, Jacques D. Fleuriot	Mechanical Theorem Proving in Computational Geometry.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
23	Dmytro Chibisov, Ernst W. Mayr, Sergey Pankratov	Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
23	Daniel Lichtblau	Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
23	Hans-Gert Gräbe	The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF