|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 17 keywords
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
153 | Alain Hertz, Sacha Varone |
The Metric Cutpoint Partition Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Classif. ![In: J. Classif. 25(2), pp. 159-175, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings, pp. 284-302, 2005, Springer, 3-540-28584-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Willi Sauerbrei |
Investigations on Stability and Overoptimism of Classification Trees by Using Cross-Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMDA ![In: Medical Data Analysis, Second International Symposium, ISMDA 2001, Madrid, Spain, October 8-9, 2001, Proceedings, pp. 251-257, 2001, Springer, 3-540-42734-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
33 | George K. Papakonstantinou |
A Method to Generate the Prime Cascades of an Arbitrary Switching Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 26(5), pp. 503-506, 1977. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 30(6), pp. 1103-1113, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.05312, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
31 | Paul C. Bell, Pavel Semukhin |
Decidability of cutpoint isolation for letter-monotonic probabilistic finite automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.07660, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
31 | Paul C. Bell, Pavel Semukhin |
Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)., pp. 22:1-22:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-160-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Lei Zhang, Ying Zhu 0001 |
CutPointVis: An Interactive Exploration Tool for Cancer Biomarker Cutpoint Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (1) ![In: Advances in Visual Computing - 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings, Part I, pp. 55-64, 2016, Springer, 978-3-319-50834-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Logics ![In: Programming Logics - Essays in Memory of Harald Ganzinger, pp. 414-445, 2013, Springer, 978-3-642-37650-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Gisela Tunes-da-Silva, John P. Klein |
Cutpoint selection for discretizing a continuous covariate for generalized estimating equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. Data Anal. ![In: Comput. Stat. Data Anal. 55(1), pp. 226-235, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Xiushan Feng, Alan J. Hu |
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 1063-1068, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 20(4), pp. 860-870, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Takashi Nakayama, Yuzuru Fujiwara |
Computer representation of generic chemical structures by an extended block-cutpoint tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Comput. Sci. ![In: J. Chem. Inf. Comput. Sci. 23(2), pp. 80-87, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
31 | George K. Papakonstantinou |
A Synthesis Method for Cutpoint Cellular Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 21(12), pp. 1286-1292, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
31 | Stephen S. Yau, M. Orsic |
Fault Diagnosis and Repair of Cutpoint Cellular Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 19(3), pp. 259-262, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
31 | Chen-Chau Yang, Stephen Sik-Sang Yau |
A Cutpoint Cellular Associative Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Electron. Comput. ![In: IEEE Trans. Electron. Comput. 15(4), pp. 522-528, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
31 | Robert C. Minnick |
Cutpoint Cellular Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Electron. Comput. ![In: IEEE Trans. Electron. Comput. 13(6), pp. 685-698, 1964. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006, pp. 11-20, 2006, ACM, 0-9788493-0-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 307-316, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
formal verification, embedded software, equivalence checking |
22 | Symeon Bozapalidis |
Extending Stochastic and Quantum Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 36(2), pp. 183-197, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Gregor Gramlich |
Probabilistic and Nondeterministic Unary Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings, pp. 460-469, 2003, Springer, 3-540-40671-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Alice M. Dean |
A Layout Algorithm for Bar-Visibility Graphs on the Möbius Band. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 8th International Symposium, GD 2000, Colonial Williamsburg, VA, USA, September 20-23, 2000, Proceedings, pp. 350-359, 2000, Springer, 3-540-41554-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Andris Ambainis |
The Complexity of Probabilistic versus Deterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 7th International Symposium, ISAAC '96, Osaka, Japan, December 16-18, 1996, Proceedings, pp. 233-238, 1996, Springer, 3-540-62048-6. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings, pp. 109-122, 1994, Springer, 3-540-57785-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Detlef Wotschke |
A characterization of boolean closures of families of languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatentheorie und Formale Sprachen ![In: 1. Fachtagung über Automatentheorie und Formale Sprachen, Bonn, 9.-12. Juli 1973, Gesellschaft für Informatik (GI), pp. 191-200, 1973, Springer, 3-540-06527-X. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|