Search results for "exhaustiveness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
135	Robert D. van der Mei, Hanoch Levy	Polling systems in heavy traffic: Exhaustiveness of service policies.	Queueing Syst. Theory Appl.	1997	DBLP DOI BibTeX RDF	expected delay, classification, monotonicity, heavy traffic, polling systems, exhaustiveness, service disciplines
53	Jocelyn Cohan	Consider the Alternatives: Focus in Contrast and Context.	CONTEXT	2001	DBLP DOI BibTeX RDF
48	Norbert Gövert, Norbert Fuhr, Mounia Lalmas, Gabriella Kazai	Evaluating the effectiveness of content-oriented XML retrieval methods.	Inf. Retr.	2006	DBLP DOI BibTeX RDF	Exhaustiveness and specificity, Evaluation, Metrics, Effectiveness, XML retrieval
33	Xinye Xiong, Xingyao Han, Zhe Liu 0022, Hesheng Wang 0001	Exhaustiveness Does Not Necessarily Mean Better: Selective Task Planning for Multi-robot Systems.	ROBIO	2023	DBLP DOI BibTeX RDF
33	Letícia Kristian Silva Cecotti, Maurício Dorneles Caldeira Balboni, Oscar Emilio Arrúa Arce, Karina dos Santos Machado, Adriano Velasque Werhli	A Non Exhaustive Search of Exhaustiveness.	BSB	2022	DBLP DOI BibTeX RDF
33	Michael Paris, Robert Jäschke	How to Assess the Exhaustiveness of Longitudinal Web Archives: A Case Study of the German Academic Web.	HT	2020	DBLP DOI BibTeX RDF
33	Jacques Garrigue, Jacques Le Normand	GADTs and Exhaustiveness: Looking for the Impossible.	ML Family/OCaml	2015	DBLP DOI BibTeX RDF
33	Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, Petar Maksimovic	Analyzing the exhaustiveness of the Synapse protocol.	Peer-to-Peer Netw. Appl.	2015	DBLP DOI BibTeX RDF
33	Paula Jaramillo, Çagatay Kayi, Flip Klijn	On the exhaustiveness of truncation and dropping strategies in many-to-many matching markets.	Soc. Choice Welf.	2014	DBLP DOI BibTeX RDF
33	Agata Caserta, Ljubisa D. R. Kocinac	On statistical exhaustiveness.	Appl. Math. Lett.	2012	DBLP DOI BibTeX RDF
33	Ralph Moritz, Tamara Ulrich, Lothar Thiele, Susanne Bürklen	Mutation operator characterization: Exhaustiveness, locality, and bias.	IEEE Congress on Evolutionary Computation	2011	DBLP DOI BibTeX RDF
33	Ivo Düntsch, Beata Konikowska	A Multi-modal Logic for Disagreement and Exhaustiveness.	Fundam. Informaticae	2007	DBLP BibTeX RDF
33	Katharina Weinberger, Slava Bulach, Wolfgang Rosenstiel	Property Set Exhaustiveness Estimation Approach for BMC-based Formal Hardware Verification.	MBMV	2007	DBLP BibTeX RDF
31	J. Dunn, Chunlai Zhou	Negation in the Context of Gaggle Theory.	Stud Logica	2005	DBLP DOI BibTeX RDF	gaggle theory, perp, compatibility frames, exhaustiveness frames, minimal negation, orthonegation
18	Luigi Liquori, Cédric Tedeschi, Francesco Bongiovanni	Babelchord: a social tower of DHT-based overlay networks.	ISCC	2009	DBLP DOI BibTeX RDF
18	Börkur Sigurbjörnsson, Roelof van Zwol	Flickr tag recommendation based on collective knowledge.	WWW	2008	DBLP DOI BibTeX RDF	aggregated tag suggestion, tag characterisation, tag co-occurence, flickr, tag recommendation, photo annotations, collective knowledge
18	Jan Tretmans	Model Based Testing with Labelled Transition Systems.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
18	Thomas Ball, Orna Kupferman	Vacuity in Testing.	TAP	2008	DBLP DOI BibTeX RDF
18	Andrea Fedeli, Franco Fummi, Graziano Pravadelli	Properties Incompleteness Evaluation by Functional Verification.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	property coverage, Model checking, fault models, functional verification
18	Franco Fummi, Cristina Marconcini, Graziano Pravadelli, Ian G. Harris	A CLP-Based Functional ATPG for Extended FSMs.	MTV	2007	DBLP DOI BibTeX RDF
18	Jari Vanhanen, Pekka Abrahamsson	Perceived Effects of Pair Programming in an Industrial Context.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF
18	Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov	Cross-Entropy Based Testing.	FMCAD	2007	DBLP DOI BibTeX RDF
18	Ricardo Toledo, Ramon Baldrich, Xavier Orriols, Juan Sanchez, Xavier Binefa	Automatic cataloguing of advertisement in magazines.	Multim. Tools Appl.	2006	DBLP DOI BibTeX RDF	Computer-aided visual inspection, Content-based image retrieval, Multimedia system, Document image analysis
18	Hana Chockler, Orna Kupferman, Moshe Y. Vardi	Coverage metrics for formal verification.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Algorithms, Model checking, Formal verification, Coverage metrics
18	Byung-Gyu Kim, Suk-Kyu Song, Chang-Sik Cho	Efficient Inter-Mode Decision Based on Contextual Prediction for the P-Slice in H.264/AVC Video Coding.	ICIP	2006	DBLP DOI BibTeX RDF
18	Alexander Kamkin	The UniTESK Approach to Specification-Based Validation of Hardware Designs.	ISoLA	2006	DBLP DOI BibTeX RDF
18	Orna Kupferman	Sanity Checks in Formal Verification.	CONCUR	2006	DBLP DOI BibTeX RDF
18	Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde	Deriving tabular event-based specifications from goal-oriented requirements models.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	Specification transformation, Lightweight formal analysis, Goal-oriented requirements engineering, Method integration, SCR
18	Jason Baumgartner, Andreas Kuehlmann	Enhanced Diameter Bounding via Structural.	DATE	2004	DBLP DOI BibTeX RDF
18	Jaana Kekäläinen, Marko Junkkari, Paavo Arvola, Timo Aalto	TRIX 2004 - Struggling with the Overlap.	INEX	2004	DBLP DOI BibTeX RDF
18	Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde	Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models.	RE	2003	DBLP DOI BibTeX RDF
18	Hana Chockler, Orna Kupferman, Moshe Y. Vardi	Coverage Metrics for Formal Verification.	CHARME	2003	DBLP DOI BibTeX RDF
18	Haruo Hosoya, Benjamin C. Pierce	Regular expression pattern matching for XML.	POPL	2001	DBLP DOI BibTeX RDF	XML
18	Akira Ishikawa	A Functional Operator-Based Morphological Analysis of Japanese.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
18	Fabrice Le Fessant, Luc Maranget	Optimizing Pattern Matching.	ICFP	2001	DBLP DOI BibTeX RDF	ML
18	Umberto Rossi, Andrea Fedeli, Marco Boschini, Franco Toto	Concrete Impact of Formal Verification on Quality in IP Design and Implementation.	ISQED	2001	DBLP DOI BibTeX RDF
18	Thomas Bittner, Barry Smith 0001	A Taxonomy of Granular Partitions.	COSIT	2001	DBLP DOI BibTeX RDF
18	Henri Tobiet, Pascal Lorenz	Performance Measurement Methodologies and Quality of Service Evaluation in VoIP and Desktop Videoconferencing Networks.	Mobile and Wireless Communication Networks	2000	DBLP DOI BibTeX RDF
18	Vladimir Kvassov	Strategic Decisions and Intelligent Tools.	HICSS	2000	DBLP DOI BibTeX RDF
18	Yosuke Hayashi, Satoshi Matsumoto, Ayumi Shinohara, Masayuki Takeda	Uniform Characterizations of Polynomial-Query Learnabilities.	Discovery Science	1998	DBLP DOI BibTeX RDF
18	Dimitri Papadopoulos-Orfanos, Francis Schmitt	Automatic 3 -- D Digitization using a Laser Rangefinder with a Small Field of View.	3DIM	1997	DBLP DOI BibTeX RDF	surface digitization, 3-D digitization, 3-D laser rangefinder, path planning techniques, collision avoidance, image sensors, digitized object, laser rangefinder
18	Manuel Fähndrich, John Boyland	Statically Checkable Pattern Abstractions.	ICFP	1997	DBLP DOI BibTeX RDF	ML
18	Mikael Pettersson	A Term Pattern-Match Compiler Inspired by Finite Automata Theory.	CC	1992	DBLP DOI BibTeX RDF
18	Warwick B. Mugridge, John Hamer, John G. Hosking	Multi-Methods in a Statically-Typed Programming Language.	ECOOP	1991	DBLP DOI BibTeX RDF	contravariance, object-oriented, polymorphism, static-typing, multi-methods
18	Norbert Eisinger	What You Always Wanted to Know About Clause Graph Resolution.	CADE	1986	DBLP DOI BibTeX RDF	Clause Graphs, Completeness, Strategies, Resolution, Confluence, Connection Graphs