Search results for "automated"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
45	Hongbo Li 0012	Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF	Cayley algebra, bracket algebra, affine geometry, automated theorem proving, projective geometry, conics
44	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
42	Xiao-Shan Gao, Qiang Lin	MMP/Geometer - A Software Package for Automated Geometric Reasoning.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF	Geometry software, geometric theorem discovering, geometric diagram generation, intelligent dynamic geometry, automated reasoning, geometric theorem proving
42	Ricardo Caferra, Nicolas Peltier, François Puitg	Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF	Automated geometric reasoning, model (counter-example) building, proof structuring with diagrams, analogy, computer assisted learning
36	Robert Williams, John Nash	Computer-Based Assessment: From Objective Tests to Automated Essay Grading. Now for Automated Essay Writing?	UNISCON	2009	DBLP DOI BibTeX RDF	Automated essay writing, Automated essay grading, Gatherer
34	J. Jenny Li, Hong Liu, Rudolph E. Seviora	Constructing automated protocol testing oracles to accommodate specification nondeterminism.	ICCCN	1997	DBLP DOI BibTeX RDF	automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction
34	John English, Tammy Rosenthal	Evaluating students' programs using automated assessment: a case study.	ITiCSE	2009	DBLP DOI BibTeX RDF	technology-based learning, problem-based learning, automated assessment
34	Yuan C. Hsieh	SiteCity: A Semi-Automated Site Modelling System.	CVPR	1996	DBLP DOI BibTeX RDF	Semi-automated vision system, Three-dimensional building extraction, Building delineation, Performance evaluation, Hough transform, Distance transform, Geometric constraints, Photogrammetry
33	Hongbo Li 0012, Yihong Wu 0002	Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
33	Lu Yang, Xiaorong Hou, Bican Xia	Automated Discovering and Proving for Geometric Inequalities.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
32	Freddy Lécué, Alain Léger	A Formal Model for Semantic Web Service Composition.	ISWC	2006	DBLP DOI BibTeX RDF	Automated composition, Web service, Semantic Web, Automated reasoning, AI planning
32	Deepak Kapur	Automated Geometric Reasoning: Dixon Resultants, Gröbner Bases, and Characteristic Sets.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
32	Lu Yang, Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang	Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
31	Marcos Kalinowski, Hugo Vidal Teixeira, Paul Johan Heinrich van Oppen	ABAT: An Approach for Building Maintainable Automated Functional Software Tests.	SCCC	2007	DBLP DOI BibTeX RDF	Automated Functional Testing, Maintenance of Automated Tests, Component Based Software Development
31	Derek Lewis, Stuart Bergeron, Melissa Kim, Peter Doucette	Automated Registration Evaluation System (ARES).	AIPR	2007	DBLP DOI BibTeX RDF	automated registration, GIS features, evaluation, imagery
30	Xiao-Shan Gao	Automated Geometry Diagram Construction and Engineering Geometry.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
30	Chuan Duan, Jane Cleland-Huang	Clustering support for automated tracing.	ASE	2007	DBLP DOI BibTeX RDF	automated traceability, cross-cutting concerns, traceability, aspects, requirements clustering
29	Henrique Lopes Cardoso, Eugénio C. Oliveira	Using and Evaluating Adaptive Agents for Electronic Commerce Negotiation.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF	automated learning, multi-agent systems, electronic commerce, automated negotiation
29	Robert S. Boyer, Yuan Yu	Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor.	CADE	1992	DBLP DOI BibTeX RDF	Nqthm, Boyer-Moore Theorem Prover, Gnu, Ada, C, Automated reasoning, object code, formal program verification
28	Jianlong Zhang, Petros A. Ioannou, Anastasios Chassiakos	Automated container transport system between inland port and terminals.	ACM Trans. Model. Comput. Simul.	2006	DBLP DOI BibTeX RDF	Automated container transportation system, automated truck, vehicle control, Petri nets, supervisory control
28	Cagdas Evren Gerede, Richard Hull 0001, Oscar H. Ibarra, Jianwen Su	Automated composition of e-services: lookaheads.	ICSOC	2004	DBLP DOI BibTeX RDF	automated composition, automated mediator construction, e-service modelling, roman model, service representation, service composition, service oriented computing, delegator, e-services, finite state automata, lookahead
28	Yasuo Watanabe, Katsutoshi Takahashi, Masayuki Nakazawa	Automated detection and matching of spots in autoradiogram images of two-dimensional electrophoresis for high-speed genome scanning.	ICIP (3)	1997	DBLP DOI BibTeX RDF	electrophoresis, automated detection, autoradiogram images, two-dimensional electrophoresis, high-speed genome scanning, restriction landmark genome scanning, genetic locus, copy number, restriction landmark, ring operators, RLGS patterns, differential state, Delaunay net, relative neighbourhood graphs, matching, pattern analysis, intensity, automated analysis, spots, gradient operators
28	Bogdan Korel, Ali M. Al-Yami	Assertion-Oriented Automated Test Data Generation.	ICSE	1996	DBLP BibTeX RDF	assertion oriented automated test data generation, automatic run time detection, program input, software engineering, program testing, automatic programming, white box testing, automated test data generation, software errors
28	Elizabeth Shoop, Ed Huai-hsin Chi, John V. Carlis, Paul Bieganski, John Riedl, Neal Dalton, Thomas Newman, Ernest Retzel	Implementation and testing of an automated EST processing and similarity analysis system.	HICSS (5)	1995	DBLP DOI BibTeX RDF	automated EST processing, similarity analysis system, expressed sequence tag sequencing projects, putative function, public databases, database technology, automated sequencing technologies, sequencing machine, database management systems, DNA, genomes, medical information systems, genetics, biology computing, system testing, genes, similarity analysis
28	David P. Anderson	Automated Protocol Implementation with RTAG.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	automated protocol implementation, RTAG, real-time asynchronous grammars, attribute grammar notation, portable software system, Unix-based automated implementation, protocols, programming language, grammars
28	Lei Wu, Steven C. H. Hoi, Rong Jin 0001, Jianke Zhu, Nenghai Yu	Distance metric learning from uncertain side information with application to automated photo tagging.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	automated photo tagging, uncertain side information, distance metric learning
28	Quan Liu, Yang Gao 0001, Zhiming Cui, WangShu Yao, ZhongWen Chen	An Tableau Automated Theorem Proving Method Using Logical Reinforcement Learning.	ISICA	2007	DBLP DOI BibTeX RDF	logical reinforcement learning, tableau automated theorem proving, LOMDP
28	Domingo Mery, Miguel Carrasco	Advances on Automated Multiple View Inspection.	PSIVT	2006	DBLP DOI BibTeX RDF	industrial applications, multiple view geometry, automated visual inspection
28	Gregory Buehrer, Jack W. Stokes, Kumar Chellapilla, John C. Platt	Classification of Automated Search Traffic.	Weaving Services and People on the World Wide Web	2008	DBLP DOI BibTeX RDF
27	Nelishia Pillay	Automated Design (AutoDes): Current Trends and Future Research Directions.	Automated Design of Machine Learning and Search Algorithms	2021	DBLP DOI BibTeX RDF
27	Rong Qu	A General Model for Automated Algorithm Design.	Automated Design of Machine Learning and Search Algorithms	2021	DBLP DOI BibTeX RDF
27	Nelishia Pillay, Thambo Nyathi	Automated Design of Classification Algorithms.	Automated Design of Machine Learning and Search Algorithms	2021	DBLP DOI BibTeX RDF
27	Rong Qu	Recent Developments of Automated Machine Learning and Search Techniques.	Automated Design of Machine Learning and Search Algorithms	2021	DBLP DOI BibTeX RDF
27	Hugo Jair Escalante	Automated Machine Learning - A Brief Review at the End of the Early Years.	Automated Design of Machine Learning and Search Algorithms	2021	DBLP DOI BibTeX RDF
27	Sara-Jane Dunn, Boyan Yordanov	Automated Reasoning for the Synthesis and Analysis of Biological Programs.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
27	Matthias Feurer, Aaron Klein, Katharina Eggensperger, Jost Tobias Springenberg, Manuel Blum 0002, Frank Hutter	Auto-sklearn: Efficient and Robust Automated Machine Learning.	Automated Machine Learning	2019	DBLP DOI BibTeX RDF
27	Ya'akov (Kobi) Gal, Litan Ilany	The Fourth Automated Negotiation Competition.	Next Frontier in Agent-Based Complex Automated Negotiation	2015	DBLP DOI BibTeX RDF
27	Takafumi Ishikawa, Naoki Fukuta	Federated Cloud-Based Resource Allocation by Automated Negotiations Using Strategy Changes.	Next Frontier in Agent-Based Complex Automated Negotiation	2015	DBLP DOI BibTeX RDF
27	Katsuhide Fujita	AgentKF: Automated Negotiating Agent with Strategy Adaptation.	Next Frontier in Agent-Based Complex Automated Negotiation	2015	DBLP DOI BibTeX RDF
27	Katsuhide Fujita	Automated Negotiations Based on Monotonic Tree Representations.	Next Frontier in Agent-Based Complex Automated Negotiation	2015	DBLP DOI BibTeX RDF
27	Shota Morii, Takayuki Ito 0001	AgentMR: Concession Strategy Based on Heuristic for Automated Negotiating Agents.	Novel Insights in Agent-based Complex Automated Negotiation	2014	DBLP DOI BibTeX RDF
27	Colin R. Williams, Valentin Robu, Enrico H. Gerding, Nicholas R. Jennings	An Overview of the Results and Insights from the Third Automated Negotiating Agents Competition (ANAC2012).	Novel Insights in Agent-based Complex Automated Negotiation	2014	DBLP DOI BibTeX RDF
27	Katsuhide Fujita, Takayuki Ito 0001, Tim Baarslag, Koen V. Hindriks, Catholijn M. Jonker, Sarit Kraus, Raz Lin	The Second Automated Negotiating Agents Competition (ANAC2011).	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
27	Tim Baarslag, Koen V. Hindriks, Catholijn M. Jonker	Acceptance Conditions in Automated Negotiation.	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
27	Mikoto Okumura, Katsuhide Fujita, Takayuki Ito 0001	An Implementation of Collective Collaboration Support System Based on Automated Multi-agent Negotiation.	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
27	Luca Di Gaspero, Johannes Gärtner, Nysret Musliu, Andrea Schaerf, Werner Schafhauser, Wolfgang Slany	Automated Shift Design and Break Scheduling.	Automated Scheduling and Planning	2013	DBLP DOI BibTeX RDF
27	Mai Ben Adar, Nadav Sofy, Avshalom Elmalech	Gahboninho: Strategy for Balancing Pressure and Compromise in Automated Negotiation.	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
27	Shogo Kawaguchi, Katsuhide Fujita, Takayuki Ito 0001	AgentK2: Compromising Strategy Based on Estimated Maximum Utility for Automated Negotiating Agents.	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
27	Michael K. Kinyon, Robert Veroff, Petr Vojtechovský	Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
27	Tim Baarslag, Koen V. Hindriks, Catholijn M. Jonker, Sarit Kraus, Raz Lin	The First Automated Negotiating Agents Competition (ANAC 2010).	New Trends in Agent-Based Complex Automated Negotiations	2012	DBLP DOI BibTeX RDF
27	Shogo Kawaguchi, Katsuhide Fujita, Takayuki Ito 0001	AgentK: Compromising Strategy based on Estimated Maximum Utility for Automated Negotiating Agents.	New Trends in Agent-Based Complex Automated Negotiations	2012	DBLP DOI BibTeX RDF
27	Bo An 0001, Victor R. Lesser	Yushu: A Heuristic-Based Agent for Automated Negotiating Competition.	New Trends in Agent-Based Complex Automated Negotiations	2012	DBLP DOI BibTeX RDF
27	Raz Lin, Yinon Oshrat, Sarit Kraus	Automated Agents that Proficiently Negotiate with People: Can We Keep People out of the Evaluation Loop.	New Trends in Agent-Based Complex Automated Negotiations	2012	DBLP DOI BibTeX RDF
27	Sana Stojanovic	Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
27	Pavel Pech	On One Method of Proving Inequalities in Automated Way.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
27	Fadoua Ghourabi, Tetsuo Ida, Asem Kasem	Proof Documents for Automated Origami Theorem Proving.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
27	Yu Zou, Jingzhong Zhang	Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method.	Automated Deduction in Geometry	2010	DBLP DOI BibTeX RDF
27	Susan L. Epstein	Knowledge Representation in Automated Scientific Discovery.	AAAI Fall Symposium: Automated Scientific Discovery	2008	DBLP BibTeX RDF
27	Alexandre Linhares, Eric Nichols	Automated Scientific Discovery and Hofstadter's Fluid Concepts Model.	AAAI Fall Symposium: Automated Scientific Discovery	2008	DBLP BibTeX RDF
27	Simon Colton	Joined-Up Reasoning for Automated Scientific Discovery: A Position Statement and Research Agenda.	AAAI Fall Symposium: Automated Scientific Discovery	2008	DBLP BibTeX RDF
27	Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger	Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
27	Matthias Baaz, Christian G. Fermüller, Gernot Salzer	Automated Deduction for Many-Valued Logics.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
27	Shang-Ching Chou, Xiao-Shan Gao	Automated Reasoning in Geometry.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
27	Martin Davis	The Early History of Automated Deduction.	Handbook of Automated Reasoning	2001	DBLP DOI BibTeX RDF
27	Lu Yang, Ju Zhang	A Practical Program of Automated Proving for a Class of Geometric Inequalities.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
27	Dongming Wang 0001 (eds.)	Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers	Automated Deduction in Geometry	1997	DBLP DOI BibTeX RDF
27	Nikolai Schlegel, Pushkin Kachroo	Telerobotic operation combined with automated vehicle control.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
27	Fabio Perelli, Ramesh Rajagopalan	Parallel digital signal processing (DSP) vehicle controller for automated vehicles.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
27	Kumar Krishen, Pushkin Kachroo	Sensor requirements for control systems with an example of longitudinal headway control of vehicles in automated highway systems.	Mobile Robots / Automated Vehicle Control Systems	1996	DBLP DOI BibTeX RDF
27	Stéphane Fèvre	Integration of Reasoning and Algebraic Calculus in Geometry.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
27	He Shi, Fengmei Zou	Flat Central Configurations of Four Planet Motions.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
27	Desmond Fearnley-Sander, Timothy Stokes 0001	Area in Grassmann Geometry.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
27	Dongming Wang 0001	Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
27	Quoc-Nam Tran	Extended Dixon's Resultant and Its Applications.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
27	Erik Hillgarter, Franz Winkler 0001	Points on Algebraic Curves and the Parametrization Problem.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
27	Timothy F. Havel	Computational Synthetic Geometry with Clifford Algebra.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
27	Giuseppa Carrà Ferro, Giovanni Gallo, Rosario Gennaro	Probabilistic Verification of Elementary Geometry Statements.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
27	Thomas Sturm 0001, Volker Weispfenning	Computational Geometry Problems in REDLOG.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
27	Wolfgang Bibel	Perspectives on Automated Deduction.	Automated Reasoning: Essays in Honor of Woody Bledsoe	1991	DBLP BibTeX RDF
27	Larry Wos	Automated Reasoning and Bledsoe's Dream for the Field.	Automated Reasoning: Essays in Honor of Woody Bledsoe	1991	DBLP BibTeX RDF
26	Axel Kalenborn, Thomas Will, Rouven Thimm, Jana Raab, Ronny Fregin	Java-basiertes automatisiertes Test-Framework.	Wirtschaftsinf.	2006	DBLP DOI BibTeX RDF	Types of Software Tests, Automated Test-Case Creation, Bytecode-Injection, Plugin-Based Framework, Source Code Interdependence, Third-Party-Components Tests, Automated Software Tests
26	Fernando Lopes 0001, Michael J. Wooldridge, Augusto Q. Novais	Negotiation among autonomous computational agents: principles, analysis and challenges.	Artif. Intell. Rev.	2008	DBLP DOI BibTeX RDF	Negotiation framework, Pre-negotiation, Impasse, Renegotiation, Negotiation systems, Multi-agent systems, Autonomous agents, Automated negotiation, Bargaining
26	Xiaoyu Chen 0001, Dongming Wang 0001	Towards an Electronic Geometry Textbook.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
26	Peter Lebmeir, Jürgen Richter-Gebert	Recognition of Computationally Constructed Loci.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
26	Jürgen Bokowski	Effective Methods in Computational Synthetic Geometry.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
26	Timothy Stokes 0001, Michael Bulmer	A Complex Change of Variables for Geometrical Reasoning.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
26	Simon Colton, Volker Sorge, Ursula Martin	Workshop: The Role of Automated Deduction in Mathematics.	CADE	2000	DBLP DOI BibTeX RDF
26	Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand	Algebra and Automated Deduction.	CADE	1996	DBLP DOI BibTeX RDF
25	Mate' Sztipanovits, Kai Qian, Xiang Fu 0001	The automated web application testing (AWAT) system.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	software testing, web applications, automated testing, test cases, programming specifications, GUI design, automated grading
25	M. P. A. Sellink, Chris Verhoef	An Architecture for Automated Software Maintenance.	IWPC	1999	DBLP DOI BibTeX RDF	Software renovation factory, Automated software maintenance, Automated redesign, embedded SQL, Reengineering, COBOL, System renovation
25	Sastry Nanduri, Spencer Rugaber	Requirements validation via automated natural language parsing.	HICSS (3)	1995	DBLP DOI BibTeX RDF	automated natural language parsing, validation technique, document reviews, candidate objects, object model diagram, automated natural language parser, formal specification, formal verification, natural languages, grammars, object-oriented methods, object oriented analysis, requirements validation, system requirements, requirements document, high level specifications, OOA
25	Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour	Formal specification and verification of communication protocols using automated tools .	ICECCS	1995	DBLP DOI BibTeX RDF	OSI protocol, large models, simulation, modelling, formal specification, formal specification, testing, protocols, formal verification, software tools, validation, theorem proving, process algebra, communication protocols, open systems, algebra, formal logic, automated tools, model checker, model testing, complex models, automated theorem prover
25	Joseph A. Sant	"Mailing it in": email-centric automated assessment.	ITiCSE	2009	DBLP DOI BibTeX RDF	client-based, tools, email, experience report, instructional technologies, CS1/2, automated assessment
25	Raz Lin, Yinon Oshrat, Sarit Kraus	Investigating the benefits of automated negotiations in enhancing people's negotiation skills.	AAMAS (1)	2009	DBLP BibTeX RDF	automated bilateral negotiation, opponent modeling
25	Tomas Kalibera, Jakub Lehotsky, David Majda, Branislav Repcek, Michal Tomcanyi, Antonin Tomecek, Petr Tuma 0001, Jaroslav Urban	Automated benchmarking and analysis tool.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	automated benchmarking, regression benchmarking
25	Ryan West, Katherine Lehman	Automated summative usability studies: an empirical evaluation.	CHI	2006	DBLP DOI BibTeX RDF	summative testing, automated testing, empirical methods, usability methods, remote testing
25	Adrian Stoica, Ricardo Salem Zebulum, Didier Keymeulen, Michael I. Ferguson, Vu Duong, Xin Guo 0002	Evolvable hardware techniques for on-chip automated reconfiguration of programmable devices.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Reconfigurable chips, Programmable devices, Genetic algorithms, Evolvable hardware, Automated design
25	Juichi Takahashi, Yoshiaki Kakuda	Effective Automated Testing: A Solution of Graphical Object Verification.	Asian Test Symposium	2002	DBLP DOI BibTeX RDF	Software testing, automated testing, printing, GUI testing
25	Rob Kling	Automated information systems as social resources in policy making.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF
24	Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen 0002	Proof Search and Proof Check for Equational and Inductive Theorems.	CADE	2003	DBLP DOI BibTeX RDF	proof terms, computation, induction, automated theorem proving, deduction, rewrite rules, proof assistant