Search results for "automated"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	John Alan Robinson	Formal and Informal Proofs.	Automated Reasoning: Essays in Honor of Woody Bledsoe	1991	DBLP BibTeX RDF
23	Michael Gelfond, Vladimir Lifschitz, Arkady Rabinov	What are the Limitations of the Situation Calculus?	Automated Reasoning: Essays in Honor of Woody Bledsoe	1991	DBLP BibTeX RDF
23	Mark E. Stickel	PTTP and Linked Inference.	Automated Reasoning: Essays in Honor of Woody Bledsoe	1991	DBLP BibTeX RDF
23	Alan Bundy	The Use of Proof Plans for Normalization.	Automated Reasoning: Essays in Honor of Woody Bledsoe	1991	DBLP BibTeX RDF
23	James J. Lu, Lawrence J. Henschen, V. S. Subrahmanian, Newton C. A. da Costa	Reasoning in Paraconsistent Logics.	Automated Reasoning: Essays in Honor of Woody Bledsoe	1991	DBLP BibTeX RDF
23	Hans J. Bremermann, Russell W. Anderson	How the Brain Adjusts Synapses - Maybe.	Automated Reasoning: Essays in Honor of Woody Bledsoe	1991	DBLP BibTeX RDF
23	Ross A. Overbeek, Ian T. Foster	Aligning Multiple RNA Sequences.	Automated Reasoning: Essays in Honor of Woody Bledsoe	1991	DBLP BibTeX RDF
23	Young K. Nam, Lawrence J. Henschen	Compiling Recursive Functional Prolog Programs with List Structure into Procedural Languages.	Automated Reasoning: Essays in Honor of Woody Bledsoe	1991	DBLP BibTeX RDF
23	Michael M. Richter, Stefan Wess	Similarity, Uncertainty and Case-Based Reasoning in Patdex.	Automated Reasoning: Essays in Honor of Woody Bledsoe	1991	DBLP BibTeX RDF
23	Anne Olivia Boyer, Robert S. Boyer	A Biographical Sketch of W. W. Bledsoe.	Automated Reasoning: Essays in Honor of Woody Bledsoe	1991	DBLP BibTeX RDF
23	A. Michael Ballantyne	The Metatheorist: Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques, Part II.	Automated Reasoning: Essays in Honor of Woody Bledsoe	1991	DBLP BibTeX RDF
23	Peter Höfner, Georg Struth	Automated Reasoning in Kleene Algebra.	CADE	2007	DBLP DOI BibTeX RDF
22	Povilas Treigys, Gintautas Dzemyda, Valerijus Barzdziukas	Automated Positioning of Overlapping Eye Fundus Images.	ICCS (1)	2008	DBLP DOI BibTeX RDF	automated eye fundus registration, vasculature structure extraction, automated shifting, optic nerve registration, retinal image transformation, identification
22	Boaz Golany, Oded Shmueli	A quantitative foundation for defining and manipulating deals to facilitate automated e-commerce.	Electron. Commer. Res.	2007	DBLP DOI BibTeX RDF	Deal manipulation, Automated e-commerce, Automated negotiations, Goal programming
22	S. Barros, Thierry Bodhuin, A. Escudie, Jean-Pierre Queille, Jean-Francois Voidrot	Supporting impact analysis: a semi-automated technique and associated tool.	ICSM	1995	DBLP DOI BibTeX RDF	semi-automated tool, semi-automated technique, impact analysis support, potential propagation rules, predefined propagation rules, human decision, propagation engine, automatic impact propagation, user oriented features, highly interactive user interface, software maintenance, software maintenance, software tools, systems analysis, software systems, software system, system monitoring, systems software, aerospace computing, object graph, change impact, link graph
22	Avelino J. Gonzalez, Harley R. Myler, Frederic D. McKenzie, Massood Towhidnejad, Robin R. Kladke	Validation of an Automated System Model Generator.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	engineering computing, automated system model generator, engineered system, automated knowledge generator, electronic form, AKG, CAD representation, complexity, computer-aided design, knowledge based systems, knowledge acquisition, knowledge acquisition, program testing, constraint satisfaction, accuracy, digital simulation, granularity, simulation models, model based reasoning, testing process, intelligent design assistants
22	Josh L. Wilkerson, Daniel R. Tauritz	Coevolutionary automated software correction.	GECCO	2010	DBLP DOI BibTeX RDF	genetic programming, coevolution, automated debugging, repair, search-based testing
22	Hojun Jaygarl, Sunghun Kim 0001, Tao Xie 0001, Carl K. Chang	OCAT: object capture-based automated testing.	ISSTA	2010	DBLP DOI BibTeX RDF	object capturing, object generation, object mutation, automated testing
22	Susan M. Stevens, J. Chris Forsythe, Robert G. Abbott, Charles J. Gieseler	Experimental Assessment of Accuracy of Automated Knowledge Capture.	HCI (16)	2009	DBLP DOI BibTeX RDF	Naval training systems, intelligent tutoring systems, Automated assessment, simulation-based training
22	Umar Manzoor, Samia Nefti	Cognitive Agent for Automated Software Installation - CAASI.	WSKS (1)	2009	DBLP DOI BibTeX RDF	Automated Software Installer, Network Installation, Silent Installation, Multi-Agent System, Cognitive Agents
22	Nazlia Omar, Nur Asma Mohd. Razali, Saadiyah Darus	Automated Grammar Checking of Tenses for ESL Writing.	RSKT	2009	DBLP DOI BibTeX RDF	Automated essay marking, computer-based essay marking, natural language processing, heuristics
22	Klaus Wolfmaier, Rudolf Ramler, Gábor Guta, Heinz Dobler	Observable Runtime Behavior for Defects Indicated by Automated Static Analysis.	EUROCAST	2009	DBLP DOI BibTeX RDF	Automated Static Analysis, Defect Classification
22	Patrick Mäder, Orlena Gotel, Ilka Philippow	Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations.	ECMDA-FA	2009	DBLP DOI BibTeX RDF	Automated traceability maintenance, Rule-based traceability, Traceability update, Model-driven engineering, Change management
22	Reda Alhajj, Mehmet Kaya	Multi-objective genetic algorithms based automated clustering for fuzzy association rules mining.	J. Intell. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Automated clustering, CURE, Data mining, Fuzziness, Multi-objective genetic algorithms, Fuzzy association rules
22	Zhuang Yan, Simon Fong 0001, Meilin Shi	Knowledge-empowered automated negotiation system for e-Commerce.	Knowl. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Knowledge management, e-Commerce, Automated negotiation
22	Yuchul Jung, Jihee Yoo, Sung-Hyon Myaeng, Dong-Cheol Han	A Web-Based Automated System for Industry and Occupation Coding.	WISE	2008	DBLP DOI BibTeX RDF	Automated Industry and Occupation Coding System, Hand-crafted Rule, Classification, Maximum Entropy, Web-based System
22	Roy Patrick Tan, Stephen Edwards	Evaluating Automated Unit Testing in Sulu.	ICST	2008	DBLP DOI BibTeX RDF	automated unit testing, software engineering, software testing, programming languages, design by contract, test evaluation
22	Xuefeng Zhao, Chao Yun, Yuanyuan Wang, Wei Wang 0034	Applications of the Fuzzy Immune PID Control and the Genetic Algorithm in the Automated Pharmacy System.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	Automated pharmacy system, Fuzzy immune PID control, Genetic algorithm, Dynamic model, Storage allocation
22	Vikram Patankar, Rattikorn Hewett	Automated Negotiations in Web Service Procurement.	ICIW	2008	DBLP DOI BibTeX RDF	Web Service Procurement, Quality of Service, Automated Negotiation
22	Yehuda Ben-Shimol, Boaz Ben-Moshe, Yoav Ben-Yehezkel, Amit Dvir, Michael Segal 0001	Automated antenna positioning algorithms for wireless fixed-access networks.	J. Heuristics	2007	DBLP DOI BibTeX RDF	Fixed-access wireless networks, Automated antenna positioning, Rural areas, Terrain preprocessing
22	Manish Gupta 0008, Jicheng Fu, Farokh B. Bastani, Latifur Khan, I-Ling Yen	Rapid goal-oriented automated software testing using MEA-graph planning.	Softw. Qual. J.	2007	DBLP DOI BibTeX RDF	Planning graph, MEA-Graphplan, AI Planning, Automated software testing
22	Filippo Lanubile, Teresa Mallardo	Inspecting Automated Test Code: A Preliminary Study.	XP	2007	DBLP DOI BibTeX RDF	Empirical Study, Refactoring, Unit Test, Pair Programming, Automated Testing, Software Inspection
22	Bernd Brandl	Automated Modelling in Empirical Social Sciences Using a Genetic Algorithm.	EUROCAST	2007	DBLP DOI BibTeX RDF	Automated modelling, genetic algorithm, Bayesian information criterion
22	Domingo Mery, Miguel Carrasco	Automated Multiple View Inspection Based on Uncalibrated Image Sequences.	SCIA	2005	DBLP DOI BibTeX RDF	defect detection, multiple view geometry, automated visual inspection
22	Takashi Nishizaki, Ryo Ogata, Yuichi Kameda, Yoshinari Ohta, Yuichi Nakamura 0001	Video quality analysis for an automated video capturing and editing system for conversation scenes.	ICME	2005	DBLP DOI BibTeX RDF	video quality analysis, automated video capturing, editing system, multiple pan-tilt-zoom cameras, conversation state recognition, video streaming, subjective evaluation
22	Vincent Conitzer, Tuomas Sandholm	Self-interested automated mechanism design and implications for optimal combinatorial auctions.	EC	2004	DBLP DOI BibTeX RDF	automated mechanism design, combinatorial auctions, revenue maximization
22	Michael J. Kearns, Luis E. Ortiz	The Penn-Lehman Automated Trading Project.	IEEE Intell. Syst.	2003	DBLP DOI BibTeX RDF	stock market simulation, automated trading, electronic crossing network
22	Vincent Conitzer, Tuomas Sandholm	Automated mechanism design for a self-interested designer.	EC	2003	DBLP DOI BibTeX RDF	automated mechanism design, game theory
22	Chunsheng Yang, Robert Orchard, Benoit Farley, Marvin Zaluski	Automated Case Base Creation and Management.	IEA/AIE	2003	DBLP DOI BibTeX RDF	case base maintenance, automated case creation, natural language processing, case-based reasoning
22	Johan Natt och Dag, Björn Regnell, Pär Carlshamre, Michael Andersson, Joachim Karlsson	A Feasibility Study of Automated Natural Language Requirements Analysis in Market-Driven Development.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Duplicate identification, NLP, Similarity, Natural language, COTS, Automated analysis
22	John C. Grundy, Guoliang Ding	Automatic Validation of Deployed J2EE Components Using Aspects.	ASE	2002	DBLP DOI BibTeX RDF	software component validation, component characterisation, validation agents, automated testing
22	Tarek F. Abdelzaher	An Automated Profiling Subsystem for QoS-Aware Services.	IEEE Real Time Technology and Applications Symposium	2000	DBLP DOI BibTeX RDF	Automated Profiling, QoS, Web Servers
22	Ron Dolin, J. Pierre, M. Butler, R. Avedon	Practical evaluation of IR within automated classification systems.	CIKM	1999	DBLP DOI BibTeX RDF	training sets, IR evaluation, automated classification
22	Yang Li, Jinpeng Huai, Hailong Sun 0001, Ting Deng, Huipeng Guo	PASS: An Approach to Personalized Automated Service Composition.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF
21	Tao Wang, Abhik Roychoudhury	Automated path generation for software fault localization.	ASE	2005	DBLP DOI BibTeX RDF	program comprehension, automated debugging
21	Alexander Egyed, Stefan Biffl, Matthias Heindl, Paul Grünbacher	Determining the cost-quality trade-off for automated software traceability.	ASE	2005	DBLP DOI BibTeX RDF	automated trace analysis, cost-quality trade-off, experience report, value-based software engineering
21	Hassan Gomaa, Ghulam A. Farrukh	Automated Configuration of Distributed Applications from Reusable Software Architectures.	ASE	1997	DBLP DOI BibTeX RDF	reusable software architectures, automated configuration, reuse-oriented perspective, configurable distributed applications, reusable specifications, predefined component types, distributed processing, domain engineering
21	David A. Basin	An Environment For Automated Reasoning About Partial Functions.	CADE	1988	DBLP DOI BibTeX RDF	Automated program development, unsolvability, theorem proving, computability, type theory, constructivity, tactics, partial functions
21	Manuel Resinas, Pablo Fernandez 0001, Rafael Corchuelo	A Conceptual Framework for Automated Negotiation Systems.	IDEAL	2006	DBLP DOI BibTeX RDF
21	Anne M. Murray, David J. Miller 0004	Automated material handling systems: automated reticle handling: a comparison of distributed and centralized reticle storage and transport.	WSC	2003	DBLP DOI BibTeX RDF
21	Simon Colton	The HR Program for Theorem Generation.	CADE	2002	DBLP DOI BibTeX RDF
20	Volker Sorge, Andreas Meier 0002, Roy L. McCasland, Simon Colton	Automatic Construction and Verification of Isotopy Invariants.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Automated mathematics, Classification theorems, Computer algebra, Automated theorem proving, Model generation, SAT solving, Invariant generation, Isotopy
20	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
20	Ewen Denney, Bernd Fischer 0002	A generic annotation inference algorithm for the safety certification of automatically generated code.	GPCE	2006	DBLP DOI BibTeX RDF	hoare calculus, logical annotations, program verification, automated theorem proving, software certification, automated code generation
20	Wolfgang A. Halang, Soon-Key Jung, Bernd J. Krämer	Enforcing management policies in distributed systems.	FTDCS	1995	DBLP DOI BibTeX RDF	management policies, formally definable management policies, platform independent management architecture, clerical management tasks, object-oriented class structure, rule execution, automated management tool invocation, automated policy management, object-oriented programming, resource allocation, open systems, processor scheduling, operating systems (computers), network operating systems, computer network management, production rules, open distributed systems, distributed systems management, middleware platforms
20	Don S. Batory	On the importance and challenges of FOSD.	FOSD	2009	DBLP DOI BibTeX RDF	science of automated design, verification, testing, features, feature interactions, feature-oriented software development
20	Yinon Oshrat, Raz Lin, Sarit Kraus	Facing the challenge of human-agent negotiations via effective general opponent modeling.	AAMAS (1)	2009	DBLP BibTeX RDF	automated bilateral negotiation, opponent modeling
20	Shannon Allen, Eric C. Parent, Maziyar Khorasani, Doug L. Hill, Edmond Lou, V. James Raso	Validity and Reliability of Active Shape Models for the Estimation of Cobb Angle in Patients with Adolescent Idiopathic Scoliosis.	J. Digit. Imaging	2008	DBLP DOI BibTeX RDF	Cobb angle, scoliosis, reliability, Active shape models, automated measures
20	Richard Atterer	Model-based automatic usability validation: a tool concept for improving web-based UIs.	NordiCHI	2008	DBLP DOI BibTeX RDF	automated validation, usability model, accessibility, web engineering, web usability
20	Yunhyong Kim, Seamus Ross	Searching for Ground Truth: A Stepping Stone in Automating Genre Classification.	DELOS	2007	DBLP DOI BibTeX RDF	automated metadata extraction, digital library, metadata, information extraction, data management, genre classification
20	Sheila A. McIlraith	Invited talk: towards declarative programming for web services.	PEPM	2004	DBLP DOI BibTeX RDF	ontologies, web services, semantic web, OWL, web service composition, automated reasoning
20	Peep Küngas, Mihhail Matskin	Web Services Analysis: Making Use of Web Service Composition and Annotation.	ASWC	2006	DBLP DOI BibTeX RDF
20	Koen Claessen, Ann Lillieström	Automated Inference of Finite Unsatisfiability.	CADE	2009	DBLP DOI BibTeX RDF
20	Jean-François Couchot, Stéphane Lescuyer	Handling Polymorphism in Automated Deduction.	CADE	2007	DBLP DOI BibTeX RDF
20	David A. Randell, Anthony G. Cohn 0001, Zhan Cui	Computing Transivity Tables: A Challenge For Automated Theorem Provers.	CADE	1992	DBLP DOI BibTeX RDF
19	Abraham Othman, Tuomas Sandholm	Automated market-making in the large: the gates hillman prediction market.	EC	2010	DBLP DOI BibTeX RDF	automated market making, data analysis, experimental studies, prediction markets, elicitation
19	Anna Schieben, Matthias Heesen, Julian Schindler, Johann Kelsch, Frank Flemisch	The theater-system technique: agile designing and testing of system behavior and interaction, applied to highly automated vehicles.	AutomotiveUI	2009	DBLP DOI BibTeX RDF	Wizard-of-Oz technique, balanced design, highly automated vehicles, theater-system technique, user-centered design, design process, haptic interaction
19	Béla Genge, Piroska Haller	Middleware for Automated Implementation of Security Protocols.	ESWC	2009	DBLP DOI BibTeX RDF	automated execution, ontologies, Web services, Middleware, security protocols
19	YongLiang Xu, Malcolm Yoke Hean Low, Chwee Seng Choo	Enhancing automated red teaming with evolvable simulation.	GEC Summit	2009	DBLP DOI BibTeX RDF	automated red teaming, evolvable simulation, particle swarm optimization, experimentation, agent-based simulation, operations research, simulation and modelling
19	Jae-Hee Lim, Suk-Hoon Song, Tae-Yong Kuc, Hong-Seong Park, Hong-Seak Kim	A Hierarchical Test Model and Automated Test Framework for RTC.	FGIT	2009	DBLP DOI BibTeX RDF	Robot Software Component Testing, Robot Hardware Testing, Hierarchical Test Model, Automated Testing System, Robotics
19	Martin Dimitrov, Huiyang Zhou	Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging.	ASPLOS	2009	DBLP DOI BibTeX RDF	automated debugging, architectural support
19	Cha Zhang, Yong Rui, Jim Crawford, Li-wei He	An automated end-to-end lecture capture and broadcasting system.	ACM Trans. Multim. Comput. Commun. Appl.	2008	DBLP DOI BibTeX RDF	Automated lecture capture, lecture broadcasting, live/on-demand broadcasting
19	Luis Pizarro, Domingo Mery, Rafael Delpiano, Miguel Carrasco	Robust automated multiple view inspection.	Pattern Anal. Appl.	2008	DBLP DOI BibTeX RDF	Sequence tracking, Radioscopic imaging system, Robustness, Image matching, X-ray imaging, Automated visual inspection, Uncalibrated images
19	Gergely Tóth, Gábor Koszegi, Zoltán Hornák	Case study: automated security testing on the trusted computing platform.	EUROSEC	2008	DBLP DOI BibTeX RDF	Flinder, OpenTC, automated security testing, trusted computing
19	Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade 0001, Yassine Lakhnech	Towards automated proofs for asymmetric encryption schemes in the random oracle model.	CCS	2008	DBLP DOI BibTeX RDF	asymmetric encryption, automated proofs, provable security, hoare logics, random oracle model
19	Marcelo P. Silva, Jean R. Damasceno, Flávio Luiz Seixas, Andrea Silveira de Souza, Débora C. Muchaluat-Saade	Automated segmentation and volumetric analysis of brain components on MR imaging.	SAC	2008	DBLP DOI BibTeX RDF	VBM, anatomical atlas, automated segmentation, brain components, volumetric analysis, magnetic resonance
19	Li-Qing Qiu, Bin Pang	Analysis of Automated Evaluation for Multi-document Summarization Using Content-Based Similarity.	ICDS	2008	DBLP DOI BibTeX RDF	automated evaluation, content -based similarity, multi-document summarization
19	Xiang Fu 0001, Boris Peltsverger, Kai Qian, Lixin Tao, Jigang Liu	APOGEE: automated project grading and instant feedback system for web based computing.	SIGCSE	2008	DBLP DOI BibTeX RDF	web application, test case generation, automated grading
19	Brian A. Canada, Georgia K. Thomas, Keith C. Cheng, James Ze Wang, Yanxi Liu 0001	Towards efficient automated characterization of irregular histology images via transformation to frieze-like patterns.	CIVR	2008	DBLP DOI BibTeX RDF	automated histology, computational symmetry, frieze patterns, zebrafish, texture analysis, dimension reduction
19	Sebastian Feuerstack, Marco Blumendorf, Maximilian Kern, Michael Kruppa, Michael Quade, Mathias Runge, Sahin Albayrak	Automated Usability Evaluation during Model-Based Interactive System Development.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	model-based user interface development, automated usability evaluation
19	Tejaswini Narayanan, Deborah L. McGuinness	Towards Leveraging Inference Web to Support Intuitive Explanations in Recommender Systems for Automated Career Counseling.	ACHI	2008	DBLP DOI BibTeX RDF	Explanation Generation, Automated Career Counseling, Semantic Web User Interfaces, Recommender Systems
19	Michael Backes 0001, Matteo Maffei, Dominique Unruh	Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.	SP	2008	DBLP DOI BibTeX RDF	zero-knowledge, Language-based security, automated verification, applied pi-calculus
19	Jane Cleland-Huang, Brian Berenbach, Stephen Clark, Raffaella Settimi, Eli Romanova	Best Practices for Automated Traceability.	Computer	2007	DBLP DOI BibTeX RDF	automated traceability
19	Roy Stripling, Joseph T. Coyne, Anna Cole, Daniel Afergan, Raymond L. Barnes, Kelly A. Rossi, Leah Reeves, Dylan Schmorrow	Automated SAF Adaptation Tool (ASAT).	HCI (16)	2007	DBLP DOI BibTeX RDF	semi-automated forces, SAF, adaptation, real-time, virtual environment, training, cognitive state
19	S. Dabas, Ning Dong 0002, Jaijeet S. Roychowdhury	Automated Extraction of Accurate Delay/Timing Macromodels of Digital Gates and Latches using Trajectory Piecewise Methods.	ASP-DAC	2007	DBLP DOI BibTeX RDF	gate delay modelling, accurate delay/timing macromodels, digital gates, trajectory-piecewise automated nonlinear macromodelling methods, mixed-signal/RF domain, SPICE-level netlists, transparent retargetability, NAND gates, NOR gates, sequential latch, latches, full adder, current-source models, XOR gates
19	Pingju Ge, Qiulan Wu, Yongxiang Sun	The Design of Fruit Automated Sorting System.	CCTA	2007	DBLP DOI BibTeX RDF	the fruit, automated sorting system, the digital image processing, Pattern Recognition, automation
19	Zhuang Yan, Francis Yan, Simon Fong 0001	Incorporating Knowledge into e-Commerce Automated Negotiation.	DEXA Workshops	2007	DBLP DOI BibTeX RDF	Agents, Knowledge, Automated Negotiation
19	Antonia Azzini, Andrea Tettamanzi	Automated trading on financial instruments with evolved neural networks.	GECCO	2007	DBLP DOI BibTeX RDF	automated financial trading, neural networks, evolutionary algorithms
19	Yan He 0001, Miaoliang Zhu	A complete and efficient strategy based on petri net in automated trust negotiation.	Infoscale	2007	DBLP DOI BibTeX RDF	negotiation petri net, automated trust negotiation, negotiation strategy
19	Panayiotis Korfiatis, Spyros G. Skiadopoulos, Philipos Sakellaropoulos, Christina Kalogeropoulou, Lena Costaridou	Automated 3D Segmentation of Lung Fields in Thin Slice CT Exploiting Wavelet Preprocessing.	CAIP	2007	DBLP DOI BibTeX RDF	lung volume segmentation, automated 3D thresholding, adaptive wavelet edge enhancement, computerized CT lung analysis
19	Henriette Bier, Adriaan de Jong, Gijs van der Hoorn, Niels Brouwers, Marijn Heule, Hans van Maaren	Prototypes for Automated Architectural 3D-Layout.	VSMM	2007	DBLP DOI BibTeX RDF	3D-Modeling and Automated Spatial Layout, Euclidean and Non-Euclidean Ge ometries, Satisfiability
19	Elliot Barlas, Tevfik Bultan	Netstub: a framework for verification of distributed java applications.	ASE	2007	DBLP DOI BibTeX RDF	testing and verification of, model checking, automated verification
19	Masood Mehmood Khan, Michael Ingleby, Robert D. Ward	Automated Facial Expression Classification and affect interpretation using infrared measurement of facial skin temperature variations.	ACM Trans. Auton. Adapt. Syst.	2006	DBLP DOI BibTeX RDF	Automated affect recognition, infrared thermal imaging, socially intelligent machines, facial expression classification
19	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard	Automated Boundary Test Generation from JML Specifications.	FM	2006	DBLP DOI BibTeX RDF	boundary values, Test generation, automated, model-based, Java Modeling Language
19	Jicheng Fu, Farokh B. Bastani, I-Ling Yen	Automated AI Planning and Code Pattern Based Code Synthesis.	ICTAI	2006	DBLP DOI BibTeX RDF	Automated code synthesis, Graphplan, AI planning, Embedded real-time systems, Code patterns
19	Maria José Pereira Dantas, Leonardo da C. Brito, Paulo Henrique Portela de Carvalho	Multi-objective Memetic Algorithm Applied to the Automated Synthesis of Analog Circuits.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF	multi-objective memetic algorithm, 2D representation, analog circuit, building-blocks, automated synthesis
19	Byung Joo Park, Hyung Rim Choi, Hae Kyoung Kwon, Moo Hong Kang	Simulation Analysis on Effective Operation of Handling Equipments in Automated Container Terminal.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	Automated Container Terminal, Integrated Operation
19	Robert C. Martin	The Test Bus Imperative: Architectures That Support Automated Acceptance Testing.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	automated acceptance testing, test bus
19	Jen-Hsiang Chen, Kuo-Ming Chao, Nick Godwin, Von-Wun Soo	Combining Cooperative and Non-Cooperative Automated Negotiations.	Inf. Syst. Frontiers	2005	DBLP DOI BibTeX RDF	co-evolutionary, game theory, automated negotiation
19	Cha Zhang, Jim Crawford, Yong Rui, Li-wei He	An automated end-to-end lecture capturing and broadcasting system.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	automated lecture capturing, live/on-demand broadcasting