Search results for "approaches"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Benjamin Tyler, Neelam Soundarajan	Black-Box Testing of Grey-Box Behavior.	FATES	2003	DBLP DOI BibTeX RDF
12	Olaf Henniger, Miao Lu, Hasan Ural	Automatic Generation of Test Purposes for Testing Distributed Systems.	FATES	2003	DBLP DOI BibTeX RDF
12	Machiel van der Bijl, Arend Rensink, Jan Tretmans	Compositional Testing with ioco.	FATES	2003	DBLP DOI BibTeX RDF
12	Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou	Time-Optimal Real-Time Test Case Generation Using Uppaal.	FATES	2003	DBLP DOI BibTeX RDF
12	Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon	Property Oriented Test Case Generation.	FATES	2003	DBLP DOI BibTeX RDF
12	Guoqing Xu, Zongyuang Yang	JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit.	FATES	2003	DBLP DOI BibTeX RDF
12	Ahyoung Sung, Byoungju Choi	Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation.	FATES	2003	DBLP DOI BibTeX RDF
12	Harm M. A. van Beek, Sjouke Mauw	Automatic Conformance Testing of Internet Applications.	FATES	2003	DBLP DOI BibTeX RDF
12	Timo Aaltonen	Defining Observation Objectives for Reactive and Distributed Systems.	FATES	2003	DBLP DOI BibTeX RDF
12	Alper Sen 0001, Vijay K. Garg	On Checking Whether a Predicate Definitely Holds.	FATES	2003	DBLP DOI BibTeX RDF
12	Tao Xie 0001, David Notkin	Mutually Enhancing Test Generation and Specification Inference.	FATES	2003	DBLP DOI BibTeX RDF
12	Michael Barnett 0001, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes	Towards a Tool Environment for Model-Based Testing with AsmL.	FATES	2003	DBLP DOI BibTeX RDF
12	Ahmed Khoumsi, Thierry Jéron, Hervé Marchand	Test Cases Generation for Nondeterministic Real-Time Systems.	FATES	2003	DBLP DOI BibTeX RDF	Conformance test cases generation, Determinizable Timed Automata (DTA), Set-Exp-Automata (SEA), Real-time systems, Test architecture
12	Bonnie Kaplan, Jos Aarts, Marilynne Hebert, Ela Klecun-Dabrowska, Deborah Lewis, Vivian Vimarlund, Niki Elis	New Approaches To Evaluation: Alternatives To The Randomized Controlled Trial Qualitative Approaches to Design and Evaluation: Theory and Practice.	MedInfo	2001	DBLP DOI BibTeX RDF
12	Éric Würbel, Robert Jeansoulin, Odile Papini	Spatial Information Revision: A Comparison between 3 Approaches.	ECSQARU	2001	DBLP BibTeX RDF
12	Giovanna Dondossola, Oliver Botti	System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches.	FASE	2000	DBLP DOI BibTeX RDF
12	Patrick Juola	Phonetic Ambiguity : Approaches, Touchstones, Pitfalls and New Approaches	CoRR	1996	DBLP BibTeX RDF
12	Stefan Wermter, Ellen Riloff, Gabriele Scheler	Learning approaches for natural language processing.	Learning for Natural Language Processing	1995	DBLP DOI BibTeX RDF
12	Petra Geutner, Bernhard Suhm, Finn Dag Buø, Thomas Kemp, Laura Mayfield, Arthur E. McNair, Ivica Rogina, Tanja Schultz, Tilo Sloboda, Wayne H. Ward, Monika Woszczyna, Alex Waibel	Integrating different learning approaches into a multilingual spoken language translation system.	Learning for Natural Language Processing	1995	DBLP DOI BibTeX RDF
12	Pedro Larrañaga, Yosu Yurramendi	Structure learning approaches in Causal Probalistics Networks.	ECSQARU	1993	DBLP DOI BibTeX RDF
12	Bernd E. Hirsch, Klaus-Dieter Thoben (eds.)	'One-Of-A-Kind' Production: New Approaches, Proceedings of the IFIP TC5/WG5.7 Working Conference on New Approaches towards 'One-Of-A-Kind' Production, Bremen, Germany, 12-14 November 1991	One-Of-A-Kind Production	1992	DBLP BibTeX RDF
12	Birgitt Feldman, Hong Wei	A New Approach Towards the Implementation of Human-Centred CIM in Vocational Education.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Bernd Hamacher	Human Resource Management at he Heart of One-of-a-Kind Production.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Jens O. Riis, Harry Scgaard Mortensen, John Johansen	A New Concept for Managing One-of-a-kind Production.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Peter Winkler	Production of Individual Dental Restorations Using CAD/CAM Technology.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Cláudio Walter, Otto Ries	Computer Aided Quotations for the Capital Goods Industry.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	R. Rockwell	Software Factories: The Industrial Production of "Mind-Stuff".	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Michiel van Genuchten	Production Control in a Software Factory.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	D. Leevers, C. Condon, Birgit Lutz-Kunisch, Reinhard Ahlers	The DIMUN Project - Experiences with Multimedia Communication in One-of-a-Kind Manufacturing.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Bernd E. Hirsch	Future Research in One-of-a-Kind Production.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	George L. Kovács, István Mezgár, Elizabeth Szelke, M. Girnt	One-of-a-Kind Production - A Concurrent Engineering Approach.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Guy Doumeingts	Address of the Chairman of the IFIP Working Group 5.7.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	John C. Wortmann	Factory of the Furture: Towards an Integrated Theory for One-of-a-Kind Production.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Dieter K. Hammer	The Use of a Distributed Operating System (DOS) for the Construction of Automatic Production Environments.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Markus G. Lehne, Jürgen Wollert	Integrated Process and Product Modeling in Shipbuilding Industry - Why and How.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Thorsten Kuhlmann	A Revolving Planning and Control System.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	C. Glardon, L. Kling, N. Kohler, Thomas M. Liebling	Building Refurbishment as One-of-a-Kind Process.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	J. Levold, D. Rinne	Spacecraft Experience in One-of-a-Kind Products.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Robert Los, Daniel Béziau, Joachim Brodda, Jochen Marzi	Development and Use of an Integrated Reference Model for One-of-a-Kind Construcction Site Manufacturing.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Zbigniew Karaszewski	Strategy for Maritime Research and Development.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Kai Mertins, A. Salisch, F. Duttenhofer	Software Architectures Supporting Tailor-Made Look and Feel of Customized Applications.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	H. J. Pels, F. J. Erens	Dynamic Integration in Modular Organizations.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Reinhart W. Mayer	Concurrent and Integral Design - A New Approach to CAD.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Guy Doumeingts	"Round Table": One-of-a-Kind Production - Potential Evolution.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Richard Lee Storch	Material Based Project Scheduling of Large Assembly Manufacturing Systems.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	S. W. McCarthy, J. J. Harris	Configuration of Advanced CIM Systems to Suit "One-of-a-Kind" Manufactures.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	D. Zeyfang, R. Hesse	New Organizational Structures for Automobile Assembly.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Siegfried Augustin, J. Ruffer	How to Reduce Lead-Time in R&D, the Application of Logistic Thinking on the "One-of-a-Kind" Business.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	P. Lecocq, D. Braeckman	The Modelling and Analysis of the Production Activities to Prepare the CIM Approach in One-of-a-Kind Production Systems.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Hermann W. Rutsch, Christian Lischke	Cost and Time Reduction through the Optimisation of Information Exchange Processes in the Periphery of Technical Application Systems Concerning One-of-a-Kind Products.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	Gert Zülch, Thomas Grobel	Simulating the Departmental Organization for Production to Order.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
12	P. H. Steffen	FOCON - A Communication Approach for One-of-a-Kind Production.	One-Of-A-Kind Production	1991	DBLP BibTeX RDF
11	Dominik Birkmeier, Sven Overhage	On Component Identification Approaches - Classification, State of the Art, and Comparison.	CBSE	2009	DBLP DOI BibTeX RDF
11	Yu-Ping Wang, Maheswar Gunampally, Jie Chen 0008, Douglas Bittel, Merlin G. Butler, Wei-Wen Cai	A Comparison of Fuzzy Clustering Approaches for Quantification of Microarray Gene Expression.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	microarray gridding, image segmentation, segmentation, fuzzy clustering, microarray
11	Sherif Sakr	XSelMark: A Micro-benchmark for Selectivity Estimation Approaches of XML Queries.	DEXA	2008	DBLP DOI BibTeX RDF
11	Kenneth Weiss 0001, Leila De Floriani	Modeling and Visualization Approaches for Time-Varying Volumetric Data.	ISVC (2)	2008	DBLP DOI BibTeX RDF
11	Helen Schonenberg, Ronny Mans, Nick Russell, Nataliya Mulyar, Wil M. P. van der Aalst	Process Flexibility: A Survey of Contemporary Approaches.	CIAO! / EOMAS	2008	DBLP DOI BibTeX RDF	flexible PAIS, design, Taxonomy, change, deviation, underspecification
11	Arilo Claudio Dias Neto, Guilherme Horta Travassos	Surveying model based testing approaches characterization attributes.	ESEM	2008	DBLP DOI BibTeX RDF	software testing, survey, model-based testing, experimental software engineering
11	Horst Kargl, Manuel Wimmer	SmartMatcher - How Examples and a Dedicated Mapping Language can Improve theQuality of Automatic Matching Approaches.	CISIS	2008	DBLP DOI BibTeX RDF
11	Minglun Gong, Ruigang Yang, Liang Wang 0002, Mingwei Gong	A Performance Study on Different Cost Aggregation Approaches Used in Real-Time Stereo Matching.	Int. J. Comput. Vis.	2007	DBLP DOI BibTeX RDF	real-time stereo matching, cost aggregation algorithms, programmable graphics hardware
11	Wenyu Qu, Masaru Kitsuregawa, Keqiu Li	Performance analysis on mobile agent-based parallel information retrieval approaches.	ICPADS	2007	DBLP DOI BibTeX RDF
11	Lorenz Froihofer, Gerhard Glos, Johannes Osrael, Karl M. Göschka	Overview and Evaluation of Constraint Validation Approaches in Java.	ICSE	2007	DBLP DOI BibTeX RDF
11	Tibor Bosse, Mark Hoogendoorn, Jan Treur	Automated Evaluation of Coordination Approaches.	COORDINATION	2006	DBLP DOI BibTeX RDF
11	Qingxiang Wu, Jianyong Cai, Girijesh Prasad, T. Martin McGinnity, David A. Bell, Jiwen Guan	A Novel Discretizer for Knowledge Discovery Approaches Based on Rough Sets.	RSKT	2006	DBLP DOI BibTeX RDF	continuous attribute discretization, rough sets, Knowledge discovery, decision-making, data preparation
11	Anupam Bhattacharjee, Kazi Zakia Sultana, Zalia Shams	Dynamic and Parallel Approaches to Optimal Evolutionary Tree Construction.	CCECE	2006	DBLP DOI BibTeX RDF
11	Hongzhi Liang, Jürgen Dingel, Zinovy Diskin	A comparative survey of scenario-based to state-based model synthesis approaches.	SCESM	2006	DBLP DOI BibTeX RDF	model, UML, petri nets, synthesis, scenario, SDL, state machines, MSC
11	Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi	Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking.	CAV	2005	DBLP DOI BibTeX RDF
11	Shinya Watanabe, Kazutoshi Sakakibara	Multi-objective approaches in a single-objective optimization environment.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
11	Vo Dinh Minh Nhat, Sungyoung Lee	Line-Based PCA and LDA Approaches for Face Recognition.	ICNC (2)	2005	DBLP DOI BibTeX RDF
11	Daan Fierens, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe	A Comparison of Approaches for Learning Probability Trees.	ECML	2005	DBLP DOI BibTeX RDF
11	Stelian Alupoaei, Srinivas Katkoori	Net Clustering Based Constructive and Iterative Improvement Approaches for Macro-Cell Placement.	J. VLSI Signal Process.	2004	DBLP DOI BibTeX RDF	net clustering, macro-cell placement, cluster growth, wirelength optimization, simulated annealing
11	Antti Oulasvirta, Antti Salovaara	A cognitive meta-analysis of design approaches to interruptions in intelligent environments.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	context-aware computing, interruptions, intelligent environment, cognitive psychology
11	Giacomo Cabri, Luca Ferrari 0002, Letizia Leonardi	Agent role-based collaboration and coordination: a survey about existing approaches.	SMC (6)	2004	DBLP DOI BibTeX RDF
11	Sven Schade, Arnd Sahlmann, Michael Lutz 0001, Florian Probst, Werner Kuhn	Comparing Approaches for Semantic Service Description and Matchmaking.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF
11	Sing-Hoi Sze, Songjian Lu, Jianer Chen	Integrating Sample-Driven and Pattern-Driven Approaches in Motif Finding.	WABI	2004	DBLP DOI BibTeX RDF
11	Martin Bernauer, Gerti Kappel, Gerhard Kramler	Comparing WSDL-Based and ebXML-Based Approaches for B2B Protocol Specification.	ICSOC	2003	DBLP DOI BibTeX RDF
11	Nuno Amálio, Fiona Polack	Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z.	ZB	2003	DBLP DOI BibTeX RDF	formalisation, UML, specification, Z, Object-Z
11	Alexandru Stancu, Vicenç Puig, Pep Cugueró, Joseba Quevedo	Benchmarking on Approaches to Interval Observation Applied to Robust Fault Detection.	COCOS	2003	DBLP DOI BibTeX RDF
11	Jia-Lien Hsu, Arbee L. P. Chen, Hung-Chen Chen, Ning-Han Liu	The effectiveness study of various music information retrieval approaches.	CIKM	2002	DBLP DOI BibTeX RDF	evaluation platform, retrieval methods, performance study, retrieval effectiveness, music database
11	Vadim Kuznetsov, Helena Sandström, Andrei Simkin	An Evaluation of Different IP Traceback Approaches.	ICICS	2002	DBLP DOI BibTeX RDF
11	Christopher J. Atkinson, Tillal Eldabi, Ray J. Paul, Athanasia Pouloudi	Investigating Integrated Socio-Technical Approaches to Health Informatics.	HICSS	2001	DBLP DOI BibTeX RDF	SISTeM, Simulation, Information Systems, Stakeholders, Health Informatics, ANT
11	M. Al-ladan	A Survey and a Taxonomy of Approaches for Testing Parallel and Distributed Programs.	AICCSA	2001	DBLP DOI BibTeX RDF
11	Bertin Klein, Serdar Gökkus, Thomas Kieninger, Andreas Dengel 0001	Three Approaches to "Industrial" Table Spotting.	ICDAR	2001	DBLP DOI BibTeX RDF
11	Jason Brand, John S. D. Mason	A Comparative Assessment of Three Approaches to Pixel-Level Human Skin-Detection.	ICPR	2000	DBLP DOI BibTeX RDF
11	Christian Wöhler, Ulrich Kressel, Joachim K. Anlauf	Pedestrian Recognition by Classification of Image Sequences - Global Approaches vs. Local Spatio-Temporal Processing.	ICPR	2000	DBLP DOI BibTeX RDF
11	Alan T. Murray	Spatial analysis using clustering methods: Evaluating central point and median approaches.	J. Geogr. Syst.	1999	DBLP DOI BibTeX RDF
11	Sandhya Dwarkadas, Kourosh Gharachorloo, Leonidas I. Kontothanassis, Daniel J. Scales, Michael L. Scott, Robert Stets	Comparative Evaluation of Fine- and Coarse-Grain Approaches for Software Distributed Shared Memory.	HPCA	1999	DBLP DOI BibTeX RDF
11	Amir Pnueli	Deductive vs. Model-Theoretic Approaches to Formal Verification (Abstract of Invited Talk).	CADE	1998	DBLP DOI BibTeX RDF
11	Carme Torras, Gabriela Cembraño, José del R. Millán, Gordon Wells	Neural Approaches to Robot Control: Four Representative Applications.	IWANN	1995	DBLP DOI BibTeX RDF
11	Michael Benisch, Norman M. Sadeh	Examining DCSP coordination tradeoffs.	AAMAS	2006	DBLP DOI BibTeX RDF	constraint processing, computational complexity, agent systems, cooperative distributed problem solving
11	Lori A. Clarke	Finite state verification: An emerging technology for validating software systems (abstract only).	ISSTA	2000	DBLP DOI BibTeX RDF
10	Mayo Fuster Morell, Benjamin Mako Hill	Reviewing and challenging socio-political approaches in the analysis of open collaboration and collective action online.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF
10	Ayaz Khan, Uffe Kock Wiil, Nasrullah Memon	Digital Forensics and Crime Investigation: Legal Issues in Prosecution at National Level.	SADFE	2010	DBLP DOI BibTeX RDF	Cyber Laws, Electronic Devices, Digital Forensics, Digital Evidence, Forensic Analysis
10	Muhammad Ali Babar 0001, Pekka Abrahamsson	Architecture-Centric Methods and Agile Approaches.	XP	2009	DBLP DOI BibTeX RDF
10	André Pimenta Freire, Christopher Power, Helen Petrie, Eduardo Hideki Tanaka, Heloisa Vieira da Rocha, Renata Pontin de Mattos Fortes	Web Accessibility Metrics: Effects of Different Computational Approaches.	HCI (7)	2009	DBLP DOI BibTeX RDF	accessibility metrics, Web accessibility, expert evaluation
10	Nakarin Suppakun, Songrit Maneewongvatana	Automatic and Semi-automatic Approaches for Selecting Prominent Spatial Filters of CSP in BCI Applications.	Brain Informatics	2009	DBLP DOI BibTeX RDF
10	Henning Zimmer, Michael Breuß, Joachim Weickert, Hans-Peter Seidel	Hyperbolic Numerics for Variational Approaches to Correspondence Problems.	SSVM	2009	DBLP DOI BibTeX RDF
10	Michael Spahn, Volker Wulf	End-User Development for Individualized Information Management: Analysis of Problem Domains and Solution Approaches.	ICEIS	2009	DBLP DOI BibTeX RDF	Empirical Studies, Information Management, End-User Development, Information System Design
10	Bruno Codenotti, Benton McCune, Sriram V. Pemmaraju, Rajiv Raman 0001, Kasturi R. Varadarajan	An experimental study of different approaches to solve the market equilibrium problem.	ACM J. Exp. Algorithmics	2008	DBLP DOI BibTeX RDF	Market equilibrium
10	Hoksung Yau, Yunpeng Pan, Leyuan Shi	New Solution Approaches to the General Single- Machine Earliness-Tardiness Problem.	IEEE Trans Autom. Sci. Eng.	2008	DBLP DOI BibTeX RDF