Search results for "automated"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Martin C. Rinard	Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival.	CADE	2009	DBLP DOI BibTeX RDF
24	Douglas R. Smith	Toward automated software development.	ASE	2007	DBLP DOI BibTeX RDF	program synthesis
23	Michihiro Matsumoto, Kokichi Futatsugi	The support tool for highly reliable component-based software development.	APSEC	2000	DBLP DOI BibTeX RDF	reliable component-based software development support tool, output reliability, automated refinement verification, automated connector generation, tree architecture, projection-style behavioral specification, refined specification, component combination, Java, software architecture, formal specification, formal verification, software tools, software reliability, requirements specification, subroutines, distributed object management, JavaBeans, development systems, component-based software architecture
23	Victor L. Winter, James M. Boyle	Proving refinement transformations for deriving high-assurance software.	HASE	1996	DBLP DOI BibTeX RDF	refinement transformation proving, high-assurance software engineering, refinement-based approach, TAMPR transformation system, automated refinement, semantic framework, automated reasoning system, software engineering, program transformations, program verification, stepwise refinement, high-level specification
23	Dewayne E. Perry	Practical Issues in Process Reuse.	ISPW	1996	DBLP DOI BibTeX RDF	reusable software process element connection, reusable software process component connection, software process reuse, automated execution support, simulation, software reusability, process modeling language, automated analysis, process technology, process-centered environments, formal representation
23	Pam Binns, Steve Vestal	Architecture specifications for complex real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	complex real-time dependable systems, automated analytic modeling, automated system implementation, real-time systems, formal specification, program verification, specification languages, specification languages, formal models, program correctness, architecture specifications
23	Rajiv D. Banker, Robert J. Kauffman, Charles Wright, Dani Zweig	Automating Output Size and Reuse Metrics in a Repository-Based Computer-Aided Software Engineering (CASE) Environment.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	output size, reuse metrics, repository-based computer-aided software engineering environment, software development productivity, software cost control, integrated CASE, conceptual basis, automated analyzers, software reuse measurement, object-based CASE, object repository, reuse leverage, reuse classification, managerial requirements, state-of-the-art automated software metrics analyzers, investment banking industry application, object-oriented programming, software tools, software metrics, software reusability, function point, bank data processing, CASE environment
23	Mustafa Misir	Hyper-heuristics: Autonomous Problem Solvers.	Automated Design of Machine Learning and Search Algorithms	2021	DBLP DOI BibTeX RDF
23	Christopher Stone, Emma Hart, Ben Paechter	A Cross-Domain Method for Generation of Constructive and Perturbative Heuristics.	Automated Design of Machine Learning and Search Algorithms	2021	DBLP DOI BibTeX RDF
23	Mauro Birattari, Antoine Ligot, Gianpiero Francesca	AutoMoDe: A Modular Approach to the Automatic Off-Line Design and Fine-Tuning of Control Software for Robot Swarms.	Automated Design of Machine Learning and Search Algorithms	2021	DBLP DOI BibTeX RDF
23	Pietro S. Oliveto	Rigorous Performance Analysis of Hyper-heuristics.	Automated Design of Machine Learning and Search Algorithms	2021	DBLP DOI BibTeX RDF
23	Yi Mei 0001, Mazhar Ansari Ardeh, Mengjie Zhang 0001	Knowledge Transfer in Genetic Programming Hyper-heuristics.	Automated Design of Machine Learning and Search Algorithms	2021	DBLP DOI BibTeX RDF
23	Hangyu Zhu, Yaochu Jin	Toward Real-Time Federated Evolutionary Neural Architecture Search.	Automated Design of Machine Learning and Search Algorithms	2021	DBLP DOI BibTeX RDF
23	Amr Ismail, Mostafa Herajy, Monika Heiner	A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
23	Thakur Neupane, Zhen Zhang 0006, Curtis Madsen, Hao Zheng 0001, Chris J. Myers	Approximation Techniques for Stochastic Analysis of Biological Systems.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
23	Dragan Bosnacki, Natal A. W. van Riel, Mitko Veta	Deep Learning with Convolutional Neural Networks for Histopathology Image Analysis.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
23	Ludovica Luisa Vissat, Jane Hillston, Anna Williams	Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
23	Maria Pires Pacheco, Tamara Bintener, Thomas Sauter	Towards the Integration of Metabolic Network Modelling and Machine Learning for the Routine Analysis of High-Throughput Patient Data.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
23	Alena Simalatsar, Monia Guidi, Pierre Roduit, Thierry Buclin	Methods for Personalised Delivery Rate Computation for IV Administered Anesthetic Propofol.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
23	Thao Dang 0001, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca	Set-Based Analysis for Biological Modeling.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
23	Fusun Yaman, Aaron Adler, Jacob Beal	Opportunities and Challenges in Applying Artificial Intelligence to Bioengineering.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
23	Satya Swarup Samal, Jeyashree Krishnan, Ali Hadizadeh Esfahani, Christoph Lüders, Andreas Weber 0004, Ovidiu Radulescu	Metastable Regimes and Tipping Points of Biochemical Networks with Potential Applications in Precision Medicine.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
23	Taisa Kushner, B. Wayne Bequette, Faye Cameron, Gregory P. Forlenza, David M. Maahs, Sriram Sankaranarayanan 0001	Models, Devices, Properties, and Verification of Artificial Pancreas Systems.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
23	Misbah Razzaq, Lokmane Chebouba, Pierre Le Jeune, Hanen Mhamdi, Carito Guziolowski, Jérémie Bourdon	Logic and Linear Programs to Understand Cancer Response.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
23	Juliana Küster Filipe Bowles, Marco B. Caminati	Balancing Prescriptions with Constraint Solvers.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
23	Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek	Model Checking Approach to the Analysis of Biological Systems.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
23	Matthew A. Clarke, Steven Woodhouse, Nir Piterman, Benjamin A. Hall, Jasmin Fisher	Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
23	Bing Liu 0013, Benjamin M. Gyori, P. S. Thiagarajan	Statistical Model Checking-Based Analysis of Biological Networks.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
23	Cinzia Bernardeschi, Andrea Domenici, Paolo Masci 0001	Logic-Based Formalization of System Requirements for Integrated Clinical Environments.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
23	Lars Kotthoff, Chris Thornton, Holger H. Hoos, Frank Hutter, Kevin Leyton-Brown	Auto-WEKA: Automatic Model Selection and Hyperparameter Optimization in WEKA.	Automated Machine Learning	2019	DBLP DOI BibTeX RDF
23	Matthias Feurer, Frank Hutter	Hyperparameter Optimization.	Automated Machine Learning	2019	DBLP DOI BibTeX RDF
23	Randal S. Olson, Jason H. Moore	TPOT: A Tree-Based Pipeline Optimization Tool for Automating Machine Learning.	Automated Machine Learning	2019	DBLP DOI BibTeX RDF
23	Joaquin Vanschoren	Meta-Learning.	Automated Machine Learning	2019	DBLP DOI BibTeX RDF
23	Brent Komer, James Bergstra, Chris Eliasmith	Hyperopt-Sklearn.	Automated Machine Learning	2019	DBLP DOI BibTeX RDF
23	Isabelle Guyon, Lisheng Sun-Hosoya, Marc Boullé, Hugo Jair Escalante, Sergio Escalera, Zhengying Liu, Damir Jajetic, Bisakha Ray, Mehreen Saeed, Michèle Sebag, Alexander R. Statnikov, Wei-Wei Tu, Evelyne Viegas	Analysis of the AutoML Challenge Series 2015-2018.	Automated Machine Learning	2019	DBLP DOI BibTeX RDF
23	Hector Mendoza, Aaron Klein, Matthias Feurer, Jost Tobias Springenberg, Matthias Urban, Michael Burkart, Maximilian Dippel, Marius Lindauer, Frank Hutter	Towards Automatically-Tuned Deep Neural Networks.	Automated Machine Learning	2019	DBLP DOI BibTeX RDF
23	Thomas Elsken, Jan Hendrik Metzen, Frank Hutter	Neural Architecture Search.	Automated Machine Learning	2019	DBLP DOI BibTeX RDF
23	Christian Steinruecken, Emma Smith, David Janz, James Robert Lloyd, Zoubin Ghahramani	The Automatic Statistician.	Automated Machine Learning	2019	DBLP DOI BibTeX RDF
23	Katsuhide Fujita, Takayuki Ito 0001, Minjie Zhang, Valentin Robu (eds.)	Next Frontier in Agent-Based Complex Automated Negotiation	Next Frontier in Agent-Based Complex Automated Negotiation	2015	DBLP DOI BibTeX RDF
23		A Negotiation Method for Task Allocation with Time Constraints in Open Grid Environments.	Next Frontier in Agent-Based Complex Automated Negotiation	2015	DBLP DOI BibTeX RDF
23	Valeriia Haberland, Simon Miles, Michael Luck	Adjustable Fuzzy Inference for Adaptive Grid Resource Negotiation.	Next Frontier in Agent-Based Complex Automated Negotiation	2015	DBLP DOI BibTeX RDF
23	Keisuke Hara, Takayuki Ito 0001	Effects of GA Based Mediation Protocol for Utilities that Change Over Time.	Next Frontier in Agent-Based Complex Automated Negotiation	2015	DBLP DOI BibTeX RDF
23	Yoshinori Tsuruhashi, Naoki Fukuta	Toward a Framework for Implementing and Analyzing Meta-strategies on Simultaneous Negotiations.	Next Frontier in Agent-Based Complex Automated Negotiation	2015	DBLP DOI BibTeX RDF
23	Inon Zuckerman, Erel Segal-Halevi, Avi Rosenfeld, Sarit Kraus	First Steps in Chat-Based Negotiating Agents.	Next Frontier in Agent-Based Complex Automated Negotiation	2015	DBLP DOI BibTeX RDF
23	Vincent J. Koeman, Kees Boon, Joris Z. van den Oever, Madalin Dumitru-Guzu, Laurentiu Catalin Stanculescu	The Fawkes Agent - the ANAC 2013 Negotiation Contest Winner.	Next Frontier in Agent-Based Complex Automated Negotiation	2015	DBLP DOI BibTeX RDF
23	Fenghui Ren, Minjie Zhang, Quan Bai	A Dynamic, Optimal Approach for Multi-Issue Negotiation Under Time Constraints.	Novel Insights in Agent-based Complex Automated Negotiation	2014	DBLP DOI BibTeX RDF
23	Khalid Mansour, Ryszard Kowalczyk	On Dynamic Negotiation Strategy for Concurrent Negotiation over Distinct Objects.	Novel Insights in Agent-based Complex Automated Negotiation	2014	DBLP DOI BibTeX RDF
23	Alexander Dirkzwager, Mark Hendrikx	An Adaptive Negotiation Strategy for Real-Time Bilateral Negotiations.	Novel Insights in Agent-based Complex Automated Negotiation	2014	DBLP DOI BibTeX RDF
23	Reyhan Aydogan, Koen V. Hindriks, Catholijn M. Jonker	Multilateral Mediated Negotiation Protocols with Feedback.	Novel Insights in Agent-based Complex Automated Negotiation	2014	DBLP DOI BibTeX RDF
23	Enrique de la Hoz, Miguel A. López-Carmona, Mark Klein, Ivan Marsá-Maestre	Alternative Social Welfare Definitions for Multiparty Negotiation Protocols.	Novel Insights in Agent-based Complex Automated Negotiation	2014	DBLP DOI BibTeX RDF
23	Jianye Hao, Ho-fung Leung	CUHKAgent: An Adaptive Negotiation Strategy for Bilateral Negotiations over Multiple Items.	Novel Insights in Agent-based Complex Automated Negotiation	2014	DBLP DOI BibTeX RDF
23	Siqi Chen 0001, Gerhard Weiss 0001	OMAC: A Discrete Wavelet Transformation Based Negotiation Agent.	Novel Insights in Agent-based Complex Automated Negotiation	2014	DBLP DOI BibTeX RDF
23	Tim Baarslag, Koen V. Hindriks, Mark Hendrikx, Alexander Dirkzwager, Catholijn M. Jonker	Decoupling Negotiating Agents to Explore the Space of Negotiation Strategies.	Novel Insights in Agent-based Complex Automated Negotiation	2014	DBLP DOI BibTeX RDF
23	Víctor Sánchez-Anguix, Reyhan Aydogan, Vicente Julián, Catholijn M. Jonker	Intra-Team Strategies for Teams Negotiating Against Competitor, Matchers, and Conceders.	Novel Insights in Agent-based Complex Automated Negotiation	2014	DBLP DOI BibTeX RDF
23	Takanobu Otsuka, Takuya Yoshimura, Takayuki Ito 0001	Evaluation of the Reputation Network Using Realistic Distance Between Facebook Data.	Novel Insights in Agent-based Complex Automated Negotiation	2014	DBLP DOI BibTeX RDF
23	Litan Ilany, Ya'akov (Kobi) Gal	The Simple-Meta Agent.	Novel Insights in Agent-based Complex Automated Negotiation	2014	DBLP DOI BibTeX RDF
23	Raiye Hailu, Takayuki Ito 0001	Reducing the Complexity of Negotiations Over Interdependent Issues.	Novel Insights in Agent-based Complex Automated Negotiation	2014	DBLP DOI BibTeX RDF
23	Tetsuo Ida, Jacques D. Fleuriot (eds.)	Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers	Automated Deduction in Geometry	2013	DBLP DOI BibTeX RDF
23	Maria Paola Bonacina, Mark E. Stickel (eds.)	Automated Reasoning and Mathematics - Essays in Memory of William W. McCune	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
23	Jeffrey H. Kingston	Educational Timetabling.	Automated Scheduling and Planning	2013	DBLP DOI BibTeX RDF
23	Jason A. D. Atkin	Airport Airside Optimisation Problems.	Automated Scheduling and Planning	2013	DBLP DOI BibTeX RDF
23	Su Nguyen, Mengjie Zhang 0001, Mark Johnston, Kay Chen Tan	Dynamic Multi-objective Job Shop Scheduling: A Genetic Programming Approach.	Automated Scheduling and Planning	2013	DBLP DOI BibTeX RDF
23	Graham Kendall, Stephan Westphal	Sports Scheduling: Minimizing Travel for English Football Supporters.	Automated Scheduling and Planning	2013	DBLP DOI BibTeX RDF
23	Dobrila Petrovic, Elkin Castro, Sanja Petrovic, Truword Kapamara	Radiotherapy Scheduling.	Automated Scheduling and Planning	2013	DBLP DOI BibTeX RDF
23	María Arsuaga-Ríos, Miguel A. Vega-Rodríguez	Multi-objective Grid Scheduling.	Automated Scheduling and Planning	2013	DBLP DOI BibTeX RDF
23	Bahriye Akay, Xin Yao 0001	Recent Advances in Evolutionary Algorithms for Job Shop Scheduling.	Automated Scheduling and Planning	2013	DBLP DOI BibTeX RDF
23	Pieter Smet, Patrick De Causmaecker, Burak Bilgin, Greet Vanden Berghe	Nurse Rostering: A Complex Example of Personnel Scheduling with Perspectives.	Automated Scheduling and Planning	2013	DBLP DOI BibTeX RDF
23	Michalis Mavrovouniotis, Shengxiang Yang	Dynamic Vehicle Routing: A Memetic Ant Colony Optimization Approach.	Automated Scheduling and Planning	2013	DBLP DOI BibTeX RDF
23	Gürhan Küçük, Isa Ahmet Güney, Dmitry Ponomarev 0001	Instruction Scheduling in Microprocessors.	Automated Scheduling and Planning	2013	DBLP DOI BibTeX RDF
23	Chao Yu 0004, Fenghui Ren, Minjie Zhang	An Adaptive Bilateral Negotiation Model Based on Bayesian Learning.	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
23	Reyhan Aydogan, Tim Baarslag, Koen V. Hindriks, Catholijn M. Jonker, Pinar Yolum	Heuristic-Based Approaches for CP-Nets in Negotiation.	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
23	Radmila Fishel, Maya Bercovitch, Ya'akov (Kobi) Gal	BRAM Agent.	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
23	Raiye Hailu, Takayuki Ito 0001	Efficient Deal Identification for the Constraints Based Utility Space Model.	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
23	Liviu Dan Serban, Cristina-Maria Stefanache, Gheorghe Cosmin Silaghi, Cristian Marius Litan	A Qualitative Ascending Protocol for Multi-issue One-to-Many Negotiations.	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
23	Rafik Hadfi, Takayuki Ito 0001	Agreement among Agents Based on Decisional Structures and Its Application to Group Formation.	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
23	Katsuhide Fujita, Takayuki Ito 0001, Mark Klein	The Effect of Grouping Issues in Multiple Interdependent Issues Negotiation between Exaggerator Agents.	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
23	Paulo Maio, Nuno Silva 0001, José Cardoso	Iterative, Incremental and Evolving EAF-Based Negotiation Process.	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
23	Enrique de la Hoz, Miguel A. López-Carmona, Mark Klein, Ivan Marsá-Maestre	Consortium Formation Using a Consensus Policy Based Negotiation Framework.	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
23	A. S. Y. Dirkzwager, Mark Hendrikx, J. R. De Ruiter	TheNegotiator: A Dynamic Strategy for Bilateral Negotiations with Time-Based Discounts.	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
23	Thijs van Krimpen, Daphne Looije, Siamak Hajizadeh	HardHeaded.	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
23	Asaf Frieder, Gal Miller	Value Model Agent: A Novel Preference Profiler for Negotiation with Agents.	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
23	Tim Baarslag, Koen V. Hindriks, Catholijn M. Jonker	A Tit for Tat Negotiation Strategy for Real-Time Bilateral Negotiations.	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
23	Colin R. Williams, Valentin Robu, Enrico H. Gerding, Nicholas R. Jennings	IAMhaggler2011: A Gaussian Process Regression Based Negotiation Agent.	Complex Automated Negotiations	2013	DBLP DOI BibTeX RDF
23	Rob Arthan, Paulo Oliva	(Dual) Hoops Have Unique Halving.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
23	Thomas Hillenbrand, Christoph Weidenbach	Superposition for Bounded Domains.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
23	Branden Fitelson	Gibbard's Collapse Theorem for the Indicative Conditional: An Axiomatic Approach.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
23	Eric Ens, Ranganathan Padmanabhan	Group Embedding of the Projective Plane PG(2, 3).	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
23	Larry Wos	The Legacy of a Great Researcher.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
23	Zachary Ernst, Seth Kurtenbach	Toward a Procedure for Data Mining Proofs.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
23	Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, ThanhVu Nguyen	Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
23	Leonardo Mendonça de Moura, Grant Olney Passmore	The Strategy Challenge in SMT Solving.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
23	Stephan Schulz 0001	Simple and Efficient Clause Subsumption with Feature Vector Indexing.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
23	Ranganathan Padmanabhan, Robert Veroff	A Geometric Procedure with Prover9.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
23	Hantao Zhang 0001, Jian Zhang 0001	MACE4 and SEM: A Comparison of Finite Model Generators.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
23	Josef Urban, Jirí Vyskocil	Theorem Proving in Large Formal Mathematics as an Emerging AI Field.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
23	Niels van Galen Last	Agent Smith: Opponent Model Estimation in Bilateral Multi-issue Negotiation.	New Trends in Agent-Based Complex Automated Negotiations	2012	DBLP DOI BibTeX RDF
23	Fenghui Ren, Minjie Zhang, John Fulcher	Bilateral Single-Issue Negotiation Model Considering Nonlinear Utility and Time Constraint.	New Trends in Agent-Based Complex Automated Negotiations	2012	DBLP DOI BibTeX RDF
23	Colin R. Williams, Valentin Robu, Enrico H. Gerding, Nicholas R. Jennings	IAMhaggler: A Negotiation Agent for Complex Environments.	New Trends in Agent-Based Complex Automated Negotiations	2012	DBLP DOI BibTeX RDF
23	Reyhan Aydogan, Pinar Yolum	The Effect of Preference Representation on Learning Preferences in Negotiation.	New Trends in Agent-Based Complex Automated Negotiations	2012	DBLP DOI BibTeX RDF
23	Satoshi Takahashi, Tokuro Matsuo	A Coalition Structure-based Decision Method in B2B E-Commerce Model with Multiple-Items.	New Trends in Agent-Based Complex Automated Negotiations	2012	DBLP DOI BibTeX RDF