Friedrich Robert Helmert - PDFSEARCH.IO - Document Search Engine

Friedrich Robert Helmert
Results: 31

#	Item
1	Type your Frontispiece or Quote Page here (if any) Add to Reading List Source URL: www2.unb.ca Language: English - Date: 2016-03-15 07:33:43 Geodesy Gravimetry Geoid Gravity anomaly Petr Vanek Orthometric height Friedrich Robert Helmert Latitude Surveying World Geodetic System Vertical deflection
2	Report on the EUREF Combined Solution Generation Heinz Habrich EUREF Analysis Coordinator Add to Reading List Source URL: www.epncb.oma.be Language: English - Date: 2012-05-08 11:23:33 Friedrich Robert Helmert EUREF Permanent Network Geodesy Measurement Regional Reference Frame Sub-Commission for Europe
3	Zaletnyik Piroska PhD dissertation Summary of the dissertation Coordinate transformation using Computer Algebra System and artificial neural Add to Reading List Source URL: www.agt.bme.hu Language: English - Date: 2007-12-19 05:42:56 Technology Measurement GPS Surveying Geodetic system Friedrich Robert Helmert World Geodetic System Neural network Artificial neural network Geodesy Navigation Cartography
4	What can we expect from the EPN reprocessing? Kenyeres A. - Figurski M. - Legrand, J. EPN LAC workshopOctober 2008, Frankfurt, Germany Add to Reading List Source URL: www.epncb.oma.be Language: English - Date: 2012-05-08 11:23:35 Datum Friedrich Robert Helmert EUREF Permanent Network Geodesy Cartography Measurement
5	Additive Counterexample-guided Cartesian Abstraction Refinement Jendrik Seipp and Malte Helmert Universit¨at Basel Basel, Switzerland {jendrik.seipp,malte.helmert}@unibas.ch Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-06-05 11:45:20 Science Heuristic function Admissible heuristic Heuristic Abstraction Consistent heuristic Friedrich Robert Helmert Algorithm Shortest path problem Heuristics Mathematics Applied mathematics
6	Diverse and Additive Cartesian Abstraction Heuristics Jendrik Seipp Malte Helmert Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2015-01-31 16:37:01 Cognition Innovation Abstraction Data management Friedrich Robert Helmert Admissible heuristic Heuristics Problem solving Mind
7	Generalized Label Reduction for Merge-and-Shrink Heuristics Silvan Sievers and Martin Wehrle and Malte Helmert Universit¨at Basel Basel, Switzerland {silvan.sievers,martin.wehrle,malte.helmert}@unibas.ch Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-05-12 05:45:15 Lambda calculus Logic in computer science L-reduction Combinatory logic Reduction Friedrich Robert Helmert Theoretical computer science Computational complexity theory Applied mathematics
8	Theoretical Background Contributions Experiments Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-08-15 12:42:44 Heuristic function Admissible heuristic Science Cognition Academia Heuristics Increment Friedrich Robert Helmert
9	Generalized Label Reduction for Merge-and-Shrink Heuristics Silvan Sievers and Martin Wehrle and Malte Helmert Universit¨at Basel Basel, Switzerland {silvan.sievers,martin.wehrle,malte.helmert}@unibas.ch Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-05-12 05:45:15 Lambda calculus Logic in computer science L-reduction Combinatory logic Reduction Friedrich Robert Helmert Theoretical computer science Computational complexity theory Applied mathematics
10	Automatic Configuration of Sequential Planning Portfolios Jendrik Seipp1 Silvan Sievers1 Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2015-01-31 16:24:43 Friedrich Robert Helmert Algorithm Academia