|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 25 occurrences of 25 keywords
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
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 |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|