Search results for "cutpoints"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Dan Zhu, Tun Li, Yang Guo 0003, Sikun Li	2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions.	ISQED	2008	DBLP DOI BibTeX RDF	cutpoints, Program slicing, Sequential equivalence checking
63	Chandan Karfa, Dipankar Sarkar 0001, Chitta Mandal, P. Kumar	An Equivalence-Checking Method for Scheduling Verification in High-Level Synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
63	Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar 0001, S. R. Pentakota, Chris Reade	A Formal Verification Method of Scheduling in High-level Synthesis.	ISQED	2006	DBLP DOI BibTeX RDF
54	Xiushan Feng, Alan J. Hu	Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification.	DAC	2006	DBLP DOI BibTeX RDF	cutpoints, formal equivalence checking, software, RTL
52	Xiushan Feng, Alan J. Hu	Cutpoints for formal equivalence verification of embedded software.	EMSOFT	2005	DBLP DOI BibTeX RDF	formal verification, embedded software, equivalence checking
31	Christian Thiele	Variability of optimal cutpoints in clinical psychology: simulation, software, and applications.		2023	RDF
31	Christian Thiele, Gerrit Hirschfeld	cutpointr: Improved Estimation and Validation of Optimal Cutpoints in R.	J. Stat. Softw.	2021	DBLP DOI BibTeX RDF
31	Aleksejs Naumovs, Maksims Dimitrijevs, Abuzer Yakaryilmaz	The minimal probabilistic and quantum finite automata recognizing uncountably many languages with fixed cutpoints.	Discret. Math. Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
31	Aleksejs Naumovs, Maksims Dimitrijevs, Abuzer Yakaryilmaz	The minimal probabilistic and quantum finite automata recognizing uncountably many languages with fixed cutpoints.	CoRR	2019	DBLP BibTeX RDF
31	Magdalena Ogluszka, Magdalena Orzechowska, Dorota Jedroszka, Piotr Witas, Andrzej K. Bednarek	Evaluate Cutpoints: Adaptable continuous data distribution system for determining survival in Kaplan-Meier estimator.	Comput. Methods Programs Biomed.	2019	DBLP DOI BibTeX RDF
31	Georg Dietrich, Florian Lemmerich, Frank Puppe	Smoothed Discretization for Simplified Cutpoints.	LWA	2013	DBLP BibTeX RDF
31	Martin Anthony, Joel Ratsaby	Robust cutpoints in the logical analysis of numerical data.	Discret. Appl. Math.	2012	DBLP DOI BibTeX RDF
31	Andreas W. M. Dress, Katharina T. Huber, Jacobus H. Koolen, Vincent Moulton, Andreas Spillner 0001	An Algorithm for Computing Cutpoints in Finite Metric Spaces.	J. Classif.	2010	DBLP DOI BibTeX RDF
31	Andreas W. M. Dress, Katharina T. Huber, Jacobus H. Koolen, Vincent Moulton, Andreas Spillner 0001	An algorithm for computing cutpoints in finite metric spaces	CoRR	2009	DBLP BibTeX RDF
31	Mingzhi Chen, Lun Yu, Shuili Chen	A fast cutpoints sieve method for interval-valued decision tree.	ISKE	2008	DBLP DOI BibTeX RDF
31	Anne-Laure Boulesteix, Carolin Strobl	Maximally selected Chi-squared statistics and non-monotonic associations: An exact approach based on two cutpoints.	Comput. Stat. Data Anal.	2007	DBLP DOI BibTeX RDF
31	Martín Eduardo Frías-Armenta, Francisco Larrión, Victor Neumann-Lara, Miguel A. Pizaña	Local cutpoints and iterated clique graphs.	Electron. Notes Discret. Math.	2005	DBLP DOI BibTeX RDF
31	Murlikrishna Viswanathan, Chris S. Wallace, David L. Dowe, Kevin B. Korb	Finding Cutpoints in Noisy Binary Sequences - A Revised Empirical Evaluation.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
31	Stanley M. Selkow	The enumeration of labeled graphs by number of cutpoints.	Discret. Math.	1998	DBLP DOI BibTeX RDF
31	Stavros D. Nikolopoulos, Stylianos D. Danielopoulos	Fast Parallel Algorithms for Finding Cutpoints and Bridges of Undirected Graphs.	Parallel Algorithms Appl.	1994	DBLP DOI BibTeX RDF
31	Earl Glen Whitehead Jr., Lian-Chang Zhao	Cutpoints and the chromatic polynomial.	J. Graph Theory	1984	DBLP DOI BibTeX RDF
31	Alberto Bertoni, Giancarlo Mauri, Mauro Torelli	Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata.	ICALP	1977	DBLP DOI BibTeX RDF
21	Katherine Moreland, Klaus Truemper	Discretization of Target Attributes for Subgroup Discovery.	MLDM	2009	DBLP DOI BibTeX RDF	Classification, Feature Selection, Logic, Subgroup Discovery
21	Dan Hu, Xianchuan Yu, Yuanfu Feng	DbEr: A New Discretization Algorithm Based on the Entropy of Relation.	FSKD (5)	2008	DBLP DOI BibTeX RDF
21	Warren A. Hunt Jr., Robert Bellarmine Krug, Sandip Ray, William D. Young	Mechanized Information Flow Analysis through Inductive Assertions.	FMCAD	2008	DBLP DOI BibTeX RDF
21	David S. Hardin, Eric W. Smith, William D. Young	A robust machine code proof framework for highly secure applications.	ACL2	2006	DBLP DOI BibTeX RDF	cryptography, theorem proving, certification, symbolic simulation, ACL2, high-assurance, processor modeling
21	John Matthews, J Strother Moore, Sandip Ray, Daron Vroon 0001	Verification Condition Generation Via Theorem Proving.	LPAR	2006	DBLP DOI BibTeX RDF
21	Alexey Gotsman, Josh Berdine, Byron Cook	Interprocedural Shape Analysis with Separated Heap Abstractions.	SAS	2006	DBLP DOI BibTeX RDF
21	Wei Huang, Pushan Tang, Min Ding 0004	Sequential equivalence checking using cuts.	ASP-DAC	2005	DBLP DOI BibTeX RDF
21	Art Kazmierczak, Sridhar Radhakrishnan	An Optimal Distributed Ear Decomposition Algorithm with Applications to Biconnectivity and Outerplanarity Testing.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	biconnectivity testing, outerplanarity testing, Distributed algorithm, message complexity, depth first search, ear decomposition
21	David K. Probst, Hon Fung Li	Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems.	CAV	1990	DBLP DOI BibTeX RDF	delay-insensitive system, branching point, recurrence structure, behavior machine, behavior state, model checking, state explosion, partial-order semantics
21	Chandra M. R. Kintala, Detlef Wotschke	Concurrent Conciseness of Degree, Probabilistic, Nondeterministic and Deterministic Finite Automata (Extended Abstract).	STACS	1986	DBLP DOI BibTeX RDF