Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
A Type Theory for Defining Logics and Proofs
Pientka, Brigitte, Thibodeau, David, Abel, Andreas, Ferreira, Francisco, Zucchini, Rebecca
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Loading…
Loading…
Automatic Extraction of Cause-Effect-Relations from Requirements Artifacts
Frattini, Julian, Junker, Maximilian, Unterkalmsteiner, Michael, Mendez, Daniel
Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)
Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)
Get full text
Conference Proceeding
Loading…
Loading…
Loading…
Miniaturized antenna arrays using decoupling networks with realistic elements
Weber, J., Volmer, C., Blau, K., Stephan, R., Hein, M.A.
Published in IEEE transactions on microwave theory and techniques (01.06.2006)
Published in IEEE transactions on microwave theory and techniques (01.06.2006)
Get full text
Journal Article
Conference Proceeding
Loading…
A new algorithm for linear regular tree pattern matching
Shankar, Priti, Gantait, Amitranjan, Yuvaraj, A.R., Madhavan, Maya
Published in Theoretical computer science (06.07.2000)
Published in Theoretical computer science (06.07.2000)
Get full text
Journal Article
Loading…
Longest Gapped Repeats and Palindromes
Dumitran, Marius, Gawrychowski, Pawel, Manea, Florin
Published in Discrete Mathematics and Theoretical Computer Science (01.12.2017)
Get full text
Published in Discrete Mathematics and Theoretical Computer Science (01.12.2017)
Journal Article
Loading…
Fast pattern matching
MOSKEWICZ MATTHEW W, LAM MICHAEL C, LAI YAIEH, GENNARI FRANK E, MCINTYRE GREGORY R
Year of Publication 01.07.2014
Get full text
Year of Publication 01.07.2014
Patent
Loading…
Loading…
Loading…
Retrieving Data Constraint Implementations Using Fine-Grained Code Patterns
Florez, Juan Manuel, Perry, Jonathan, Wei, Shiyi, Marcus, Andrian
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)
Get full text
Conference Proceeding
Loading…
Loading…
Surrogate Simulation of Subject-Specific Lateral Pinch via Deep Learning
Lindbeck, Erica M., Diaz, Maximillian T., Nichols, Jennifer A., Harley, Joel B.
Published in 2024 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) (01.07.2024)
Published in 2024 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) (01.07.2024)
Get full text
Conference Proceeding
Loading…
Loading…
Methods for Domain Specialization of Verification-Oriented Process Ontologies
Garanina, N. O., Anureev, I. S., Borovikova, O. I., Zyubin, V. E.
Published in Automatic control and computer sciences (01.12.2020)
Published in Automatic control and computer sciences (01.12.2020)
Get full text
Journal Article
Loading…
Loading…
A new structural pattern matching algorithm for technology mapping
Get full text
Conference Proceeding
Loading…
A game-theoretical approach for joint matching of multiple feature throughout unordered images
Cosmo, Luca, Albarelli, Andrea, Bergamasco, Filippo, Torsello, Andrea, Rodola, Emanuele, Cremers, Daniel
Published in 2016 23rd International Conference on Pattern Recognition (ICPR) (01.12.2016)
Published in 2016 23rd International Conference on Pattern Recognition (ICPR) (01.12.2016)
Get full text
Conference Proceeding