Search results for "Cutpoint"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
153	Alain Hertz, Sacha Varone	The Metric Cutpoint Partition Problem.	J. Classif.	2008	DBLP DOI BibTeX RDF	Optimal realizations, Cutpoint, Metric spaces, Bridge, Polynomial algorithm
76	Noam Rinetzky, Mooly Sagiv, Eran Yahav	Interprocedural Shape Analysis for Cutpoint-Free Programs.	SAS	2005	DBLP DOI BibTeX RDF
44	Willi Sauerbrei	Investigations on Stability and Overoptimism of Classification Trees by Using Cross-Validation.	ISMDA	2001	DBLP DOI BibTeX RDF
33	George K. Papakonstantinou	A Method to Generate the Prime Cascades of an Arbitrary Switching Function.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	Cutpoint cellular array, prime cascade, logical design
31	Rex Parsons, Robin D. Blythe, Susanna M. Cramb, Steven M. McPhail	Integrating economic considerations into cutpoint selection may help align clinical decision support toward value-based healthcare.	J. Am. Medical Informatics Assoc.	2023	DBLP DOI BibTeX RDF
31	Vitor Tocci F. de Luca, Fabiano de S. Oliveira, Jayme Luiz Szwarcfiter	B1-EPG representations using block-cutpoint trees.	CoRR	2021	DBLP BibTeX RDF
31	Paul C. Bell, Pavel Semukhin	Decidability of cutpoint isolation for letter-monotonic probabilistic finite automata.	CoRR	2020	DBLP BibTeX RDF
31	Paul C. Bell, Pavel Semukhin	Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs.	CONCUR	2020	DBLP DOI BibTeX RDF
31	Lei Zhang, Ying Zhu 0001	CutPointVis: An Interactive Exploration Tool for Cancer Biomarker Cutpoint Optimization.	ISVC (1)	2016	DBLP DOI BibTeX RDF
31	Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav	Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs.	Programming Logics	2013	DBLP DOI BibTeX RDF
31	Gisela Tunes-da-Silva, John P. Klein	Cutpoint selection for discretizing a continuous covariate for generalized estimating equations.	Comput. Stat. Data Anal.	2011	DBLP DOI BibTeX RDF
31	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
31	Stephen J. Kirkland, Michael Neumann	Cutpoint Decoupling and First Passage Times for Random Walks on Graphs.	SIAM J. Matrix Anal. Appl.	1999	DBLP DOI BibTeX RDF
31	Takashi Nakayama, Yuzuru Fujiwara	Computer representation of generic chemical structures by an extended block-cutpoint tree.	J. Chem. Inf. Comput. Sci.	1983	DBLP DOI BibTeX RDF
31	George K. Papakonstantinou	A Synthesis Method for Cutpoint Cellular Arrays.	IEEE Trans. Computers	1972	DBLP DOI BibTeX RDF
31	Stephen S. Yau, M. Orsic	Fault Diagnosis and Repair of Cutpoint Cellular Arrays.	IEEE Trans. Computers	1970	DBLP DOI BibTeX RDF
31	Chen-Chau Yang, Stephen Sik-Sang Yau	A Cutpoint Cellular Associative Memory.	IEEE Trans. Electron. Comput.	1966	DBLP DOI BibTeX RDF
31	Robert C. Minnick	Cutpoint Cellular Logic.	IEEE Trans. Electron. Comput.	1964	DBLP DOI BibTeX RDF
22	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
22	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
22	Symeon Bozapalidis	Extending Stochastic and Quantum Functions.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
22	Gregor Gramlich	Probabilistic and Nondeterministic Unary Automata.	MFCS	2003	DBLP DOI BibTeX RDF
22	Alice M. Dean	A Layout Algorithm for Bar-Visibility Graphs on the Möbius Band.	GD	2000	DBLP DOI BibTeX RDF
22	Andris Ambainis	The Complexity of Probabilistic versus Deterministic Finite Automata.	ISAAC	1996	DBLP DOI BibTeX RDF	the complexity of finite automata, probabilistic finite automata, Automata theory
22	Ioan I. Macarie	Space-Efficient Deterministic Simulation of Probabilistic Automata (Extended Abstract).	STACS	1994	DBLP DOI BibTeX RDF
22	Detlef Wotschke	A characterization of boolean closures of families of languages.	Automatentheorie und Formale Sprachen	1973	DBLP DOI BibTeX RDF