Search results for "automated"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Carsten Rudolph, Antonio Mana	Specification and automated processing of security requirements (SAPS'05).	ASE	2005	DBLP DOI BibTeX RDF
15	Claudio Castellini, Alan Smaill	Proof Planning for First-Order Temporal Logic.	CADE	2005	DBLP DOI BibTeX RDF
15	Chad E. Brown	Reasoning in Extensional Type Theory with Equality.	CADE	2005	DBLP DOI BibTeX RDF
15	Ewen Denney, Bernd Fischer 0002, Johann Schumann	Using Automated Theorem Provers to Certify Auto-generated Aerospace Software.	IJCAR	2004	DBLP DOI BibTeX RDF
15	Wee Kheng Leow, Siau-Cheng Khoo, Tiong Hoe Loh, Vivy Suhendra	Heuristic Search with Reachability Tests for Automated Generation of Test Programs.	ASE	2004	DBLP DOI BibTeX RDF
15	Jason McC. Smith, P. David Stotts	SPQR: Flexible Automated Design Pattern Extraction From Source Code.	ASE	2003	DBLP DOI BibTeX RDF
15	Johan G. F. Belinfante	Reasoning about Iteration in Gödel's Class Theory.	CADE	2003	DBLP DOI BibTeX RDF
15	Yrjö Hiltunen, Mika Lappalainen	Automated Personalisation of Internet Users Using Self-Organising Maps.	IDEAL	2002	DBLP DOI BibTeX RDF
15	Juhani Pulkkinen, Mika Lappalainen, Anna-Maija Häkkinen, Nina Lundbom, Risto A. Kauppinen, Yrjö Hiltunen	Application of Self-Organising Maps in Automated Chemical Shift Correction of In Vivo H MR Spectra.	IDEAL	2002	DBLP DOI BibTeX RDF
15	Patrick J. Schroeder, Pat Faherty, Bogdan Korel	Generating Expected Results for Automated Black-Box Testing.	ASE	2002	DBLP DOI BibTeX RDF
15	Elena Smirnova	Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic.	AISC	2002	DBLP DOI BibTeX RDF
15	Jürgen Zimmer, Michael Kohlhase	System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning.	CADE	2002	DBLP DOI BibTeX RDF
15	Johan G. F. Belinfante	Gödel's Algorithm for Class Formation.	CADE	2000	DBLP DOI BibTeX RDF
15	Reinhard Pichler	Solving Equational Problems Efficiently.	CADE	1999	DBLP DOI BibTeX RDF
15	Matthias Fuchs	Evolving Combinators.	CADE	1997	DBLP DOI BibTeX RDF
15	Bernd Fischer 0002, Johann Schumann	SETHEO Goes Software Engineering: Application of ATP to Software Reuse.	CADE	1997	DBLP DOI BibTeX RDF
15	Matthias Fuchs	Experiments in the Heuristic Use of Past Proof Experience.	CADE	1996	DBLP DOI BibTeX RDF
15	Tai Joon Park, Allen Van Gelder	Partitioning Methods for Satisfiability Testing on Large Formulas.	CADE	1996	DBLP DOI BibTeX RDF
15	Harald Ganzinger	Saturation-Based Theorem Proving: Past Successes and Future Potential (Abstract).	CADE	1996	DBLP DOI BibTeX RDF
15	Geoff Sutcliffe, Christian B. Suttner, Theodor Yemenis	The TPTP Problem Library.	CADE	1994	DBLP DOI BibTeX RDF
15	Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood	Deductive Composition of Astronomical Software from Subroutine Libraries.	CADE	1994	DBLP DOI BibTeX RDF
15	William McCune, Larry Wos	Application of Automated Deduction to the Search for Single Axioms for Exponent Groups.	LPAR	1992	DBLP DOI BibTeX RDF
15	Larry Wos, Steve Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler	Automated Reasoning Contributed to Mathematics and Logic.	CADE	1990	DBLP DOI BibTeX RDF
15	Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite	Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics.	CADE	1988	DBLP DOI BibTeX RDF
15	Larry Wos, William McCune	Challenge Problems Focusing on Equality and Combinatory Logic: Evaluating Automated Theorem-Proving Programs.	CADE	1988	DBLP DOI BibTeX RDF
15	Stefan M. Rüger	Multimedia information retrieval.	SIGIR	2010	DBLP DOI BibTeX RDF	browsing and relevance feedback, metadata driven search, piggy-back text search, multimedia information retrieval, content-based search, automated image annotation
15	Elif Derya Übeyli	Modified Mixture of Experts for Diabetes Diagnosis.	J. Medical Syst.	2009	DBLP DOI BibTeX RDF	Automated diagnostic systems, Modified mixture of experts, Diabetes diagnosis, Decision support system
15	Erol Gelenbe	Analysis of single and networked auctions.	ACM Trans. Internet Techn.	2009	DBLP DOI BibTeX RDF	E-commerce, Autonomic systems, Internet technologies, Automated auctions
15	Eunha Kim, Jongchae Na, Seokmoon Ryoo	Developing a Test Automation Framework for Agile Development and Testing.	XP	2009	DBLP DOI BibTeX RDF	Test Automation Framework, Agile Testing, STAX, Automated Testing, Fit, STAF, Continuous Integration, FitNesse
15	Eduardo José Solteiro Pires, Luís Mendes, Paulo B. de Moura Oliveira, José António Tenreiro Machado, João Caldinhas Vaz, Maria João Rosário	Design of Radio-Frequency Integrated CMOS Discrete Tuning Varactors Using the Particle Swarm Optimization Algorithm.	IWANN (2)	2009	DBLP DOI BibTeX RDF	automated circuit synthesis and radio-frequency integrated circuits, Particle swarm optimization, analog circuit design
15	Jon R. Gunderson	Functional Accessibility Testing Using Best Practices.	HCI (5)	2009	DBLP DOI BibTeX RDF	web content accessibility guidelines, html, web accessibility, disability, automated testing, best practices, wcag, xhtml, section 508
15	Marvin R. G. Schiller, Christoph Benzmüller	Presenting Proofs with Adapted Granularity.	KI	2009	DBLP DOI BibTeX RDF	Adaptive proof presentation, proof tutoring, machine learning, granularity, automated reasoning
15	Rattapoom Waranusast, Peter Haddawy, Matthew N. Dailey	Segmentation of Text and Non-text in On-Line Handwritten Patient Record Based on Spatio-Temporal Analysis.	AIME	2009	DBLP DOI BibTeX RDF	Automated patient record, Online handwritten document, Document segmentation, Spatio-temporal analysis
15	Robert J. Hall 0001	A method and tools for large scale scenarios.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Requirements engineering, Tools, Scenario, Large scale, Automated software engineering
15	Rajasvaran Logeswaran	A Computer-aided Multidisease Diagnostic System Using MRCP.	J. Digit. Imaging	2008	DBLP DOI BibTeX RDF	Automated diagnosis, biliary diseases, MRCP, magnetic resonance cholangiopancreatography, liver diseases, structure detection
15	Francisco Durán 0001, Francisco Gutiérrez, Pablo López, Ernesto Pimentel 0001	A formalization of the SMEPP model in Maude.	MobiQuitous	2008	DBLP DOI BibTeX RDF	peer-to-peer systems, formal semantics, automated verification, service-oriented models
15	Christian Baumann	Contracting and Copyright Issues for Composite Semantic Services.	ISWC	2008	DBLP DOI BibTeX RDF	automated contracting, semantic web service, copyright, intellectual property rights
15	Peizhou He, Yong Sun, Wei Zheng 0001, Xiangming Wen	Filtering Short Message Spam of Group Sending Using CAPTCHA.	WKDD	2008	DBLP DOI BibTeX RDF	SMS spam (short message service spam), group sending, CAPTCHA (Completely Automated Public Turing test to tell Computers and Human Apart), (OCR) Optical Character Recognition, user authentication
15	Valeriya V. Gribova	Methods for Decreasing Time and Effort during Development and Maintenance of Intellectual Software User Interfaces.	ICIC (1)	2008	DBLP DOI BibTeX RDF	interface project, ontology, automated generation
15	Saheeb Ahmed Kayani, Muhammad Afzaal Malik	Bond-graphs + genetic programming: analysis of an automatically synthesized rotary mechanical system.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	multi energy domain dynamic or mechatronic systems, physical design realization, rotary mechanical systems, topology synthesis, unified/automated design, genetic programming, dynamic analysis, object oriented modeling, bond-graphs
15	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Revising Distributed UNITY Programs Is NP-Complete.	OPODIS	2008	DBLP DOI BibTeX RDF	Automated revision, Complexity, Formal methods, Transformation, Distributed programs, Repair, UNITY
15	Yu-Shen Yang, Subarnarekha Sinha, Andreas G. Veneris, Robert K. Brayton	Automating Logic Rectification by Approximate SPFDs.	ASP-DAC	2007	DBLP DOI BibTeX RDF	SAT-based algorithm, approximate SPFD, digital VLSI cycle, incremental rewiring-based optimization operations, automated logic rectification tools, predefined logic transformations, memory/time explosion problem, design errors
15	Robert B. Evans, Alberto Savoia	Differential testing: a new approach to change detection.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	differential testing, test repair, software maintenance, regression testing, change impact analysis, automated test generation
15	Mike P. Papazoglou	What's in a Service?	ECSA	2007	DBLP DOI BibTeX RDF	automated services, service-oriented design and development, Service Oriented Architecture, business processes, Enterprise Service Bus
15	Thomas Triebsees, Uwe M. Borghoff	Towards automatic document migration: semantic preservation of embedded queries.	ACM Symposium on Document Engineering	2007	DBLP DOI BibTeX RDF	automated document migration, link consistency, query processing, digital preservation
15	Roland Lenain, Benoît Thuilot, Christophe Cariou, Philippe Martinet	High accuracy path tracking for vehicles in presence of sliding: Application to farm vehicle automatic guidance for agricultural tasks.	Auton. Robots	2006	DBLP DOI BibTeX RDF	Non linear control, Model Predictive Control of vehicles, Vehicle motion in presence of sliding effects, Path tracking of mobile robot, Agricultural robots and environmental applications, Adaptive control, Automated guided vehicle
15	Erwan Jahier, Pascal Raymond, Philippe Baufreton	Case studies with Lurette V2.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Tool environment, Stochastic machines, Automated testing, Synchronous languages, Real-time embedded systems, Reactive programs
15	Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman	Error explanation with distance metrics.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Error explanation, Model checking, Fault localization, Automated debugging
15	Jian Liu, Jicheng Fu, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Ann T. Tai, Savio N. Chau	Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns.	ISORC	2006	DBLP DOI BibTeX RDF	Automated code synthesis, Deductive code synthesis, Real-time system, Code patterns
15	Norbert Oster, Francesca Saglietti	Automatic Test Data Generation by Multi-objective Optimisation.	SAFECOMP	2006	DBLP DOI BibTeX RDF	testing, evolutionary algorithms, data flow, mutation testing, object-oriented software, automated test data generation
15	Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand	Safety Property Driven Test Generation from.	FATES/RV	2006	DBLP DOI BibTeX RDF	JavaCard, automated testing, black-box testing, safety properties, Java Modeling Language
15	Chun-Chia Wang, Jason C. Hung, Che-Yu Yang, Timothy K. Shih	An Application of Question Answering System for Collaborative Learning.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF	automated question answering system, natural language processing, collaborative learning, distance learning
15	Mark Howell, Steve Love, Mark Turner 0002	Spatial metaphors for a speech-based mobile city guide service.	Pers. Ubiquitous Comput.	2005	DBLP DOI BibTeX RDF	Automated phone service, Mobile phone, Speech input, Interface metaphor
15	Mike Joy, Nathan Griffiths, Russell Boyatt	The boss online submission and assessment system.	ACM J. Educ. Resour. Comput.	2005	DBLP DOI BibTeX RDF	Online submission, programming languages, automated assessment
15	Mohamed Amine Garici, Habiba Drias	Cryptanalysis of Substitution Ciphers Using Scatter Search.	IWINAC (2)	2005	DBLP DOI BibTeX RDF	automated cryptanalysis, substitution ciphers, genetic algorithm, heuristic search, optimization problem, scatter search, evolutionary approach
15	Gang Qian, Yisheng Dong	Constructing extensible XQuery mappings.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	mapping, extensibility, XQuery, automated support
15	Wei-Tek Tsai, Xinxin Liu, Yinong Chen, Raymond A. Paul	Simulation Verification and Validation by Dynamic Policy Enforcement.	Annual Simulation Symposium	2005	DBLP DOI BibTeX RDF	Automated Policy Specification and Enforcement, Simulation, Verification and Validation
15	Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko	Practical Approach to Specification and Conformance Testing of Distributed Network Applications.	ISAS	2005	DBLP DOI BibTeX RDF	asynchronous events specification, distributed system specification, formalization of standards, automated test construction, specification extension of programming language, test oracle generation, UniTesK, model based testing, conformance testing, Design by Contract
15	Ulf Larson, Emilie Lundin Barse, Erland Jonsson	METAL - A Tool for Extracting Attack Manifestations.	DIMVA	2005	DBLP DOI BibTeX RDF	Automated attack analysis, log data, intrusion detection, system calls
15	Haeng-Kon Kim, Oh-Hyun Kwon	SCTE: Software Component Testing Environments.	ICCSA (2)	2005	DBLP DOI BibTeX RDF	CBD design, CBD testing Environments, software testing, Component Based Developments, automated testing, CASE, class testing
15	Tsuyoshi Murata	Roles of Diagrammatic Information for the Discovery of Geometrical Theorems.	Diagrams	2004	DBLP DOI BibTeX RDF	Automated scientific discovery, discovery systems, geometrical theorems, diagrammatic reasoning
15	Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre	Mastering Test Generation from Smart Card Software Formal Models.	CASSIS	2004	DBLP DOI BibTeX RDF	boundary testing, smart card standard, formal specifications, functional testing, Automated test generation
15	Jill Burstein, Daniel Marcu, Kevin Knight	Finding the WRITE Stuff: Automatic Identification of Discourse Structure in Student Essays.	IEEE Intell. Syst.	2003	DBLP DOI BibTeX RDF	discourse annotation, automated essay evaluation, machine learning, text classification, educational technology, discourse analysis
15	Elena García-Barriocanal, Miguel Ángel Sicilia Urbán, José Antonio Gutiérrez 0001	On the Vague Modelling of Web Page Characteristics Regarding Usability.	AWIC	2003	DBLP DOI BibTeX RDF	automated usability analysis, membership function elicitation, fuzzy sets
15	Gerard Meszaros	Agile regression testing using record & playback.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	robot user, XML, user interface, patterns, functional test, automated testing, best practices, record, JUnit, acceptance test, playback
15	Marcus Tylutki, Karl N. Levitt	Mitigating Distributed Denial of Service Attacks Using a Proportional-Integral-Derivative Controller.	RAID	2003	DBLP DOI BibTeX RDF	PID control law, Automated Response, Denial of Service, DoS, Distributed Denial of Service, DDoS, Control Theory, Distributed Attacks
15	Lisa Purvis, Steven Harrington, Barry O'Sullivan, Eugene C. Freuder	Creating personalized documents: an optimization approach.	ACM Symposium on Document Engineering	2003	DBLP DOI BibTeX RDF	automated layout, genetic algorithm, multiobjective optimization, constrained optimization, constraint-based reasoning, document design
15	Kevin L. Mills, Hassan Gomaa	Knowledge-Based Automation of a Design Method for Concurrent Systems.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	concurrent and real-time system design, software design, automated software engineering, knowledge-based software engineering
15	Michael W. Whalen, Johann Schumann, Bernd Fischer 0002	Synthesizing Certified Code.	FME	2002	DBLP DOI BibTeX RDF	automatic program synthesis, code certification, program verification, automated theorem proving, proof-carrying code
15	Ponrudee Netisopakul, Lee J. White, John Morris, Daniel Hoffman	Data Coverage Testing of Programs for Container Classes.	ISSRE	2002	DBLP DOI BibTeX RDF	Data coverage testing, Testing of container classes, Automated testing
15	Fayez Chayab, Lev Kirischian, Lucas Szajek	Architecture-to-Task Optimization System (ATOS) for Parallel Multi-Mode Data-Flow Architectures on a Base of a Partially Reconfigurable Computing Platform.	PARELEC	2002	DBLP DOI BibTeX RDF	data-flow applications, optimization, FPGA, Parallel architecture, DFG, partial reconfiguration, automated synthesis
15	Beum-Seuk Lee, Barrett R. Bryant	Automation of Software System Development Using Natural Language Processing and Two-Level Grammar.	RISSEF	2002	DBLP DOI BibTeX RDF	Two-Level Grammar (TLG), Formal Specification, Natural Language Processing, Automated Software Engineering
15	José Oscar Olmedo-Aguirre, Guillermo Morales-Luna	Indeed : Interactive Deduction on Horn Clause Theories.	IBERAMIA	2002	DBLP DOI BibTeX RDF	Horn clause theories, interaction, Logic programming, automated theorem proving
15	Miquel Bofill, Guillem Godoy	On the Completeness of Arbitrary Selection Strategies for Paramodulation.	ICALP	2001	DBLP DOI BibTeX RDF	automated deduction
15	Kim Hirschenhofer, Suzanne Nanis	Desktop support without visiting the desktop.	SIGUCCS	2001	DBLP DOI BibTeX RDF	InterDrive, PeopleSoft, automated installation, netDeploy, web-based updates, oracle
15	Frank Nack, Wolfgang Putz	Designing annotation before it's needed.	ACM Multimedia	2001	DBLP DOI BibTeX RDF	automated annotation, MPEG-7, XML Schema, semantic networks, news production
15	Andreas Bartelt, Winfried Lamersdorf	Agent-Oriented Concepts to Foster the Automation of E-Business.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	e-business automation, interorganizational business processes, dynamic interoperability, business partner trust, graded anonymity, electronic commerce, automated negotiation, agent technology
15	Carol H. Daniel	Using models and simulations to visualize NMD C3: lessons learned.	ECBS	1997	DBLP DOI BibTeX RDF	NMD C3 visualisation, National Missile Defense Command and Control, automated software algorithms, battle planning and management, system metaphors, simulations, models, command and control systems
15	Roderick David Swift, Krishnan Ramaswamy, William E. Higgins	Adaptive Axes-Generation Algorithm for 3D Tubular Structures.	ICIP (2)	1997	DBLP DOI BibTeX RDF	adaptive axes-generation algorithm, 3D tubular structures, 3D radiologic images, pulmonary airways, colon, automated navigation, true gray-scale information, virtual-endoscopic system, human lung-cancer case, manual-axes identification techniques, time-consuming error-prone techniques, anatomic structural information, gray-scale information, medical diagnostic imaging, lung, coronary arteries
15	Heikki Ailisto	CAD and Vision in Rangefinder-based Dimensional Metrology.	3DIM	1997	DBLP DOI BibTeX RDF	rangefinder-based dimensional metrology, automated 3D measurement, measurement planning, measurement execution, graphical measurement planning tool, automatic optical measurement systems, sensory feedback, performance criteria, CAD, CAD, vision
15	Peter Wohl, John A. Waicukauski	Using ATPG for clock rules checking in complex scan design.	VTS	1997	DBLP DOI BibTeX RDF	clock rules checking, complex scan designs, structured DFT, automated design-rules-checking, robust set of rules, clock-rule-violation detection, fast clock verification, large microprocessor design, topological circuit analysis, zero delay, user controlled verification, capture ability, port contention, cone tracing, equivalent sources, ATPG, race conditions, computer testing, timing verification
15	Mauro Barni, A. W. Mussa, Alessandro Mecocci, Vito Cappellini, Tariq S. Durrani	An intelligent perception system for food quality inspection using color analysis.	ICIP	1995	DBLP DOI BibTeX RDF	food processing industry, intelligent perception system, food quality inspection, vision based intelligent perception system, chicken meat, RGB images, burns, hematomas, blisters, vision module, anatomic subparts, defect description, reference database, computer vision, image segmentation, image reconstruction, image analysis, mathematical morphology, multilayer perceptrons, image colour analysis, manufacturing systems, automatic optical inspection, morphological reconstruction, color analysis, automated inspection
15	Sudhir K. Jhajharia, Hua Swee Wang	Training diploma students on ATE-related module.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	electronic equipment testing, tertiary institution, ATE-related module, diploma students, final year students, Microelectronics option, Electronics and Communication Engineering Department, Singapore Polytechnic, Singapore Polytechnic Education Model, automated test equipment, Advanced Diploma, practical training, laboratory session, training, integrated circuit testing, assessment, teaching, teaching, automatic testing, automatic test equipment, test patterns, printed circuit boards, educational courses, printed circuit testing, industry-standard, electronic engineering education
15	Jean Goubault	The Complexity of Resource-Bounded First-Order Classical Logic.	STACS	1994	DBLP DOI BibTeX RDF	Topics computational complexity, computational issues in AI (automated theorem proving), logics
15	Wojtek Kozaczynski, Jim Q. Ning, Andre Engberts	Program Concept Recognition and Transformation.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	automated concept recognition, software maintenance, software maintenance, program transformations, program understanding, programming theory, software reengineering
15	Jack E. Pennington	Teleoperation to robotics at Langley Research Center.	Appl. Intell.	1992	DBLP DOI BibTeX RDF	master/slave, automated assembly, NASA Langley Research Center, robotics, Teleoperation, telerobotics
15	Dipankar Sarkar 0001, S. C. De Sarkar	A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	quantified formula handling, array handling, undecidability problem, automated verifier, quantified formulas, bound-extension rule, bound-modification, theorem proving, program verification, program verification, first-order logic, inference mechanisms, decidability, inference rules, integer arithmetic
15	B. Kutzler	Careful Algebraic Translations of Geometry Theorems.	ISSAC	1989	DBLP DOI BibTeX RDF	computational analytical geometry, automated geometry theorem proving
15	Deepinder P. Sidhu, Juan Aristizabal	Constructing Submodule Specifications and Network Protocols.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	submodule specifications, module specification, formal specification, formal specification, protocols, software tools, finite-state machine, communication protocols, network protocols, finite automata, automated tool, execution sequences
15	Maria Vicente A. Bonto-Kane	Use of formal computational models for designing intelligent mobile device interfaces.	Mobile HCI	2007	DBLP DOI BibTeX RDF
15	Nigar Sen Köktas, Nese Yalabik, Günes Yavuzer	Combining Neural Networks for Gait Classification.	CIARP	2006	DBLP DOI BibTeX RDF
15	Wei Shi, Jian Wu 0001, Zhaohui Wu 0001	Using State Machine to Integrate Human Activity into BPEL in Dartflow.	IEEE SCC	2006	DBLP DOI BibTeX RDF
15	Zhe Dang, Oscar H. Ibarra, Jianwen Su	Composability of Infinite-State Activity Automata.	ISAAC	2004	DBLP DOI BibTeX RDF
15	Y. Feng, Rong Yu, Peter Stone	Two Stock-Trading Agents: Market Making and Technical Analysis.	AMEC	2003	DBLP DOI BibTeX RDF
15	Jeffrey Solomon, Brigitte Widemann, Kathy Warren, Frank Balis, Nicholas Patronas	Automatic lesion detection and volume measurement in MR imaging of plexiform neurofibromas.	ISBI	2002	DBLP DOI BibTeX RDF
15	Peter J. Yim, Hani B. Marcos, Peter L. Choyke, Matthew J. McAuliffe, Delia McGarry, Ian Heaton	Registration of Time-Series Contrast Enhanced Magnetic Resonance Images for Renography.	CBMS	2001	DBLP DOI BibTeX RDF
14	Tanel Tammet, Priit Järv, Martin Verrev, Dirk Draheim	An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper).	CADE	2023	DBLP DOI BibTeX RDF
14	Sean B. Holden	Connect++: A New Automated Theorem Prover Based on the Connection Calculus.	AReCCa@TABLEAUX	2023	DBLP BibTeX RDF
14	Naohisa Hashimoto, Yanbin Wu, Toshihisa Sato	Human Factor Issues in Remote Operator of Automated Driving System for Services - One Operator to N Units of Automated Vehicles in Automated Vehicle Services -.	HCI (49)	2022	DBLP DOI BibTeX RDF
14	Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller	Automated Reasoning in Non-classical Logics in the TPTP World.	PAAR@IJCAR	2022	DBLP BibTeX RDF