Search results for "semi-automated"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
53	Yuan C. Hsieh	SiteCity: A Semi-Automated Site Modelling System.	CVPR	1996	DBLP DOI BibTeX RDF	Semi-automated vision system, Three-dimensional building extraction, Building delineation, Performance evaluation, Hough transform, Distance transform, Geometric constraints, Photogrammetry
48	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
37	Jonas Helming, Maximilian Koegel, Zardosht Hodaie	Towards automation of iteration planning.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	iteration planning, semi-automated, unicase, genetic algorithm, machine learning, task assignment, release planning, unified model
29	Yangqiu Song, Changshui Zhang, Jianguo Lee, Fei Wang 0001, Shiming Xiang, Dan Zhang 0007	Semi-supervised discriminative classification with application to tumorous tissues segmentation of MR brain images.	Pattern Anal. Appl.	2009	DBLP DOI BibTeX RDF	Brain tumor segmentation, Semi-automated segmentation, Gaussian random field (GRF), Gaussian process (GP), Magnetic resonance imaging (MRI)
29	Mark M. McIntyre, Robert J. Walker	Assisting potentially-repetitive small-scale changes via semi-automated heuristic search.	ASE	2007	DBLP DOI BibTeX RDF	repetitive small-scale changes, reverb, semi-automated fact inference, heuristic search, eclipse plug-in
29	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
28	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
27	Thomas Rist, Antonio Krüger, Georg Schneider 0002, Detlev Zimmermann	AWI: A Workbench for Semi-Automated Illustration Design.	Advanced Visual Interfaces	1994	DBLP DOI BibTeX RDF
26	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
26	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
25	Pierre Flener, Kung-Kiu Lau, Mario Ornaghi	Correct-Schema-Guided Synthesis of Steadfast Programs.	ASE	1997	DBLP DOI BibTeX RDF	steadfast programs, semi-automated software development, schema correctness, structured program design principles, hierarchical program synthesis, syntactic representation, higher-order expressions, informal knowledge capture, program schema formalisation, open first-order logical theory, open logic program, logic programming, program synthesis, domain knowledge
25	Catherine Plaisant, Ben Shneiderman	Organization overviews and role management: inspiration for future desktop environments.	WETICE	1995	DBLP DOI BibTeX RDF	organization overviews, role management, future desktop environments, World Bank, semi-automated searches, multiple personal roles, role-centered approach, graphical user interfaces, office automation, management information systems, human resource management, personnel, bank data processing
25	Kathy Ryall, Stuart M. Shieber, Joe Marks, Murray Mazer	Semi-automatic delineation of regions in floor plans.	ICDAR	1995	DBLP DOI BibTeX RDF	computer aided facilities layout, semi-automatic delineation, proximity field, proximity metric, scanned bitmap, building floor plan, semi-automated interactive system, area-filling techniques, areal regions, partially bounded regions, document image processing, operations research, engineering graphics
24	Hamid R. Motahari Nezhad, Boualem Benatallah, Axel Martens, Francisco Curbera, Fabio Casati	Semi-automated adaptation of service interactions.	WWW	2007	DBLP DOI BibTeX RDF	service interface matching, service protocol adaptation, web services, service adaptation
24	Lung Ngai, Phil Mak, Wancheng Ni, Lianchen Liu, Cheng Wu	A Semi-automated Negotiation Process to Improve the Usability for Online Marketplaces.	CIT	2007	DBLP DOI BibTeX RDF
23	Leonardo S. Mattos, Edward Grant, Randy Thresher, Kim Kluckman	New Developments Towards Automated Blastocyst Microinjections.	ICRA	2007	DBLP DOI BibTeX RDF
22	Nigar Sen Köktas, Nese Yalabik, Günes Yavuzer	Combining Neural Networks for Gait Classification.	CIARP	2006	DBLP DOI BibTeX RDF
21	Craig Haimson, Justin Grossman	A GOMSL analysis of semi-automated data entry.	EICS	2009	DBLP DOI BibTeX RDF	knowledge base, goms, content extraction, data entry
20	Shin Nakajima 0001	Semi-automated diagnosis of FODA feature diagram.	SAC	2010	DBLP DOI BibTeX RDF	FODA feature diagram, graph slicing, satisfiability checking
20	Jan Schaffner, Harald Meyer, Cafer Tosun	A Semi-automated Orchestration Tool for Service-Based Business Processes.	ICSOC Workshops	2006	DBLP DOI BibTeX RDF
20	Sung Chun Lee, Keith E. Price, Ramakant Nevatia, Tom Heinze, John M. Irvine	Semi-automated 3-D Building Extraction from Stereo Imagery.	AIPR	2006	DBLP DOI BibTeX RDF
20	Ali R. Khan, Elizabeth H. Aylward, Patrick Barta, Michael I. Miller, Mirza Faisal Beg	Semi-automated Basal Ganglia Segmentation Using Large Deformation Diffeomorphic Metric Mapping.	MICCAI	2005	DBLP DOI BibTeX RDF
20	Frank Nack, Wolfgang Putz	Saying What it Means: Semi-Automated (News) Media Annotation.	Multim. Tools Appl.	2004	DBLP DOI BibTeX RDF	media annotation, news production tools, MPEG-7, XML-Schema, media production, news production
19	Bruce S. Spottiswoode, Xiaodong Zhong, Aaron T. Hess, C. M. Kramer, Ernesta M. Meintjes, Bongani M. Mayosi, Frederick H. Epstein	Tracking Myocardial Motion From Cine DENSE Images Using Spatiotemporal Phase Unwrapping and Temporal Fitting.	IEEE Trans. Medical Imaging	2007	DBLP DOI BibTeX RDF
19	Mathias Niepert, Cameron Buckner, Colin Allen	A dynamic ontology for a dynamic reference work.	JCDL	2007	DBLP DOI BibTeX RDF	information retrieval, metadata, information extraction, digital humanities, formal ontology, link mining, dynamic ontology
19	Harald Reiterer, Gabriela Mußler, Thomas M. Mann, Siegfried Handschuh	INSYDER - an information assistant for business intelligence.	SIGIR	2000	DBLP DOI BibTeX RDF	(semi) automated search assistants, UIs-visualization organizing and displaying retieval, World Wide Web (WWW), user studies, results
19	Robert W. Bowdidge, William G. Griswold	Supporting the Restructuring of Data Abstractions Through Manipulation of a Program Visualization.	ACM Trans. Softw. Eng. Methodol.	1998	DBLP DOI BibTeX RDF	meaning-preserving restructuring, semi-automated restructuring, star diagram, tool-supported restructuring, software visualization
17	Blaz Fortuna, Nada Lavrac, Paola Velardi	Advancing Topic Ontology Learning through Term Extraction.	PRICAI	2008	DBLP DOI BibTeX RDF	Topic ontology, term extraction, ontology construction
17	Yohei Kurata	Semi-automated Derivation of Conceptual Neighborhood Graphs of Topological Relations.	COSIT	2009	DBLP DOI BibTeX RDF	conceptual neighborhood graphs, conceptual neighbors, 9?+?-intersection, smooth transformation, topological relations
17	Beatrice Chevaillier, Yannick Ponvianne, Jean-Luc Collette, Damien Mandry, Michel Claudon, Olivier Pietquin	Functional semi-automated segmentation of renal DCE-MRI sequences.	ICASSP	2008	DBLP DOI BibTeX RDF
17	Shu-Chiang Lin, Mark R. Lehto	A Bayesian Methodology for Semi-automated Task Analysis.	HCI (8)	2007	DBLP DOI BibTeX RDF	subtask, fuzzy Bayesian, machine learning, narratives, Task analysis
17	Yongde Zhang, Tarun Kanti Podder, Wan Sing Ng, Jason Sherman, Vladimir Misic, Dave Fuller, Edward Messing, Deborah J. Rubens, John G. Strang, Ralph Brasacchio, Yan Yu	Semi-automated Needling and Seed Delivery Device for Prostate Brachytherapy.	IROS	2006	DBLP DOI BibTeX RDF
17	Jayanthkumar Kannan, Jaeyeon Jung, Vern Paxson, Can Emre Koksal	Semi-automated discovery of application session structure.	Internet Measurement Conference	2006	DBLP DOI BibTeX RDF	application sessions, anomaly detection, traffic analysis
17	Antonio Brogi, Razvan Popescu	Towards Semi-automated Workflow-Based Aggregation of Web Services.	ICSOC	2005	DBLP DOI BibTeX RDF
17	Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas	Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures.	WICSA	2005	DBLP DOI BibTeX RDF
17	David C. Brogan, Paul F. Reynolds Jr., Robert G. Bartholet, Joseph C. Carnahan, Yannick Loitière	Semi-automated Simulation Transformation for DDDAS.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
17	Silvana Castano, Valeria De Antonellis, Sabrina De Capitani di Vimercati, Michele Melchiori	Semi-Automated Extraction of Ontological Knowledge from XML Datasources.	DEXA Workshops	2002	DBLP DOI BibTeX RDF
17	Rohini K. Srihari, Zhongfei Zhang	Show&Tell: A Semi-Automated Image Annotation System.	IEEE Multim.	2000	DBLP DOI BibTeX RDF
17	J. R. Guard, F. C. Oglesby, J. H. Bennett, L. G. Settle	Semi-Automated Mathematics.	J. ACM	1969	DBLP DOI BibTeX RDF
16	Steffen Becker 0001, Sven Overhage, Ralf H. Reussner	Classifying Software Component Interoperability Errors to Support Component Adaption.	CBSE	2004	DBLP DOI BibTeX RDF
16	Nicolas Six	A framework for semi-automated design and implementation of blockchain applications. (Un framework pour la conception et l'implémentation semi-automatique d'applications blockchain).		2023	RDF
16	Irina A. Leshcheva, Alena Begler	A method of semi-automated ontology population from multiple semi-structured data sources.	J. Inf. Sci.	2022	DBLP DOI BibTeX RDF
16	Annalisa Minelli, Anna Nora Tassetti, Briony Hutton, Gerardo N. Pezzuti Cozzolino, Toby Jarvis, Gianna Fabi	Semi-Automated Data Processing and Semi-Supervised Machine Learning for the Detection and Classification of Water-Column Fish Schools and Gas Seeps with a Multibeam Echosounder.	Sensors	2021	DBLP DOI BibTeX RDF
16	Leonardo A. Hardtke, Paula D. Blanco, Héctor F. del Valle, Graciela I. Metternicht, Walter F. Sione	Semi-automated mapping of burned areas in semi-arid ecosystems using MODIS time-series imagery.	Int. J. Appl. Earth Obs. Geoinformation	2015	DBLP DOI BibTeX RDF
16	Raymond Phan, Dimitrios Androutsos	A semi-automatic 2D to stereoscopic 3D image and video conversion system in a semi-automated segmentation perspective.	SD&A	2013	DBLP DOI BibTeX RDF
15	Natalie L. Prigozhina, Joseph A. Russo, Alexander Pekurovsky, Hiroki Kita-Matsuo, James W. Clancy, Mark Mercola, Jeffrey H. Price	Toward Automated Analyses of Migration and Differentiation in Cultured Human Embryonic Stem Cells.	ISBI	2007	DBLP DOI BibTeX RDF
15	Elisa Ficarra, Luca Benini, Enrico Macii, Giampaolo Zuccheri	Automated DNA fragments recognition and sizing through AFM image processing.	IEEE Trans. Inf. Technol. Biomed.	2005	DBLP DOI BibTeX RDF
15	Simon Colton, Andreas Meier 0002, Volker Sorge, Roy L. McCasland	Automatic Generation of Classification Theorems for Finite Algebras.	IJCAR	2004	DBLP DOI BibTeX RDF
15	David Konopnicki, Lior Leiba, Oded Shmueli, Yehoshua Sagiv	A Formal Yet Practical Approach to Electronic Commerce.	CoopIS	1999	DBLP DOI BibTeX RDF
15	Michael R. Lowry	Methodologies for Knowledge-Based Software Engineering.	ISMIS	1993	DBLP DOI BibTeX RDF
15	Noah Hollmann, Samuel Müller 0005, Frank Hutter	LLMs for Semi-Automated Data Science: Introducing CAAFE for Context-Aware Automated Feature Engineering.	CoRR	2023	DBLP DOI BibTeX RDF
15	Antonios Georgantas	Vehicle path and traffic flow optimization via lane changing of automated or semi-automated vehicles on motorways.	CoRR	2023	DBLP DOI BibTeX RDF
15	Lambros Mitropoulos, Konstantinos Kouretas, Konstantinos L. Kepaptsoglou, Eleni I. Vlahogianni	Developing a Total Cost of Ownership Model for Semi-Automated, Automated and Electric Vehicles.	SN Comput. Sci.	2022	DBLP DOI BibTeX RDF
15	Maria Spichkova, Johan Van Zyl	Towards computer vision technologies: Semi-automated reading of automated utility meters.	CoRR	2022	DBLP DOI BibTeX RDF
15	Sandra L. Gomez-Perez, Yanyu Zhang, Cecily Byrne, Connor Wakefield, Thomas Geesey, Joy Sclamberg, Sarah Peterson	Concordance of Computed Tomography Regional Body Composition Analysis Using a Fully Automated Open-Source Neural Network versus a Reference Semi-Automated Program with Manual Correction.	Sensors	2022	DBLP DOI BibTeX RDF
15	Saad Alajlan, Frans Coenen, Angrosh Mandya	From Semi-automated to Automated Methods of Ontology Learning from Twitter Data.	IC3K	2019	DBLP DOI BibTeX RDF
15	Georg Rehm, Julián Moreno Schneider, Peter Bourgonje, Ankit Srivastava, Rolf Fricke, Jan Thomsen, Jing He, Joachim Quantz, Armin Berger, Luca König, Sören Räuchle, Jens Gerth, David Wabnitz	Different Types of Automated and Semi-automated Semantic Storytelling: Curation Technologies for Different Sectors.	GSCL	2017	DBLP DOI BibTeX RDF
15	Kristina Doing-Harris, Yarden Livnat, Stéphane M. Meystre	Automated concept and relationship extraction for the semi-automated ontology management (SEAM) system.	J. Biomed. Semant.	2015	DBLP DOI BibTeX RDF
15	Rafael Llobet, Marina Pollán, Joaquín Antón, Josefa Miranda-García, María Casals, Inmaculada Martínez, Francisco Ruiz-Perales, Beatriz Pérez-Gómez, Dolores Salas-Trejo, Juan-Carlos Perez-Cortes	Semi-automated and fully automated mammographic density measurement and breast cancer risk prediction.	Comput. Methods Programs Biomed.	2014	DBLP DOI BibTeX RDF
15	Robert G. Abbott, Kiran Lakkaraju, Christina Warrender	Semi-automated construction of adversarial agents for trainable automated forces.	AAMAS	2014	DBLP BibTeX RDF
15	Jing Zhang 0002, Monte S. Buchsbaum, Kingwai Chu, Erin A. Hazlett	A Manual, Semi-Automated and Automated ROI Study of fMRI Hemodynamic Response.	MedInfo	2013	DBLP DOI BibTeX RDF
15	Filippo Molinari, Kristen M. Meiburger, Luca Saba, U. Rajendra Acharya, Giuseppe Ledda, Guang Zeng, Sin Yee Stella Ho, Anil T. Ahuja, Suzanne C. Ho, Andrew Nicolaides, Jasjit S. Suri	Ultrasound IMT measurement on a multi-ethnic and multi-institutional database: Our review and experience using four fully automated and one semi-automated methods.	Comput. Methods Programs Biomed.	2012	DBLP DOI BibTeX RDF
15	Maria Margarida Ribeiro, Inês Baião Bate, Nuno Caldeira Gonçalves, João Goyri O'Neill, Jaime Cruz Maurício	Automated and semi-automated procedures in the assessment of Coronary Arterial Disease by Computed Tomography.	CompIMAGE	2012	DBLP DOI BibTeX RDF
15	Holly Berty, Marc Simon, Brian E. Chapman	A Semi-Automated Automated Classification of Pulmonary Hypertension based on features of Computed Tomography Pulmonary Angiography images.	AMIA	2012	DBLP BibTeX RDF
15	Marko Wilke, Bianca de Haan, Hendrik Juenger, Hans-Otto Karnath	Manual, semi-automated, and automated delineation of chronic brain lesions: A comparison of methods.	NeuroImage	2011	DBLP DOI BibTeX RDF
15	Klaus H. Fritzsche, Frederik L. Giesel, Tobias Heimann, Philipp A. Thomann, Horst K. Hahn, Johannes Pantel, Johannes Schröder, Marco Essig, Hans-Peter Meinzer	Neurodegenerative changes in Alzheimer's disease: a comparative study of manual, semi-automated, and fully automated assessment using MRI.	Medical Imaging: Computer-Aided Diagnosis	2008	DBLP DOI BibTeX RDF
15	Jong-Min Lee, Uicheul Yoon, Sang Hee Nam, Jung-Hyun Kim, In-Young Kim, Sun I. Kim	Evaluation of automated and semi-automated skull-stripping algorithms using similarity index and segmentation error.	Comput. Biol. Medicine	2003	DBLP DOI BibTeX RDF
15	Iris F. A. Vis, René de Koster, Kees Jan Roodbergen, Leon W. P. Peeters	Determination of the number of automated guided vehicles required at a semi-automated container terminal.	J. Oper. Res. Soc.	2001	DBLP DOI BibTeX RDF
13	Siti Fairuz Yusof, Riza Sulaiman, Lee Thian Seng, Abdul Yazid Mohd. Kassim, Suhail Abdullah, Shahril Yusof, Masbah Omar, Hamzaini Abdul Hamid	Development of Total Knee Replacement Digital Templating Software.	IVIC	2009	DBLP DOI BibTeX RDF	Digital templating, digital X-ray
13	Axel Wismüller, Johannes Behrends, Phil Hoole, Gerda L. Leinsinger, Maximilian F. Reiser, Per-Lennart Westesson	Human Vocal Tract Analysis by in Vivo 3D MRI during Phonation: A Complete System for Imaging, Quantitative Modeling, and Speech Synthesis.	MICCAI (2)	2008	DBLP DOI BibTeX RDF
13	Roy Oberhauser, Rainer Schmidt 0001	Improving the Integration of the Software Supply Chain via the Semantic Web.	ICSEA	2007	DBLP DOI BibTeX RDF
13	Sara Elena Garza Villarreal, José-Luis Aguirre	Just-in-Time Monitoring of Project Activities Through Temporal Reasoning.	MICAI	2007	DBLP DOI BibTeX RDF
13	Andreas Christl, Rainer Koschke, Margaret-Anne D. Storey	Equipping the Reflexion Method with Automated Clustering.	WCRE	2005	DBLP DOI BibTeX RDF
13	George Yee, Larry Korba	Privacy Policy Compliance for Web Services.	ICWS	2004	DBLP DOI BibTeX RDF
13	Jörg Becker 0001, Christian Brelage, Karsten Klose, Michael Thygs	Conceptual modeling of semantic navigation structures: the MoSeNa-approach.	WIDM	2003	DBLP DOI BibTeX RDF	MoSeNa, SocKS, semantic navigation structures, semantic web, conceptual modeling, web-based information-system, information system engineering
13	Marvin Zaluski, Nathalie Japkowicz, Stan Matwin	Case Authoring from Text and Historical Experiences.	AI	2003	DBLP DOI BibTeX RDF
13	I-Ling Yen, Jayabharath Goluguri, Farokh B. Bastani, Latifur Khan, John Linn	A Component-Based Approach for Embedded Software Development.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF
13	Claude Ackad	Statechart-Based HW/SW-Codesign of a Multi-FPGA-Board and a Microprocessor.	FPL	1998	DBLP DOI BibTeX RDF
13	Daniel F. Pontillo, Thomas B. Kinsman, Jeff B. Pelz	SemantiCode: using content similarity and database-driven matching to code wearable eyetracker gaze data.	ETRA	2010	DBLP DOI BibTeX RDF	gaze data analysis, semantic coding, eyetracking
13	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
13	Jantien E. Stoter, Javier M. Morales, Rob L. G. Lemmens, B. M. Meijers, Peter J. M. van Oosterom, Wilko Quak, Harry Uitermark, Linda van den Brink	A Data Model for Multi-scale Topographical Data.	SDH	2008	DBLP DOI BibTeX RDF	knowledge formalisation, generalisation, multi-scale, spatial data modelling
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	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	Juan Hamers, Lieven Eeckhout	Automated hardware-independent scenario identification.	DAC	2008	DBLP DOI BibTeX RDF	scenario-based design, DVFS, video-decoding
13	Chahé Adourian, Hans Vangheluwe	Consistency between geometric and dynamic views of a mechanical system.	SCSC	2007	DBLP BibTeX RDF	concurrent model evolution, multi-view model consistency, simulation, CAD, triple graph grammars, round-trip engineering
13	Valentina V. Zharkova, Stanley S. Ipson, Ali Benkhalil, Sergei I. Zharkov	Feature Recognition in Solar Images.	Artif. Intell. Rev.	2005	DBLP DOI BibTeX RDF	digital solar image, noise smoothing, shape correction, pattern recognition, image segmentation, artificial neural network, edge detection, Bayesian inference, region growing, morphological operations
13	Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng	Improving system dependability by enforcing architectural intent.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
13	Alberto Bartesaghi, Guillermo Sapiro, Sriram Subramaniam	An Energy-Based Three-Dimensional Segmentation Approach for the Quantitative Interpretation of Electron Tomograms.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
13	Aaron Stump	Programming with Proofs: Language-Based Approaches to Totally Correct Software.	VSTTE	2005	DBLP DOI BibTeX RDF
13	Yvo A. Saanen, Margaret V. Valkengoed	Comparison of three automated stacking alternatives by means of simulation.	WSC	2005	DBLP DOI BibTeX RDF
13	Edward A. Ashton, Teresa McShane, Jeffrey L. Evelhoch	Inter-Operator Variability in Perfusion Assessment of Tumors in MRI Using Automated AIF Detection.	MICCAI	2005	DBLP DOI BibTeX RDF
13	Ross Gardler, Nikolay Mehandjiev	Supporting Component-Based Software Evolution.	NetObjectDays	2002	DBLP DOI BibTeX RDF
13	I-Ling Yen, Farokh B. Bastani, Fiaz Mohamed, Hui Ma 0006, John Linn	Application of AI Planning Techniques to Automated Code Synthesis and Testing.	ICTAI	2002	DBLP DOI BibTeX RDF
13	Seth J. Teller	Toward Urban Model Acquisition from Geo-Located Images.	PG	1998	DBLP DOI BibTeX RDF
10	Johanna Vompras, Stefan Conrad 0001	Management and Processing of Personalized Annotations in Image Retrieval Systems.	Advances in Semantic Media Adaptation and Personalization	2008	DBLP DOI BibTeX RDF
10	Adrian Paschke, Harold Boley, Alexander Kozlenkov, Benjamin Larry Craig	Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web.	ICPW	2007	DBLP DOI BibTeX RDF	pragmatic agent web, prova, reaction RuleML, representation languages, rule interchange format, multi agent systems, coordination, complex event processing
10	Ozgul Unal, Hamideh Afsarmanesh	SASMINT System for Database Interoperability in Collaborative Networks.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
10	Zina Ben-Miled, Malika Mahoui, Mindi Dippold, Ali Farooq 0003, Nianhua Li, Omran A. Bukhres	A Wrapper Induction Application with Knowledge Base Support: A Use Case for Initiation and Maintenance of Wrappers.	BIBE	2005	DBLP DOI BibTeX RDF
10	Jeffrey M. Solomon, John A. Butman, Arun Sood	Data Driven Brain Tumor Segmentation in MRI Using Probabilistic Reasoning over Space and Time.	MICCAI (1)	2004	DBLP DOI BibTeX RDF
10	Boris Vrdoljak, Marko Banek, Stefano Rizzi	Designing Web Warehouses from XML Schemas.	DaWaK	2003	DBLP DOI BibTeX RDF