Search results for "automated"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Christoph Wernhard	Generating Compressed Combinatory Proof Structures: An Approach to Automated First-Order Theorem Proving.	PAAR@IJCAR	2022	DBLP BibTeX RDF
14	Tomer Libal	Do Lawyers Use Automated Reasoning? (invited paper).	ARQNL@IJCAR	2022	DBLP BibTeX RDF
14	Jens Otten	Advancing Automated Theorem Proving for the Modal Logics D and S5.	ARQNL@IJCAR	2022	DBLP BibTeX RDF
14	Xavier Parent, Christoph Benzmüller	Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results.	ARQNL@IJCAR	2022	DBLP BibTeX RDF
14	Joshua Wilson, Cristina Ahrendt, Emily A. Fudge, Alexandria Raiche, Gaysha Beard, Charles MacArthur	Elementary teachers' perceptions of automated feedback and automated scoring: Transforming the teaching and learning of writing using automated writing evaluation.	Comput. Educ.	2021	DBLP DOI BibTeX RDF
14	Emre Yolcu, Scott Aaronson, Marijn J. H. Heule	An Automated Approach to the Collatz Conjecture.	CADE	2021	DBLP DOI BibTeX RDF
14	Julian Schindler, Domenic Lysander Herbig, Merle Lau, Michael Oehl	Communicating Issues in Automated Driving to Surrounding Traffic - How should an Automated Vehicle Communicate a Minimum Risk Maneuver via eHMI and/or dHMI? - How Should an Automated Vehicle Communicate a Minimum Risk Maneuver via eHMI and/or dHMI?	HCI (49)	2020	DBLP DOI BibTeX RDF
14	Yizheng Zhao, Renate A. Schmidt	FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions.	CADE	2019	DBLP DOI BibTeX RDF
14	Di Long Li, Alwen Tiu	Combining ProVerif and Automated Theorem Provers for Security Protocol Verification.	CADE	2019	DBLP DOI BibTeX RDF
14	Tomer Libal	A Simple Semi-automated Proof Assistant for First-order Modal Logics.	ARQNL@IJCAR	2018	DBLP BibTeX RDF
14	Koen Claessen, Ann Lillieström	Alternative Treatments of Common Binary Relations in First-order Automated Reasoning.	PAAR@IJCAR	2016	DBLP BibTeX RDF
14	Eugen Kuksa, Till Mossakowski	Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub.	PAAR@IJCAR	2016	DBLP BibTeX RDF
14	Yu Lu 0001, Alice A. Miller, Ruth Hoffmann, Christopher W. Johnson 0001	Towards the Automated Verification of Weibull Distributions for System Failure Rates.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
14	Mahmoud Mohsen, Bart Jacobs 0002	One Step Towards Automatic Inference of Formal Specifications Using Automated VeriFast.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
14	Zhe Hou, Rajeev Goré, Alwen Tiu	Automated Theorem Proving for Assertions in Separation Logic with All Connectives.	CADE	2015	DBLP DOI BibTeX RDF
14	Ulrich Furbach, Björn Pelzer, Claudia Schon	Automated Reasoning in the Wild.	CADE	2015	DBLP DOI BibTeX RDF
14	David A. Plaisted	History and Prospects for First-Order Automated Deduction.	CADE	2015	DBLP DOI BibTeX RDF
14	Vijay D'Silva, Caterina Urban	Abstract Interpretation as Automated Deduction.	CADE	2015	DBLP DOI BibTeX RDF
14	Dave de Jonge, Carles Sierra	GANGSTER: An Automated Negotiator Applying Genetic Algorithms.	ANAC@AAMAS	2014	DBLP DOI BibTeX RDF
14	Katsuhide Fujita, Reyhan Aydogan, Tim Baarslag, Takayuki Ito 0001, Catholijn M. Jonker	The Fifth Automated Negotiating Agents Competition (ANAC 2014).	ANAC@AAMAS	2014	DBLP DOI BibTeX RDF
14	Siqi Chen 0001, Shuang Zhou 0001, Gerhard Weiss 0001, Karl Tuyls	Using Transfer Learning to Model Unknown Opponents in Automated Negotiations.	ANAC@AAMAS	2014	DBLP DOI BibTeX RDF
14	Katsuhide Fujita	Automated Negotiating Agent with Strategy Adaptation for Multi-times Negotiations.	ANAC@AAMAS	2014	DBLP DOI BibTeX RDF
14	Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, Henrique Rebêlo	Towards Modularly Comparing Programs Using Automated Theorem Provers.	CADE	2013	DBLP DOI BibTeX RDF
14	Natarajan Shankar	Automated Reasoning, Fast and Slow.	CADE	2013	DBLP DOI BibTeX RDF
14	Koen Claessen	The Anatomy of Equinox - An Extensible Automated Reasoning Tool for First-Order Logic and Beyond - (Talk Abstract).	CADE	2011	DBLP DOI BibTeX RDF
14	James Brotherston, Dino Distefano, Rasmus Lerchedahl Petersen	Automated Cyclic Entailment Proofs in Separation Logic.	CADE	2011	DBLP DOI BibTeX RDF
14	Volker Haarslev, Roberto Sebastiani, Michele Vescovi	Automated Reasoning in ALCQ\mathcal{ALCQ} via SMT.	CADE	2011	DBLP DOI BibTeX RDF
14	Sascha Böhme, Michal Moskal	Heaps and Data Structures: A Challenge for Automated Provers.	CADE	2011	DBLP DOI BibTeX RDF
14	Francesco Alberti, Alessandro Armando, Silvio Ranise	ASASP: Automated Symbolic Analysis of Security Policies.	CADE	2011	DBLP DOI BibTeX RDF
14	Michael Schneider 0001, Geoff Sutcliffe	Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving.	CADE	2011	DBLP DOI BibTeX RDF
14	Moshe Y. Vardi	From Automated Verification to Automated Design.	ICAPS	2010	DBLP BibTeX RDF
14	Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich	System for Automated Deduction (SAD): A Tool for Proof Verification.	CADE	2007	DBLP DOI BibTeX RDF
14	Marc Bezem, Dimitri Hendriks, Hans de Nivelle	Automated Proof Construction in Type Theory Using Resolution.	CADE	2000	DBLP DOI BibTeX RDF
14	Erica Melis	Workshop: Automated Deduction in Education.	CADE	2000	DBLP DOI BibTeX RDF
14	Robi Malik	Automated Deduction of Finite-State Control Programs for Reactive Systems.	CADE	1998	DBLP DOI BibTeX RDF
14	Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo	Dedan: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses.	CADE	1997	DBLP DOI BibTeX RDF
14	Wu Wen-Tsün	The Char-Set Method and Its Applications to Automated Reasoning.	CADE	1997	DBLP DOI BibTeX RDF
14	Bernd I. Dahn, Jürgen Gehne, Th. Honigmann, Andreas Wolf	Integration of Automated and Interactive Theorem Proving in ILP.	CADE	1997	DBLP DOI BibTeX RDF
14	Dana S. Scott	What Can We Hope to Achieve From Automated Deduction? (Abstract).	CADE	1996	DBLP DOI BibTeX RDF
14	Deepak Kapur, Mahadevan Subramaniam	Lemma Discovery in Automated Induction.	CADE	1996	DBLP DOI BibTeX RDF
14	John K. Slaney	The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure.	CADE	1994	DBLP DOI BibTeX RDF
14	Siani Baker	A New Application for Explanation-Based Generalisation within Automated Deduction.	CADE	1994	DBLP DOI BibTeX RDF
14	Frederic D. Portoraro	Symlog: Automated Advice in Fitch-style Proof Construction.	CADE	1994	DBLP DOI BibTeX RDF
14	Tie-Cheng Wang, Allen Goldberg	KITP-93: An Automated Inference System for Program Analysis.	CADE	1994	DBLP DOI BibTeX RDF
14	Shang-Ching Chou, Xiao-Shan Gao	Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method.	IWAR	1992	DBLP BibTeX RDF
14	Qing Shen, Quanyuan Wu	Automated Reasoning on Prime Weighted Neural Network.	IWAR	1992	DBLP BibTeX RDF
14	Tie-Cheng Wang, Allen Goldberg	RVF: An Automated Formal Verification System.	CADE	1992	DBLP DOI BibTeX RDF
14	Li Dafa	A Natural Deduction Automated Theorem Proving System.	CADE	1992	DBLP DOI BibTeX RDF
14	Tomás E. Uribe, Alan M. Frisch, Michael K. Mitchell	An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems.	CADE	1992	DBLP DOI BibTeX RDF
14	William McCune, Larry Wos	Experiments in Automated Deduction with Condensed Detachment.	CADE	1992	DBLP DOI BibTeX RDF
14	Dave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill	&: Automated Natural Deduction.	CADE	1992	DBLP DOI BibTeX RDF
13	Andy R. Terrel	From Equations to Code: Automated Scientific Computing.	Comput. Sci. Eng.	2011	DBLP DOI BibTeX RDF	Automated computing, domain-specific languages, scientific computing, code optimization
13	Tangtisanon Pikulkaew, Hiroaki Kikuchi	Improving Efficiency in Privacy-Preserving Automated Trust Negotiation with Conjunctive Policies.	NBiS	2011	DBLP DOI BibTeX RDF	Privacy Preserving, Automated Trust Negotiation
13	Ramide Dantas, Ernani Azevedo, Cyrus Dias, Thiago Lima, Djamel Sadok, Carlos Alberto Kamienski, Börje Ohlman	Facilitating Service Creation via Partial Specification and Automated Composition.	SERVICES	2011	DBLP DOI BibTeX RDF	automated composition, web services, semantic web
13	Long Ngo, Colin Boyd, Juanma González Nieto	Automated Proofs for Diffie-Hellman-Based Key Exchanges.	CSF	2011	DBLP DOI BibTeX RDF	modular, automated, key exchange, Diffie-Hellman
13	Cuauhtemoc Munoz, Steve Roach	Automated Testing of LTL Formula Generation by Prospec.	HASE	2010	DBLP DOI BibTeX RDF	Prospec, Specification Pattern System, automated testing, LTL
13	Alan L. Kwan, Susan K. Dutcher, Gary D. Stormo	Detecting Coevolution of Functionally Related Proteins for Automated Protein Annotation.	BIBE	2010	DBLP DOI BibTeX RDF	protein coevolution, automated protein annotation, protein function
13	Avik Sinha, Stanley M. Sutton Jr., Amit M. Paradkar	Text2Test: Automated Inspection of Natural Language Use Cases.	ICST	2010	DBLP DOI BibTeX RDF	Text2Test, Testing, Requirements, Analysis, Use Cases, Automated Inspection
13	Jason R. Meek, Narayan C. Debnath	Architectural Design of an Automated Software Tool.	ITNG	2010	DBLP DOI BibTeX RDF	test, software, tool, automated
13	Cristian Zamfir, George Candea	Execution synthesis: a technique for automated software debugging.	EuroSys	2010	DBLP DOI BibTeX RDF	symbolic execution, automated debugging
13	Fernando Lopes 0001, Augusto Q. Novais, Helder Coelho	On the Empirical Evaluation of an Interdisciplinary Framework for Automated Negotiation.	HoloMAS	2009	DBLP DOI BibTeX RDF	Multi-agent systems, Automated negotiation, Bargaining
13	Sarthak Grover, Nigamanth Sridhar	GenQA: automated addition of architectural quality attribute support for Java software?	SAC	2009	DBLP DOI BibTeX RDF	software architecture, aspects, automated generation
13	Béla Genge, Piroska Haller	Towards Automated Secure Web Service Execution.	Networking	2009	DBLP DOI BibTeX RDF	automated execution, ontology, Web services, Security protocols
13	Mustarum Musaruddin, Rastko Zivanovic	Web Services for Automated Fault Analysis in Electrical Power System.	NCM	2009	DBLP DOI BibTeX RDF	Automated Fault Analysis, Web Services, Service-Oriented Architecture
13	Martin Kienle, Daniel Damböck, Johann Kelsch, Frank Flemisch, Klaus Bengler	Towards an H-Mode for highly automated vehicles: driving with side sticks.	AutomotiveUI	2009	DBLP DOI BibTeX RDF	active control element, cooperative automation, highly automated vehicles, interaction, automation, ergonomics, haptic interaction, assistance
13	Subramanian Ramanathan, Harish Katti, Raymond Huang, Tat-Seng Chua, Mohan S. Kankanhalli	Automated localization of affective objects and actions in images via caption text-cum-eye gaze analysis.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	affect model for world concepts, automated localization and labeling, caption text-cum-eye gaze analysis, statistical model
13	Soonho Kong, Nikolai Tillmann, Jonathan de Halleux	Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex.	ITNG	2009	DBLP DOI BibTeX RDF	Test Generation, Unit Testing, Automated Testing, Environment Modeling, Dynamic Symbolic Execution
13	Parag C. Pendharkar	An automated procedure for identifying poorly documented object oriented software components.	C3S2E	2009	DBLP DOI BibTeX RDF	automated reasoning techniques, testing, software testing, software maintenance, reuse, program understanding, component-based systems, maintenance and evolution, documentation systems
13	Pradeep Padala, Kai-Yuan Hou, Kang G. Shin, Xiaoyun Zhu, Mustafa Uysal, Zhikui Wang, Sharad Singhal, Arif Merchant	Automated control of multiple virtualized resources.	EuroSys	2009	DBLP DOI BibTeX RDF	application qos, automated control, virtualization, resource management, data center, control theory, server consolidation
13	Dan Tisher, Ray Alsaber, Kuan-Tsae Huang, D. Frank Hsu	Simulating an Automated System (SAS) for Merging Medical Vocabularies.	ISPAN	2009	DBLP DOI BibTeX RDF	automated, merge, thesaurus, definition, lexicon, medical, vocabulary
13	Ewen Denney, Bernd Fischer 0002	A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software.	ASE	2009	DBLP DOI BibTeX RDF	model-based design, verification and validation, code reviews, automated code generation
13	Abdelouahed Gherbi, Ali Kanso, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe	A Tool Suite for the Generation and Validation of Configurations for Software Availability.	ASE	2009	DBLP DOI BibTeX RDF	Availability Management Framework, Automated Configuration Generation, Validation, Domain Model, High-Availability
13	Chunsheng Yang, Benoit Farley, Robert Orchard	Automated case creation and management for diagnostic CBR systems.	Appl. Intell.	2008	DBLP DOI BibTeX RDF	Case bases, Automated case creation, Natural language processing, Methodology, Case-based reasoning
13	Shaul Druckmann, Thomas K. Berger, Sean L. Hill, Felix Schürmann, Henry Markram, Idan Segev	Evaluating automated parameter constraining procedures of neuron models by experimental and surrogate data.	Biol. Cybern.	2008	DBLP DOI BibTeX RDF	Compartmental, Firing pattern, Automated fitting, Parameter constraining, Model, Multi-objective Optimization, Neuron
13	Werner Van Geit, Erik De Schutter, Pablo Achard	Automated neuron model optimization techniques: a review.	Biol. Cybern.	2008	DBLP DOI BibTeX RDF	Automated tuning, Optimization, Model, Fitness function, Neuron, Parameters, Error function
13	Zhifang Wang, Yiyun Chen, Zhenming Wang, Baojian Hua	Automated verification of pointer programs in pointer logic.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	pointer logic, alias analysis, software safety, automated verification
13	Charalampos Doukas, Thomas Pliakas, John Karigiannis, Ilias Maglogiannis	Enabling indoor exhibition automated guidance and multimedia content delivery on mobile devices.	DIMEA	2008	DBLP DOI BibTeX RDF	automated guidance, mobile devices, multimedia delivery
13	Amit M. Paradkar, Avik Sinha	Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation.	ICSOC	2008	DBLP DOI BibTeX RDF	Invariants analysis, Service Functional Testing, Automated Test Generation
13	Sedigheh Khajouei Nejad, Amir Najafi-Ardabili, Ali Ghazinezhad, Vahid Salmani	Automated Ontological Web Service Management - A New Approach in Semantic Web.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	automated web service management, ontological graph, semantic web, Web service composition
13	Ayla Dantas, Francisco Vilar Brasileiro, Walfredo Cirne	Improving Automated Testing of Multi-threaded Software.	ICST	2008	DBLP DOI BibTeX RDF	multi-threaded systems development, Aspect-Oriented Programming, test-driven development, Automated testing, application monitoring
13	Ildikó Pelczer, Fernando Gamboa Rodríguez	Design of a System for Automated Generation of Problem Fields.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	automated problem generation, problem fields, mathematics
13	Ioannis V. Papaioannou, Ioanna Roussaki, Miltiades E. Anagnostou	Detecting Unsuccessful Automated Negotiation Threads When Opponents Employ Hybrid Strategies.	ICIC (2)	2008	DBLP DOI BibTeX RDF	MLP & GR neural networks, NN-assisted negotiation strategies, Opponent behaviour prediction, Early detection of unsuccessful negotiations, Hybrid negotiation strategies, Automated negotiations
13	Doguhan Uluca, Jan Willem Streefkerk, Brian Sciacchitano, D. Scott McCrickard	Designing automated handheld navigation support.	Mobile HCI	2008	DBLP DOI BibTeX RDF	automated user interaction, loosely-directed navigation, mobile devices, adaptive user interfaces, navigation aids, police
13	Ainhoa Llorente, Simon E. Overell, Haiming Liu 0002, Rui Hu, Adam Rae, Jianhan Zhu, Dawei Song 0001, Stefan M. Rüger	Exploiting Term Co-occurrence for Enhancing Automated Image Annotation.	CLEF	2008	DBLP DOI BibTeX RDF	statistical co-occurrence, image analysis, semantic similarity, automated image annotation
13	Thomas J. Ostrand, Elaine J. Weyuker	Progress in Automated Software Defect Prediction.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF	negative binomial model, automated tool, software fault prediction
13	Ronan J. Skehill, Sean McGrath 0001, Carlos Antonio de Ramos	Automated troubleshooting of a UMTS-WLAN test platform.	TRIDENTCOM	2008	DBLP DOI BibTeX RDF	automated troubleshooting, test platform, analysis
13	Swen Jacobs, Uwe Waldmann	Comparing Instance Generation Methods for Automated Reasoning.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	disconnection calculus, primal partial instantiation, resolution-based instance generation, theorem proving, automated reasoning
13	Tai-Yi Huang, Pin-Chuan Chou, Cheng-Han Tsai, Hsin-An Chen	Automated fault localization with statistically suspicious program states.	LCTES	2007	DBLP DOI BibTeX RDF	fault localization, automated debugging, state coverage
13	Serdar Cabuk, Chris I. Dalton, HariGovind V. Ramasamy, Matthias Schunter	Towards automated provisioning of secure virtualized networks.	CCS	2007	DBLP DOI BibTeX RDF	automated security provisioning, trusted virtual domains, network security, security policies, network virtualization
13	John R. Koza, Sameer H. Al-Sakran, Lee W. Jones, Greg Manassero	Automated synthesis of a fixed-length loaded symmetric dipole antenna whose gain exceeds that of a commercial antenna and matches the theoretical maximum.	GECCO	2007	DBLP DOI BibTeX RDF	human-competitive result, invention machine, genetic programming, automated design, antenna
13	Juan Manuel García Chamizo, Andrés Fuster Guilló, Jorge Azorín López	Simulation of Automated Visual Inspection Systems for Specular Surfaces Quality Control.	PSIVT	2007	DBLP DOI BibTeX RDF	simulation, quality control, automated visual inspection, specular surfaces
13	Philippe Pasquier, Ramon Hollands, Frank Dignum, Iyad Rahwan, Liz Sonenberg	Exploiting Hierarchical Goals in Bilateral Automated Negotiation: Empirical Study.	AMEC/TADA	2007	DBLP DOI BibTeX RDF	Interest-based negotiation, agent-based simulation, automated negotiation
13	Andrew Gilpin, Tuomas Sandholm	Better automated abstraction techniques for imperfect information games, with application to Texas Hold'em poker.	AAMAS	2007	DBLP DOI BibTeX RDF	automated abstraction, equilibrium computation, abstraction, poker, computational game theory
13	Rob Fearn, Raymond Williams, R. Mike Cameron-Jones, Julian Harrington, Jayson Semmens	Automated Intelligent Abundance Analysis of Scallop Survey Video Footage.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF	Scallop Survey Video Transects, Automated Video Annotation
13	Chun Sing Louis Tsui, John Q. Gan	Asynchronous BCI Control of a Robot Simulator with Supervised Online Training.	IDEAL	2007	DBLP DOI BibTeX RDF	asynchronous BCI, automated learning, Adaptation, brain-computer interface, online training
13	Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè	Iterative model-driven development of adaptable service-based applications.	ASE	2007	DBLP DOI BibTeX RDF	visual languages, graph transformations, service integration, live sequence charts, automated analysis
13	Wen-tsun Wu, Xiao-Shan Gao	Automated Reasoning and Equation Solving with the Characteristic Set Method.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	characteristic set method, automated reasoning, difference equation, first order theory
13	Panagiotis Manolios, Sudarshan K. Srinivasan	A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	pipelined machines, bit-level, verification, refinement, automated reasoning, ACL2
13	Lee W. Jones, Sameer H. Al-Sakran, John R. Koza	Automated synthesis of a human-competitive solution to the challenge problem of the 2002 international optical design conference by means of genetic programming and a multi-dimensional mutation operation.	GECCO	2006	DBLP DOI BibTeX RDF	human-competitive result, international optical design conference, invention machine, optical lens system, genetic programming, automated design, mutation operation
13	Joseph F. JáJá	Robust technologies for automated ingestion and long-term preservation of digital information.	DG.O	2006	DBLP DOI BibTeX RDF	automated ingestion, format registry, management of preservation processes, digital preservation, digital archiving