Search results for "automated"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Arnaud Jasselette, Marc Keita, Monique Noirhomme-Fraiture, Frédéric Randolet, Jean Vanderdonckt, Christian Van Brussel, Donatien Grolaux	Automated Repair Tool For Usability And Accessibility Of Web Sites.	CADUI	2006	DBLP DOI BibTeX RDF	Automated repair tool, Accessibility, Usability engineering, Destine
13	Christos Katsanos, Nikolaos K. Tselios, Nikolaos M. Avouris	InfoScent evaluator: a semi-automated tool to evaluate semantic appropriateness of hyperlinks in a web site.	OZCHI	2006	DBLP DOI BibTeX RDF	LSA index, proximal cue, semi-automated tools, web usability evaluation, information foraging theory
13	Song Peng, David Fang, John Teifel, Rajit Manohar	Automated synthesis for asynchronous FPGAs.	FPGA	2005	DBLP DOI BibTeX RDF	asychronous circuits, programmable logic, automated synthesis
13	Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers	Automated soundness proofs for dataflow analyses and transformations via local rules.	POPL	2005	DBLP DOI BibTeX RDF	automated correctness proofs, compiler optimization
13	Hyung Rim Choi, Hyun Soo Kim, Soongoo Hong, Young Jae Park, Young Sung Park, Moo Hong Kang	Implementation of framework for developing multi-agent based automated negotiation systems.	ICEC	2005	DBLP DOI BibTeX RDF	automated negotiation system, multi-agent
13	Scott Buffett, Bruce Spencer	Learning opponents' preferences in multi-object automated negotiation.	ICEC	2005	DBLP DOI BibTeX RDF	multi-issue, utility, automated negotiation, preference elicitation, Bayesian classification
13	John R. Koza, Sameer H. Al-Sakran, Lee W. Jones	Automated re-invention of six patented optical lens systems using genetic programming.	GECCO	2005	DBLP DOI BibTeX RDF	human-competitive results, invention machine, optical lens system, genetic programming, patents, automated design
13	Andrea D'Ambrogio	A model transformation framework for the automated building of performance models from UML models.	WOSP	2005	DBLP DOI BibTeX RDF	automated model building, UML, MDA, model transformation, software performance, LQN
13	Bernhard Peischl, Franz Wotawa	Error traces in model-based debugging of hardware description languages.	AADEBUG	2005	DBLP DOI BibTeX RDF	conditional dependency, error trace, potential influence, fault localization, automated debugging, software debugging, source-level debugging
13	Daniel Hoffman, Kevin Yoo	Blowtorch: a framework for firewall test automation.	ASE	2005	DBLP DOI BibTeX RDF	network firewall, production grammar, automated testing, covering array, capture/replay
13	Neelam Gupta, Haifeng He, Xiangyu Zhang 0001, Rajiv Gupta 0001	Locating faulty code using failure-inducing chops.	ASE	2005	DBLP DOI BibTeX RDF	backward dynamic, failure-inducing input, forward dynamic program slicing, program slicing, automated debugging
13	James A. Jones, Mary Jean Harrold	Empirical evaluation of the tarantula automatic fault-localization technique.	ASE	2005	DBLP DOI BibTeX RDF	empirical study, program analysis, fault localization, automated debugging
13	SunJung Kim, Elisabeth André	A generate and sense approach to automated music composition.	IUI	2004	DBLP DOI BibTeX RDF	automated music composition, affective user interfaces
13	Alan H. Karp, Ren Wu, Kay-Yut Chen, Alex Zhang	A game tree strategy for automated negotiation.	EC	2004	DBLP DOI BibTeX RDF	automated negotiation
13	Mats Per Erik Heimdahl, George Devaraj	Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing.	ASE	2004	DBLP DOI BibTeX RDF	test reduction, fault finding, specification-based testing, automated test generation, model checkers
13	Young Jae Park, Hyung Rim Choi, Hyun Soo Kim	Automated negotiation for order transaction of injection mold manufacturer.	ICEC	2003	DBLP DOI BibTeX RDF	and electronic commerce, intelligent agent, automated negotiation
13	Vincent Conitzer, Tuomas Sandholm	Automated mechanism design: complexity results stemming from the single-agent setting.	ICEC	2003	DBLP DOI BibTeX RDF	automated mechanism design, game theory
13	Andrew Strelzoff, Linda R. Petzold	Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications.	ASE	2003	DBLP DOI BibTeX RDF	user interface requirements, reverse engineering, scientific computing, automated software engineering, XML technology
13	David A. Basin, Harald Ganzinger	Automated complexity analysis based on ordered resolution.	J. ACM	2001	DBLP DOI BibTeX RDF	ordered resolution, automated theorem proving, complexity analysis, first-order theories
13	Atif M. Memon, Martha E. Pollack, Mary Lou Soffa	Hierarchical GUI Test Case Generation Using Automated Planning.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	application of AI planning, GUI regression testing, generating alternative plans, Software testing, GUI testing, automated test case generation
13	Andrew Crossen, Jay Budzik, Mason Warner, Lawrence Birnbaum, Kristian J. Hammond	XLibris: an automated library research assistant.	IUI	2001	DBLP DOI BibTeX RDF	automated retrieval, ubiquitous computing, metasearch, information aggregation
13	Luay Ho Tahat, Atef Bader, Boris Vaysburg, Bogdan Korel	Requirement-Based Automated Black-Box Test Generation.	COMPSAC	2001	DBLP DOI BibTeX RDF	Selective Testing, Requirements, Regression Testing, System Model, SDL, Black-Box Testing, System Testing, Automated Test Generation, EFSM
13	Michelle X. Zhou, Shimei Pan	Automated authoring of coherent multimedia discourse in conversation systems.	ACM Multimedia	2001	DBLP DOI BibTeX RDF	automated generation of multimedia discourse, graphics generation, multimedia conversation/dialogue, spoken language generation, multimedia authoring
13	Samir Al-Khayatt, Richard Neale	Automated Detection of Internet Usage Policy Violation.	AICCSA	2001	DBLP DOI BibTeX RDF	automated management, network performance, Internet access, IT policy
13	Christian Ensel	A Scalable Approach to Automated Service Dependency Modeling in Heterogeneous Environments.	EDOC	2001	DBLP DOI BibTeX RDF	automated model creation, neural networks, agent architecture, IT-management, dependency models
13	Atif M. Memon, Martha E. Pollack, Mary Lou Soffa	Automated test oracles for GUIs.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	GUI test oracles, automated oracles, GUI testing
13	Cary A. Deck, Bart J. Wilson	Interactions of automated pricing algorithms: an experimental investigation.	EC	2000	DBLP DOI BibTeX RDF	Internet posted offer markets, automated pricing, experimental economics
13	Lucas Bordeaux, Frédéric Benhamou	Automated reasoning on monotonic constraints.	ICTAI	2000	DBLP DOI BibTeX RDF	monotonic constraints, consistency techniques, inference mechanisms, automated reasoning, constraint handling
13	Mireille Ducassé	Coca: An automated Debugger for C.	ICSE	1999	DBLP DOI BibTeX RDF	debugging language, program behavior understanding, trace query mechanism, C, automated debugging, debugging tool
13	Michelle X. Zhou, Steven Feiner	Visual Task Characterization for Automated Visual Discourse Synthesis.	CHI	1998	DBLP DOI BibTeX RDF	automated design of graphics, visual discourse, visual task characterization
13	Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt	cardTAP: Automated Deduction on a Smart Card.	Australian Joint Conference on Artificial Intelligence	1998	DBLP DOI BibTeX RDF	lean TAP, security, java, proof carrying code, automated deduction, tableaux
13	Nicolas Tsapatsoulis, Frank Schnorrenberg, Constantinos S. Pattichis, Stefanos D. Kollias	An image analysis system for automated detection of breast cancer nuclei.	ICIP (3)	1997	DBLP DOI BibTeX RDF	automated detection, breast cancer nuclei, image analysis system, biopsy images, block-based processing, normalized singular value vector, algorithm, feature extraction, singular value decomposition, medical image processing, background, neural network classifier, experts knowledge
13	Christine W. Hanna, Abou Bakr M. Youssef	Automated measurements in obstetric ultrasound images.	ICIP (3)	1997	DBLP DOI BibTeX RDF	obstetric ultrasound images, fetal head circumference, fetal head diameter, femur length, fetal age, growth pattern, noisy ultrasound images, image measurement, morphologically-based algorithms, fetal head contour, automation algorithms, tracing methods, ultrasound machine, segmentation, Hough transforms, morphological operations, image acquisition, ultrasonic imaging, automated measurements
13	Adel Bouhoula, Jean-Pierre Jouannaud	Automata-Driven Automated Induction.	LICS	1997	DBLP DOI BibTeX RDF	automata-driven automated induction, inductive theorem proving, first-order functions, finitely many unary membership predicates, rational subsets, ground reducibility, inductive prover, theorem proving, tree automata, Horn Clauses, proof obligations
13	Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti	Providing Automated Support to Deductive Analysis of Time Critical Systems.	ESEC / SIGSOFT FSE	1997	DBLP DOI BibTeX RDF	time- and safety-critical systems, verification, formal methods, specification, temporal logic, validation, case study, automated theorem proving, experience report
13	Manas Saksena, Paul Freedman, Pawel Rodziewicz	Guidelines for automated implementation of executable object oriented models for real-time embedded control systems.	RTSS	1997	DBLP DOI BibTeX RDF	control system analysis computing, automated implementation, executable object oriented models, real time embedded control systems, real time scheduling theory, ROOM methodology, telecommunications community, commercial systems, case tool ObjecTime, reactive real time behavior, hard real time components, cruise control example, ROOM model, executable models, priority inversions, temporal behavior, Real time Object Oriented Modeling
13	Wim Verhaegen, Geert Van der Plas, Georges G. E. Gielen	Automated test pattern generation for analog integrated circuits.	VTS	1997	DBLP DOI BibTeX RDF	automated test pattern generation, generated fault list, optimal test signals, statistical fluctuations, statistical test criterion, ATPG algorithm, analogue integrated circuits, analog integrated circuits
13	Robert S. Boyer, Yuan Yu	Automated Proofs of Object Code for a Widely Used Microprocessor.	J. ACM	1996	DBLP DOI BibTeX RDF	Boyer-Moore logic, MC68xxx, Nqthm, program proving, formal methods, Ada, C, program verification, automated reasoning, Common Lisp, mechanical theorem proving, object code, machine code
13	Douglas E. Becker, James N. Turner, Howard L. Tanenbaum, Badrinath Roysam	Real-time image processing algorithms for an automated retinal laser surgery system.	ICIP	1995	DBLP DOI BibTeX RDF	laser applications in medicine, real-time image processing algorithms, automated retinal laser surgery system, ophthalmic disorders, computer-controlled instrument, core image-processing methods, retinal map computation, retinal landmark feature points detection, retinal angiograms montaging, real-time image tracking, feature-based method, feature-tagged point sets, real-time systems, medical image processing, surgery, eye
13	L. Strub, J. Robinson	Automated facial conformation for model-based videophone coding.	ICIP	1995	DBLP DOI BibTeX RDF	model based videophone coding, automated facial conformation, head and shoulders video sequence, videophone application, video sequence transmission, model deformations, flexible template matching, steepest gradient search method, optimal conformation, generic facial model, texture information, algorithm, face recognition, face recognition, image sequences, video coding, image matching, search problems, frame, image texture, videotelephony
13	Radu Negulescu, Janusz A. Brzozowski	Relative liveness: from intuition to automated verification.	ASYNC	1995	DBLP DOI BibTeX RDF	relative liveness, finite trace theory, safety condition, hierarchical verification theorems, program verification, safety, multiprocessing systems, automata, finite automata, liveness, equivalence, multiprocessing programs, automated verification
13	Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell	Automated verification of temporal properties specified as state machines in VHDL.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	automated verification methodology, correctness specifications, Viper microprocessor, Mealy FSM, compatible states, formal specification, formal verification, high level synthesis, finite state machines, VHDL, sequential circuits, state machines, hardware description languages, microprocessor chips, synchronous sequential circuit, temporal properties, liveness properties
13	Jinhui Liu, Xiaoqing Ding, Youshou Wu	Description and recognition of form and automated form data entry.	ICDAR	1995	DBLP DOI BibTeX RDF	automated form data entry, form description method, frame lines, printed forms, frame line detection, business forms, form recognition
13	Dan Paulson, Yair Wand	An Automated Approach to Information Systems Decomposition.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	automated approach, information systems decomposition, formal specification scheme, experimental computerized systems analysis tools, standard problem, computational complexity, complexity, formal specification, software tools, systems analysis, heuristic rules, formal definition
13	Peter Baumgartner 0001	An Order Theory Resolution Calculus.	LPAR	1992	DBLP DOI BibTeX RDF	Theory Resolution, Automated Theorem Proving
13	Chen Ding, Prabhaker Mateti	A Framework for the Automated Drawing of Data Structure Diagrams.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	pictorial indication, automated drawing, data structure diagrams, two-dimensional figures, interrelationships, factors of aesthetics, computable objectives, numeric parameters, software engineering, data structures, computer graphics, rules, diagrams, lines
13	Bogdan Korel	Automated Software Test Data Generation.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	automated software test data generation, function-minimization methods, input variables, program execution flow, function-minimization search algorithms, input variables, array indexes, data structures, program testing, search problems, automatic programming, minimisation, backtracking, pointers, dynamic data structures, program behavior, dynamic data-flow analysis
13	John L. Schneiter, Thomas B. Sheridan	An Automated Tactile Sensing Strategy for Planar Object Recognition and Localization.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	automated tactile sensing, planar object recognition, tactile exploration, point contact sensor, diagnostic measurements, sensor paths, pattern recognition, localization, tactile sensors
13	Christian B. Suttner, Wolfgang Ertel	Automatic Acquisition of Search Guiding Heuristics.	CADE	1990	DBLP DOI BibTeX RDF	learning, heuristics, features, Automated theorem proving, back-propagation, connectionism, evaluation functions, model elimination
13	David Hung-Chang Du, Subbarao Ghanta, Kurt Maly, Suzanne M. Sharrock	An Efficient File Structure for Document Retrieval in the Automated Office Environment.	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	efficient file structure, automated office environment, inexact fuzzy queries, multilevel file structure, multikey extendible hashing, time efficient, information retrieval, data structures, file system, document retrieval, signature files, space efficient, office environment
13	Yasuhiko Hara, Hideaki Doi, Koichi Karasaki, Tadashi Iida	A System for PCB Automated Inspection Using Fluorescent Light.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	violet illumination, PCB automated inspection, fluorescent light, nicks, printed circuit board pattern, ultraviolet rays, glass-epoxy, glass-polyimide, high-sensitivity TV camera, silhouette image, fluorescence, pattern recognition, computer vision, computer vision, fault detection, computerised pattern recognition, inspection, circuit analysis computing, fault location, cuts, printed circuit testing, optical fiber, short-circuits
13	Herbert Boerner, Helmut Strecker	Automated X-Ray Inspection of Aluminum Castings.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	feature definition, automatic flaw detection, cast aluminum wheels, Al alloys, mechanical engineering computing, feature extraction, computerised pattern recognition, inspection, X-ray images, pixel classification, segmentation methods, flaw detection, automated inspection
13	David B. Shu, Ching-Chung Li, J. F. Mancuso, Yung-Nien Sun	A Line Extraction Method for Automated SEM Inspection of VLSI Resist.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	line extraction method, automated SEM inspection, VLSI resist, precision digital edge-line-detection method, edge contours, submicrometer width, integrated circuit fabrication, computer vision, VLSI, transforms, integrated circuit testing, computerised picture processing, automatic testing, Hough transform, inspection, circuit analysis computing, scanning electron microscopy, scanning electron microscopy
13	Waldo C. Kabat, Anthony S. Wojcik	Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques.	IEEE Trans. Computers	1985	DBLP DOI BibTeX RDF	logic design, multivalued logic, design automation, Automated theorem proving, switching theory
13	Witold S. Wojciechowski, Anthony S. Wojcik	Automated Design of Multiple-Valued Logic Circuits by Automatic Theorem Proving Techniques.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	multiple-valued circuits, theorem proving, logic design, first order logic, Automated design, formal proof
13	Louis J. Hafer, Alice C. Parker	Automated Synthesis of Digital Hardware.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	hardware specification, computer-aided design, logic design, design automation, register-transfer level, hardware-descriptive language, ISP, Automated synthesis
13	John A. Swets	Sound learning: an application of a computer to automated teaching.	Commun. ACM	1961	DBLP DOI BibTeX RDF	automated teaching, computer-maintained files, psycho-acoustic laboratory, simulation of individual tutoring
13	M. Gomathi, P. Thangaraj	Automated CAD for detection of lung nodule using CT scans.	Bangalore Compute Conf.	2010	DBLP DOI BibTeX RDF	pulmonary nodules, CT, computed tomography, computer aided diagnosis, lung cancer, computer assisted diagnosis
13	Zhen Ming Jiang	Automated analysis of load testing results.	ISSTA	2010	DBLP DOI BibTeX RDF	software mining, dynamic analysis, load testing
13	Young Sam Ryu	Mobile Phone Usability Questionnaire (MPUQ) and Automated Usability Evaluation.	HCI (1)	2009	DBLP DOI BibTeX RDF	automating usability, Usability, questionnaire, mobile user interface, subjective measurement
13	Davy Preuveneers, Yolande Berbers	Modeling Human Actors in an Intelligent Automated Warehouse.	HCI (11)	2009	DBLP DOI BibTeX RDF
13	Mohammed Kaleemur Rahman, Saurabh Sanghvi, Noura El-Moughny	Enhancing an automated Braille Writing Tutor.	IROS	2009	DBLP DOI BibTeX RDF
13	Guojing Cong, I-Hsin Chung, Hui-Fang Wen, David J. Klepacki, Hiroki Murata, Yasushi Negishi, Takao Moriyama	A Holistic Approach towards Automated Performance Analysis and Tuning.	Euro-Par	2009	DBLP DOI BibTeX RDF
13	Jason Baumgartner, Hari Mony, Michael L. Case, Jun Sawada, Karen Yorav	Scalable conditional equivalence checking: An automated invariant-generation based approach.	FMCAD	2009	DBLP DOI BibTeX RDF
13	Lorenzo Luciano, Adam Krzyzak	Automated Multimodal Biometrics Using Face and Ear.	ICIAR	2009	DBLP DOI BibTeX RDF	ear recognition, eigenear, Face recognition, PCA, eigenface, multimodal biometrics
13	Franz Baader, Andreas Bauer 0002, Peter Baumgartner 0001, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter	A Novel Architecture for Situation Awareness Systems.	TABLEAUX	2009	DBLP DOI BibTeX RDF
13	Hristo Nikolov, Todor P. Stefanov, Ed F. Deprettere	Systematic and Automated Multiprocessor System Design, Programming, and Implementation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
13	Peter Höfner	Automated Reasoning for Hybrid Systems - Two Case Studies -.	RelMiCS	2008	DBLP DOI BibTeX RDF
13	Zhen Liu 0001, Anand Ranganathan, Anton Riabov	A Planning-Based Approach for the Automated Configuration of the Enterprise Service Bus.	ICSOC	2008	DBLP DOI BibTeX RDF
13	Hugh Gribben, Paul Miller 0003, Hongbin Wang, Kathryn Carson, Alan Hounsell, Ashraf Zatari	Automated MAP-MRF EM labelling for volume determination in PET.	ISBI	2008	DBLP DOI BibTeX RDF
13	Marios A. Gavrielides, Hela Masmoudi, Nicholas Petrick, Kyle J. Myers, Stephen M. Hewitt	Automated evaluation of HER-2/neu immunohistochemical expression in breast cancer using digital microscopy.	ISBI	2008	DBLP DOI BibTeX RDF
13	Shivang Naik, Scott Doyle, Shannon Agner, Anant Madabhushi, Michael D. Feldman, John Tomaszewski	Automated gland and nuclei segmentation for grading of prostate and breast cancer histopathology.	ISBI	2008	DBLP DOI BibTeX RDF
13	Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian	Implementation of Pointer Logic for Automated Verification.	ICYCS	2008	DBLP DOI BibTeX RDF
13	Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath	Formal automated transformation of SDL specifications to Lotos specifications.	ISCC	2008	DBLP DOI BibTeX RDF
13	Johannes W. Kruisselbrink, Thomas Bäck, Adriaan P. IJzerman, Eelke van der Horst	Evolutionary algorithms for automated drug design towards target molecule properties.	GECCO	2008	DBLP DOI BibTeX RDF	evolutionary algorithms, drug design, molecules
13	Panagiotis Blitsas, Maria Grigoriadou	Knowledge Representation for an Automated Normalized Answers Assessment System, Based on Text Comprehension Theories.	ICALT	2008	DBLP DOI BibTeX RDF
13	Forrest Sheng Bao, Donald Yu-Chun Lie, Yuanlin Zhang 0002	A New Approach to Automated Epileptic Diagnosis Using EEG and Probabilistic Neural Network.	ICTAI (2)	2008	DBLP DOI BibTeX RDF
13	Gert Schoonenberg, Pierre Lelong, Raoul Florent, Onno Wink, Bart M. ter Haar Romeny	The Effect of Automated Marker Detection on in Vivo Volumetric Stent Reconstruction.	MICCAI (2)	2008	DBLP DOI BibTeX RDF	percutaneous coronary interventions, marker detection, coronary stent reconstruction, motion compensation, angiography
13	Stephen Marsh 0002, Stelios Pantazopoulos	Automated Functional Testing on the TransCanada Alberta Gas Accounting Replacement Project.	AGILE	2008	DBLP DOI BibTeX RDF
13	Juan Hamers, Lieven Eeckhout	Automated hardware-independent scenario identification.	DAC	2008	DBLP DOI BibTeX RDF	scenario-based design, DVFS, video-decoding
13	Peter Höfner, Georg Struth	On Automating the Calculus of Relations.	IJCAR	2008	DBLP DOI BibTeX RDF
13	Satoshi Hoshino, Jun Ota 0001	Design of an automated transportation system in a seaport container terminal for the reliability of operating robots.	IROS	2007	DBLP DOI BibTeX RDF
13	Stefanos Asonitis, Dimitris Boundas, George Bokos, Marios Poulos	Semi - automated tool for characterizing news video files, using metadata schemas.	MTSR	2007	DBLP DOI BibTeX RDF
13	Aristotelis A. Chatziioannou, Panagiotis Moulos	ANDROMEDA: A MATLAB Automated cDNA Microarray Data Analysis Platform.	AIAI	2007	DBLP DOI BibTeX RDF
13	Dawid Weiss, Marcin Zduniak	Automated Integration Tests for Mobile Applications in Java 2 Micro Edition.	BIS	2007	DBLP DOI BibTeX RDF	Mobile Development, Software Testing, Quality Assurance, Agile Development
13	Gwen Littlewort, Marian Stewart Bartlett, Kang Lee	Faces of pain: automated measurement of spontaneousallfacial expressions of genuine and posed pain.	ICMI	2007	DBLP DOI BibTeX RDF	spontaneous behavior, machine learning, computer vision, facial expression recognition, deception, facial action coding system, FACS, pain
13	Liang Kong, Hong Zhu 0002, Bin Zhou 0004	Automated Testing EJB Components Based on Algebraic Specifications.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
13	Fang Yu 0001, Tevfik Bultan, Erik Peterson	Automated size analysis for OCL.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	size abstraction, size analysis, OCL
13	Hany H. Ammar, Mohamed Abdel-Mottaleb, Anil K. Jain 0001	Automated dental identification system (ADIS).	DG.O	2007	DBLP BibTeX RDF	dental identification, webADIS, performance evaluation
13	Vladimir Pekar, Daniel Bystrov, Harald S. Heese, Sebastian P. M. Dries, Stefan Schmidt 0001, Rüdiger Grewer, Chiel J. den Harder, René C. Bergmans, Arjan W. Simonetti, Arianne van Muiswinkel	Automated Planning of Scan Geometries in Spine MRI Scans.	MICCAI (1)	2007	DBLP DOI BibTeX RDF
13	Cho-Yu Jason Chiang, Gary Levin, Yitzchak M. Gottlieb, Ritu Chadha, Shihwei Li, Alexander Poylisher, Scott Newman, Richard Lo	On Automated Policy Generation for Mobile Ad Hoc Networks.	POLICY	2007	DBLP DOI BibTeX RDF
13	Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain	Certification of Automated Termination Proofs.	FroCoS	2007	DBLP DOI BibTeX RDF
13	Zhuang Yan, Simon Fong 0001, Yan Pengfan, Meilin Shi	Knowledge-Empowered Automated Negotiation System for B2B e-Commerce.	CEC/EEE	2007	DBLP DOI BibTeX RDF
13	Thomas Brox, Yoo-Jin Kim, Joachim Weickert, Wolfgang Feiden	Fully-Automated Analysis of Muscle Fiber Images with Combined Region and Edge-Based Active Contours.	Bildverarbeitung für die Medizin	2006	DBLP DOI BibTeX RDF
13	Guanglei Xiong, Xiaobo Zhou 0001, Liang Ji, Alexei Degterev, Stephen T. C. Wong	Automated labeling of neurites in fluorescence microscopy images.	ISBI	2006	DBLP DOI BibTeX RDF
13	Yanhua Hu, Jesus Carmona, Robert F. Murphy	Application of temporal texture features to automated analysis of protein subcellular locations in time series fluorescence microscope images.	ISBI	2006	DBLP DOI BibTeX RDF
13	Galen S. Swint, Gueyoung Jung, Calton Pu, Akhil Sahai	Automated Staging for Built-to-Order Application Systems.	NOMS	2006	DBLP DOI BibTeX RDF
13	Russell Lock	Automated Negotiation for Service Contracts.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF
13	Harald Meyer, Mathias Weske	Automated Service Composition Using Heuristic Search.	Business Process Management	2006	DBLP DOI BibTeX RDF
13	Erol Gelenbe	Analysis of Automated Auctions.	ISCIS	2006	DBLP DOI BibTeX RDF