Search results for "Mechanization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
96	Zhenbing Zeng, Meijing Shan	Semi-mechanization method for a unsolved optimization problem in combinatorial geometry.	SAC	2007	DBLP DOI BibTeX RDF	Heilbronn triangular problem, nonlinear programming problem, semi-mechanization method, combinatorial geometry
84	Milos Besta, Frank A. Stomp	Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm.	ICECCS	2002	DBLP DOI BibTeX RDF
80	Na Jia, Changle Pang, Zhuomao E	Study on Expert System for Towed Water-saving Irrigation Mechanization Technology.	CCTA	2007	DBLP DOI BibTeX RDF	water-saving irrigation, towed watersaving irrigation mechanization technology, artificial intelligence, expert system
69	Milos Besta, Frank A. Stomp	A Complete Mechanization of Correctness of a String-Preprocessing Algorithm.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	formal methods, pattern matching, theorem proving, PVS
65	Wenjun Wu 0003, Xiao-Shan Gao	Mathematics mechanization and applications after thirty years.	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	mathematics mechanization, characteristic set method, automated theorem discovering, symbolic equation solving, intelligent computer-aided design, computer vision, robotics, automated theorem proving, computer aided geometric design
58	Hongbo Li 0012, Lina Cao, Nanbin Cao, Weikun Sun	Intrinsic Differential Geometry with Geometric Calculus.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF	Intrinsic differential geometry, Mathematics mechanization, Symbolic geometric computing, Clifford algebra
42	Kui Zhou, Ding Feng 0001, Chaobin Huang, Peng Wang, Jin Liu, Shouyong Li	Intelligent Robot Manipulator's Application in the Racking of Drill Pipe.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	Drill pipe, Manipulator, Mechanization, Intelligent robot
42	Hongbo Li 0012, Ronghua Xu, Ning Zhang	On Miquel's Five-Circle Theorem.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF	Miquel’s Theorem, Mathematics mechanization, Null bracket algebra, “breefs”, Conformal geometric algebra
38	Dominique Bolignano	Towards a Mechanization of Cryptographic Protocal Verification.	CAV	1997	DBLP DOI BibTeX RDF
38	Manfred Kerber, Michael Kohlhase	A Mechanization of Strong Kleene Logic for Partial Functions.	CADE	1994	DBLP DOI BibTeX RDF
38	Roger H. Simonsen, D. Louise Anketell	Mechanization of the curve fitting process: DATAN.	Commun. ACM	1966	DBLP DOI BibTeX RDF
31	Richard D. Patton, Peter C. Patton	What Can Be Automated? What Cannot Be Automated?.	Handbook of Automation	2009	DBLP DOI BibTeX RDF
31	Martin Hepp, Frank Leymann, John Domingue, Alexander Wahler, Dieter Fensel	Semantic Business Process Management: A Vision Towards Using Semantic Web Services for Business Process Management.	ICEBE	2005	DBLP DOI BibTeX RDF
31	Sidi O. Ehmety, Lawrence C. Paulson	Program Composition in Isabelle/UNITY.	IPDPS	2002	DBLP DOI BibTeX RDF	program composition, universal and existential properties, UNITY, Isabelle
31	Robert Paige	Transformational Programming - Applications to Algorithms and Systems.	POPL	1983	DBLP DOI BibTeX RDF
31	L. S. Baumann, R. D. Coop	Automated workflow control: a key to office productivity.	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF
31	Saul Gorn	Summary remarks.	Commun. ACM	1964	DBLP DOI BibTeX RDF
27	Ned Chapin	Symbolic analysis methods for information systems.	Commun. ACM	1961	DBLP DOI BibTeX RDF	application mechanization, formalized analysis techniques, symbolic analysis methods, systems automation, information systems, system design, system analysis, data processing
23	Noé De Santo, Aurèle Barrière, Clément Pit-Claudel	A Coq Mechanization of JavaScript Regular Expression Semantics.	CoRR	2024	DBLP DOI BibTeX RDF
23	Ende Jin, Nada Amin, Yizhou Zhang 0001	Extensible Metatheory Mechanization via Family Polymorphism.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
23	Matthew Cobb	The Representation of Knowledge and the Relevance of Biological Models at the Symposium on the Mechanization of Thought Processes, 1958.	IEEE Ann. Hist. Comput.	2023	DBLP DOI BibTeX RDF
23	Niklas Heidler	Mechanization of LAGC Semantics in Isabelle.	CoRR	2022	DBLP BibTeX RDF
23	Miguel Pagano, José E. Solsona	Nominal Sets in Agda - A Fresh and Immature Mechanization.	LSFA	2022	DBLP DOI BibTeX RDF
23	Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart	Mechanization of a Large DSML: An Experiment with AADL and Coq.	MEMOCODE	2022	DBLP DOI BibTeX RDF
23	Qiangwen Fu, Qi Zhou, Gongmin Yan, Sihai Li, Feng Wu	Unified All-Earth Navigation Mechanization and Virtual Polar Region Technology.	IEEE Trans. Instrum. Meas.	2021	DBLP DOI BibTeX RDF
23	Jian Chen, Xiaohua Chen, Qingyan Zeng, Ishbir Singh, Amit Sharma	Internet of Things-Based Agricultural Mechanization Using Neural Network Extreme Learning on Rough Set.	Int. J. Agric. Environ. Inf. Syst.	2021	DBLP DOI BibTeX RDF
23	Pascal Schreck, Nicolas Magaud, David Braun	Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach.	ADG	2021	DBLP DOI BibTeX RDF
23	Lubin Chang, Jingbo Di, Fangjun Qin	Inertial based Integration with Transformed INS Mechanization in Earth Frame.	CoRR	2021	DBLP BibTeX RDF
23	Xiao-Shan Gao	New Developments of Mathematics Mechanization.	ISSAC	2021	DBLP DOI BibTeX RDF
23	Momtaz Isaak, Azmi Yahya, Muhammad Razif, Nazmi Mat	Mechanization status based on machinery utilization and workers' workload in sweet corn cultivation in Malaysia.	Comput. Electron. Agric.	2020	DBLP DOI BibTeX RDF
23	Alejandro Gadea, Emmanuel Gunther, Miguel Pagano	Mechanization of coherence and adequacy: Being extrinsic extended to subtyping.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
23	Shunei Norikumo	History of Mechanization and Organizational Change in the Life Insurance Industry in Japan (Examples from Dai-ichi Life, Nippon Life, Imperial Life, Meiji Life).	KES-IDT	2020	DBLP DOI BibTeX RDF
23	Mehdi Eskandarzade, R. M. Chandima Ratnayake, Meysam Najafi Ershadi	Mechanization of Qualitative Risk Based Inspection Analysis.	IEEM	2020	DBLP DOI BibTeX RDF
23		International Symposium on Wen-Tsun Wu's Academic Thought and Mathematics Mechanization.	ACM Commun. Comput. Algebra	2019	DBLP DOI BibTeX RDF
23	Tuhin Sengupta, Gopalakrishnan Narayanamurthy, Roger Moser 0001, Pradeep Kumar Hota	Sharing app for farm mechanization: Gold Farm's digitized access based solution for financially constrained farmers.	Comput. Ind.	2019	DBLP DOI BibTeX RDF
23	Pascal Schreck	On the Mechanization of Straightedge and Compass Constructions.	J. Syst. Sci. Complex.	2019	DBLP DOI BibTeX RDF
23	Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf	Mechanization of Separation in Generic Extensions.	CoRR	2019	DBLP BibTeX RDF
23	Jared Moore	The Price of Mechanization: Vonnegut's Player Piano in the 2010s [Review Essay].	IEEE Technol. Soc. Mag.	2019	DBLP DOI BibTeX RDF
23	Sergey Bozhko, Leyla Khatbullina, Semyon V. Grigorev	Bar-Hillel Theorem Mechanization in Coq.	WoLLIC	2019	DBLP DOI BibTeX RDF
23	Shunei Norikumo	Changes in Organizations Due to Management Mechanization (Case Studies of Life Insurance Companies in Japan).	KES-IDT (2)	2019	DBLP DOI BibTeX RDF
23	Xiaoqiang Wu, Ruican Hao	Thinking on the C Language Teaching Method for the Major of Agricultural Mechanization Engineering.	eLEOT	2019	DBLP DOI BibTeX RDF
23	Anthony Matthews	The operation and mechanization of the hemispherical resonator gyroscope.	PLANS	2018	DBLP DOI BibTeX RDF
23	Laila Seewang	Mechanization Takes Command: A Contribution to Anonymous History. Sigfried Giedion. Minneapolis, MN: University of Minnesota Press, 2013, 785 pp. $29.95 (softcover) (ISBN: 9780816690435).	J. Assoc. Inf. Sci. Technol.	2017	DBLP DOI BibTeX RDF
23	Guillaume Allais	Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic.	TYPES	2017	DBLP DOI BibTeX RDF
23	Wenchao Gao, Xiaoming Xu, Lisheng Xu, Pu Liu, Tian Gao	A fast nonlinear placement algorithm to improve agricultural mechanization.	Agro-Geoinformatics	2017	DBLP DOI BibTeX RDF
23	Kuen-Bang Hou (Favonia)	Higher-Dimensional Types in the Mechanization of Homotopy Theory.		2017	DOI RDF
23	Rachida Khaled, Lamine Hammas	Technological Innovation and the Agricultural Sustainability: What Compatibility for the Mechanization?	Int. J. Innov. Digit. Econ.	2016	DBLP DOI BibTeX RDF
23	Kuen-Bang Hou (Favonia), Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine	A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory.	CoRR	2016	DBLP BibTeX RDF
23	Kuen-Bang Hou (Favonia), Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine	A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory.	LICS	2016	DBLP DOI BibTeX RDF
23	Avraham Shinnar, Jérôme Siméon, Martin Hirzel	A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact).	Dagstuhl Artifacts Ser.	2015	DBLP DOI BibTeX RDF
23	Diego Fanesi, Diletta Romana Cacciagrano, Knut Hinkelmann	Semantic Business Process Representation to Enhance the Degree of BPM Mechanization - An Ontology.	ES	2015	DBLP DOI BibTeX RDF
23	Avraham Shinnar, Jérôme Siméon, Martin Hirzel	A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization.	ECOOP	2015	DBLP DOI BibTeX RDF
23	Benjamin Selfridge	An ACL2 Mechanization of an Axiomatic Framework for Weak Memory.	ACL2	2014	DBLP DOI BibTeX RDF
23	Timothy Bourke	Mechanization of the Algebra for Wireless Networks (AWN).	Arch. Formal Proofs	2014	DBLP BibTeX RDF
23	Qing Dong, Min-li Yang	Design and Implementation of WeChat Public Service Platform for the China Research Center for Agricultural Mechanization Development, CAU.	CCTA	2014	DBLP DOI BibTeX RDF
23	A. M. N. D. B. Seneviratne, R. M. Chandima Ratnayake	Use of MCDM and AI Techniques for Mechanization of In-Service Inspection Planning Process.	APMS (3)	2014	DBLP DOI BibTeX RDF
23	Christoph Benzmüller, Bruno Woltzenlogel Paleo	Formalization, Mechanization and Automation of Gödel's Proof of God's Existence.	CoRR	2013	DBLP BibTeX RDF
23	Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler	Run your research: on the effectiveness of lightweight mechanization.	POPL	2012	DBLP DOI BibTeX RDF
23	Markus Kleinert, Christian Ascher, Uwe Stilla	Comparison of inertial mechanization approaches for inertial aided monocular EKF-SLAM.	FUSION	2012	DBLP BibTeX RDF
23	Eli Banks Liberato da Costa	Charles Babbage (1791-1871) and the mechanization of calculus: from the gears to the thinking machine (Charles Babbage (1791-1871) e a mecanização do cálculo: das engrenagens à máquina de pensar).		2012	RDF
23	Ruili Wang, Yulong Zhang 0002, Yi Huang, Fenglan Wei, Xuewei Bai, E. Liu	Mechanization of deep tillage and mulching to improve soil water content and spring maize yield.	EMEIT	2011	DBLP DOI BibTeX RDF
23	Jieung Kim, Sukyoung Ryu	Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance.	CPP	2011	DBLP DOI BibTeX RDF
23	Wilmer Ricciotti	Theoretical and implementation aspects in the mechanization of the metatheory of programming languages.		2011	RDF
23	Marc Bezem, Dimitri Hendriks	On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Coherent logic, Proof objects, Hessenberg’s theorem, Automated theorem proving
23	Daniel Lesnic, C. Zhao	Algorithmization and mechanization of the Cauchy problem associated with the plate equation.	Int. J. Comput. Math.	2007	DBLP DOI BibTeX RDF
23	H. M. Habib, E. R. El-Zahar	An algorithm for solving singular perturbation problems with mechanization.	Appl. Math. Comput.	2007	DBLP DOI BibTeX RDF
23	Mamoun Filali	A Mechanization of Phylogenetic Trees.	VERIFY	2007	DBLP BibTeX RDF
23	Weiming Wang	An algorithm for solving the high-order nonlinear Volterra-Fredholm integro-differential equation with mechanization.	Appl. Math. Comput.	2006	DBLP DOI BibTeX RDF
23	Caidi Zhao	Algorithm and mechanization to Cauchy problem of wave equation with linear damping and source terms.	Appl. Math. Comput.	2006	DBLP DOI BibTeX RDF
23	Jon Doyle	On Mechanization of Thought Processes (Extended Abstract).	KR	2006	DBLP BibTeX RDF
23	Weiming Wang, Changsheng Lin	A new algorithm for integral of trigonometric functions with mechanization.	Appl. Math. Comput.	2005	DBLP DOI BibTeX RDF
23	Zhenqing Li, Weiming Wang	Mechanization for solving SPP by reducing order method.	Appl. Math. Comput.	2005	DBLP DOI BibTeX RDF
23	Caidi Zhao	Algorithmization formula and mechanization to Cauchy problem of high dimensional wave equation.	Appl. Math. Comput.	2005	DBLP DOI BibTeX RDF
23	Weiming Wang	An algorithm for solving nonlinear singular perturbation problems with mechanization.	Appl. Math. Comput.	2005	DBLP DOI BibTeX RDF
23	Weiming Wang 0001, Xinze Lian	Computations of multi-resultant with mechanization.	Appl. Math. Comput.	2005	DBLP DOI BibTeX RDF
23	Weiming Wang	An algorithm for solving DAEs with mechanization.	Appl. Math. Comput.	2005	DBLP DOI BibTeX RDF
23	Caidi Zhao	Algorithm and mechanization to Cauchy problem of parabolic equation.	Appl. Math. Comput.	2005	DBLP DOI BibTeX RDF
23	Panagiotis Manolios, Daron Vroon 0001	Ordinal Arithmetic: Algorithms and Mechanization.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	automated reasoning, arithmetic, ACL2, ordinal
23	Minli Yang, Feng Yang, Lijuan Shi, Jieqiang Zhuo	Study on Web-Based Agricultural Mechanization Decision Support System.	AIAI	2005	DBLP DOI BibTeX RDF
23	Gualtiero Piccinini	Jean-Pierre Dupuy, The Mechanization of Mind: On the Origins of Cognitive Science.	Minds Mach.	2002	DBLP DOI BibTeX RDF
23	J. Christian Attiogbé	Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS.	ICFEM	2002	DBLP DOI BibTeX RDF
23	Soliman A. Edress, El-Sayed A. Al-Azhry, Yasser Abdelhamid	Decision Support System for Establishing Agricultural Mechanization Units.	Egypt. Comput. Sci. J.	2001	DBLP BibTeX RDF
23	Ezequiel A. Di Paolo	The Mechanization of the Mind: On the Origins of Cognitive Science, Stefan Wermter (Ed.), Jean-Pierre Dupuy, translated by M.B. DeBevoise, Princeton University Press, 2000, $29.95 / £19.95, 240 pp. ISBN: 0-691-02574-6.	Cogn. Syst. Res.	2001	DBLP DOI BibTeX RDF
23	Céline Mariage, Jean Vanderdonckt	Mechanization of web design guidelines evaluation.	HCI	2001	DBLP BibTeX RDF
23	Carlos Gustavo Guerra	The Mechanization of Intelligence and the Human Aspects of Music.	Readings in Music and Artificial Intelligence	2000	DBLP BibTeX RDF
23	Jacques D. Fleuriot	On the Mechanization of Real Analysis in Isabelle/HOL.	TPHOLs	2000	DBLP DOI BibTeX RDF
23	David M. Goldschlag	A Mechanization of Unity in PC-NQTHM-92.	J. Autom. Reason.	1999	DBLP DOI BibTeX RDF
23	César A. Muñoz, John M. Rushby	Structural Embeddings: Mechanization with Method.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
23	Stéphane Demri	Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization?	TABLEAUX	1999	DBLP DOI BibTeX RDF
23	James F. Peters III	Mechanization of Real-Time Linear CSP with Higher Order Logic.	Fundam. Informaticae	1997	DBLP DOI BibTeX RDF
23	Ricardo Caferra	Review of Witold Marciszewski and Roman Murawski: Mechanization of Reasoning in a Historical Perspective.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
23	Odile Hermann	Mécanisation de la recherche de preuves et de programmes en arithmétique fonctionnelle du second ordre. (Mechanization of proof search for program synthesis in the second order functional arithmetic).		1995	RDF
23	Michael Kohlhase	A mechanization of sorted higher-order logic based on the resolution principle.		1994	RDF
23	Zongming Fei, Jian Lu 0001	An Approach Toward Mechanization of Acquiring Reusable Software Components.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF
23	Yukinobu Tokunaga	History and current state of postal mechanization in Japan.	Pattern Recognit. Lett.	1993	DBLP DOI BibTeX RDF
23	David Zhu, Jean-Claude Latombe	Mechanization of spatial reasoning for automatic pipe layout design.	Artif. Intell. Eng. Des. Anal. Manuf.	1991	DBLP DOI BibTeX RDF
23	Alan F. McMichael	Mechanization of Analytic Reasoning About Sets.	AAAI	1991	DBLP BibTeX RDF
23	Guillermo Arango	Practical KBSE =3D Knowledge + Reuse + Mechanization.	SCAI	1989	DBLP BibTeX RDF
23	Alexandre Bronstein	MLP: string-functional semantics and Boyer-Moore mechanization for the formal verification of synchronous circuits.		1989	RDF
23	Andrew Ireland	Mechanization of program construction in Martin-Loef's theory of types.		1989	RDF