Results
Found 53 publication records. Showing 53 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
53 | Gábor Gosztolya, András Kocsor |
Improving the Multi-stack Decoding Algorithm in a Segment-Based Speech Recognizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Developments in Applied Artificial Intelligence, 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings, pp. 744-749, 2003, Springer, 3-540-40455-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
segmental speech model, multi-stack decoding, Viterbi beam search, speech recognition, search methods |
46 | Róbert Busa-Fekete, András Kocsor, Csaba Bagyinka |
A Multi-Stack Based Phylogenetic Tree Building Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBRA ![In: Bioinformatics Research and Applications, Third International Symposium, ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007, Proceedings, pp. 49-60, 2007, Springer, 978-3-540-72030-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
tree estimation, Multi-Stack, tree-joining operator, Phylogenetics |
45 | Wing K. Luk, Alvar A. Dean |
Multi-Stack Optimization for Data-Path Chip (Microprocessor) Layout. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 26th ACM/IEEE Design Automation Conference, Las Vegas, Nevada, USA, June 25-29, 1989., pp. 110-115, 1989, ACM Press. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
38 | Nutan Limaye, Meena Mahajan |
Membership Testing: Removing Extra Stacks from Multi-stack Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings, pp. 493-504, 2009, Springer, 978-3-642-00981-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Anil Seth |
Games on Multi-stack Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 395-408, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Mohamed Faouzi Atig, Benedikt Bollig, Peter Habermehl |
Emptiness of Multi-pushdown Automata Is 2ETIME-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings, pp. 121-133, 2008, Springer, 978-3-540-85779-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato |
A Robust Class of Context-Sensitive Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 161-170, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Anil Seth |
Games on Higher Order Multi-stack Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 203-216, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Mohammadreza Moghadari, Mohsen Kandidayeni, Loïc Boulon, Hicham Chaoui |
Operating Cost Comparison of a Single-Stack and a Multi-Stack Hybrid Fuel Cell Vehicle Through an Online Hierarchical Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 72(1), pp. 267-279, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Michael A. Bekos, Michael Kaufmann 0001, Katerina Potika, Antonios Symvonis |
Multi-stack Boundary Labeling Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, pp. 81-92, 2006, Springer, 3-540-49994-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Gábor Gosztolya, András Kocsor |
Aggregation Operators and Hypothesis Space Reductions in Speech Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue, 7th International Conference, TSD 2004, Brno, Czech Republic, September 8-11, 2004, Proceedings, pp. 315-322, 2004, Springer, 3-540-23049-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
speech recognition, aggregation operators, search methods |
12 | Jian Zuo, Catherine Cadet, Zhongliang Li, Christophe Bérenguer, Rachid Outbib |
A deterioration-aware energy management strategy for the lifetime improvement of a multi-stack fuel cell system subject to a random dynamic load. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 241, pp. 109660, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Uzma Farooq, Mohd Shafry Mohd Rahim, Adnan Abid |
A multi-stack RNN-based neural machine translation model for English to Pakistan sign language translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 35(18), pp. 13225-13238, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yiqiao Xu, Xiaoyu Guo, Zhen Dong, Zhengtao Ding, Alessandra Parisio |
Data-Driven Load-Current Sharing Control for Multi-Stack Fuel Cell System with Circulating Current Mitigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.12325, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jiarong Li |
A Multi-stack Power-to-Hydrogen Load Control Framework for the Power Factor-Constrained Integration in Volatile Peak Shaving Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.09578, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zhou Su, Bai Yuhang, Pan Zhirong, Gao Jianhua |
Research on the fault-tolerant control in thermal management subsystem of multi-stack fuel cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFEPROCESS ![In: CAA Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS 2023, Yibin, China, September 22-24, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-3775-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ruixue Geng, Rui Ma, Xiaoyue Chai, Yufan Zhang, Wentao Jiang, Yang Zhou |
An Improved Energy Management Strategy for Multi-Stack Fuel Cells Based on Hierarchical Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: 49th Annual Conference of the IEEE Industrial Electronics Society, IECON 2023, Singapore, October 16-19, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-3182-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Razieh Ghaderi, Mohsen Kandidayeni, Mehdi Soleymani, Loïc Boulon, João Pedro F. Trovão |
Online Health-Conscious Energy Management Strategy for a Hybrid Multi-Stack Fuel Cell Vehicle Based on Game Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 71(6), pp. 5704-5714, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Aline Luxa, Niklas Jöres, Carlos Cateriano Yáñez, Marina Nascimento Souza, Georg Pangalos, Leona Schnelle, Gerwald Lichtenberg |
Multilinear Modeling and Simulation of a Multi-stack PEM Electrolyzer with Degradation for Control Concept Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIMULTECH ![In: Proceedings of the 12th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2022, Lisbon, Portugal, July 14-16, 2022., pp. 52-62, 2022, SCITEPRESS, 978-989-758-578-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Anthony Roy, Jean-Christophe Olivier, François Auger, Ayoub Igourzal |
Experimental validation of an optimized power allocation strategy for multi-stack fuel cell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIE ![In: 31st IEEE International Symposium on Industrial Electronics, ISIE 2022, Anchorage, AK, USA, June 1-3, 2022, pp. 499-504, 2022, IEEE, 978-1-6654-8240-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Kyungjoon Chang, Taewhan Kim |
Analysis of Impacting Multi-stack Standard Cells on Chip Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISOCC ![In: 19th International SoC Design Conference, ISOCC 2022, Gangneung-si, Republic of Korea, October 19-22, 2022, pp. 119-120, 2022, IEEE, 978-1-6654-5971-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mengwei Wu, Qin Lu, Yingxue Wang |
A Multi-stack Denoising Autoencoder for QoS Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks and Machine Learning - ICANN 2022 - 31st International Conference on Artificial Neural Networks, Bristol, UK, September 6-9, 2022, Proceedings, Part II, pp. 757-768, 2022, Springer, 978-3-031-15930-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mainak Bandyopadhyay |
Multi-stack hybrid CNN with non-monotonic activation functions for hyperspectral satellite image classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 33(21), pp. 14809-14822, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Chao Yu 0001, Sihang Liu 0001, Samira Manabi Khan |
MultiPIM: A Detailed and Configurable Multi-Stack Processing-In-Memory Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Comput. Archit. Lett. ![In: IEEE Comput. Archit. Lett. 20(1), pp. 54-57, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Muhammad Yousuf, Faisal Khan 0002, Junaid Ikram, Rabiah Badar, Syed Sabir Hussain Bukhari, Jong-Suk Ro |
Reduction of Torque Ripples in Multi-Stack Slotless Axial Flux Machine by Using Right Angled Trapezoidal Permanent Magnet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 22760-22773, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Alvaro Omar Macias Fernandez, Mohsen Kandidayeni, Loïc Boulon, Hicham Chaoui |
An Adaptive State Machine Based Energy Management Strategy for a Multi-Stack Fuel Cell Hybrid Electric Vehicle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 69(1), pp. 220-234, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Scott C. Brunet, Michael T. Kuczynski, Jennifer L. Bhatla, Sophie Lemay, Yves Pauchard, Peter Salat, Cheryl Barnabe, Sarah L. Manske |
The utility of multi-stack alignment and 3D longitudinal image registration to assess bone remodeling in rheumatoid arthritis patients from second generation HR-pQCT scans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Imaging ![In: BMC Medical Imaging 20(1), pp. 36, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Marco Malinverno, Francesco Raviglione, Claudio Casetti, Carla-Fabiana Chiasserini, Josep Mangues-Bafalluy, Manuel Requena-Esteso |
A Multi-stack Simulation Framework for Vehicular Applications Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIVANet ![In: DIVANet '20: Proceedings of the 10th ACM Symposium on Design and Analysis of Intelligent Vehicular Networks and Applications, Alicante, Spain, November 16-20, 2020, pp. 17-24, 2020, ACM, 978-1-4503-8121-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Andreas Naderlinger, Michael Moser |
A TrueTime Extension for Instruction-level Timing and Multi-stack Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, Lisbon, Portugal, October 14-17, 2019, pp. 4495-4500, 2019, IEEE, 978-1-7281-4878-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Ioannis Papoutsis, Charalampos Kontoes, Demitrios Paradissis |
Multi-Stack Persistent Scatterer Interferometry Analysis in Wider Athens, Greece. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 9(3), pp. 276, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Benedikt Bollig, Dietrich Kuske, Roy Mennicke |
The Complexity of Model Checking Multi-Stack Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 60(4), pp. 695-736, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Apoorva Ojha, Nihar R. Mohapatra |
Trap-assisted carrier transport through the multi-stack gate dielectrics of HKMG nMOS transistors: A compact model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSDERC ![In: 47th European Solid-State Device Research Conference, ESSDERC 2017, Leuven, Belgium, September 11-14, 2017, pp. 200-203, 2017, IEEE, 978-1-5090-5978-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Dario Carotenuto, Aniello Murano, Adriano Peron |
Ordered multi-stack visibly pushdown automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 656, pp. 1-26, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Fei Chong Ng, Aizat Abas, Muhammad Hafifi Hafiz Ishak, Mohd Zulkifly Abdullah, M. S. Abdul Aziz |
Effect of thermocapillary action in the underfill encapsulation of multi-stack ball grid array. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 66, pp. 143-160, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Hendrikus J. S. Basten |
Context-Free Ambiguity Detection Using Multi-stack Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 1-12, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Tommaso Carpi, Marco Edemanti, Ervin Kamberoski, Elena Sacchi, Paolo Cremonesi, Roberto Pagano, Massimo Quadrana |
Multi-stack ensemble for job recommendation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RecSys Challenge ![In: Proceedings of the 2016 Recommender Systems Challenge, RecSys Challenge 2016, Boston, Massachusetts, USA, September 15, 2016, pp. 8:1-8:4, 2016, ACM, 978-1-4503-4801-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Abdelfatah Kolli, Alexandre De Bernardinis, Zoubir Khatir, Arnaud Gaillard, Olivier Bethoux, Daniel Hissel |
Part-load control stategy of a 20kW SiC power converter for embedded PEMFC multi-stack architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society, Yokohama, Japan, November 9-12, 2015, pp. 4627-4632, 2015, IEEE, 978-1-4799-1762-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Nancy El Rachkidy, Alexandre Guitton, Michel Misson |
Avoiding Routing Loops in a Multi-Stack WSN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Commun. ![In: J. Commun. 8(3), pp. 151-160, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Benedikt Bollig, Dietrich Kuske, Roy Mennicke |
The Complexity of Model Checking Multi-stack Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013, pp. 163-172, 2013, IEEE Computer Society, 978-1-4799-0413-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Nancy El Rachkidy, Alexandre Guitton, Michel Misson |
Improving QoS in Wireless Sensor Networks Using a Multi-Stack Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 73rd IEEE Vehicular Technology Conference, VTC Spring 2011, 15-18 May 2011, Budapest, Hungary, pp. 1-5, 2011, IEEE, 978-1-4244-8331-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Nancy El Rachkidy, Gérard Chalhoub, Alexandre Guitton, Michel Misson |
Queue-exchange mechanism to improve the QoS in a multi-stack architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PE-WASUN ![In: Proceedings of the 8th ACM Symposium on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks, PE-WASUN 2011, Miami Beach, Florida, USA, October 31 - November 4, 2011, pp. 65-72, 2011, ACM, 978-1-4503-0900-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Stefan D. Bruda, Tawhid Bin Waez |
Unrestricted and Disjoint Operations over Multi-stack Visibly Pushdown Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (2) ![In: ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July, 2011, pp. 156-161, 2011, SciTePress, 978-989-8425-77-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
12 | Anil Seth |
Global Reachability in Bounded Phase Multi-stack Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings, pp. 615-628, 2010, Springer, 978-3-642-14294-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Mingda Zhou, Yilong Hao, Chengchen Gao, Zhihong Li, Qifang Hu |
Fabrication of complicated three dimensional structures utilizing multi-stack bonding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NEMS ![In: 4th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, IEEE-NEMS 2009, Shenzhen, China, January 5-8, 2009, pp. 1107-1111, 2009, IEEE Computer Society, 978-1-4244-4629-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Se Young Yang, Wang-Joo Lee, S. H. Jeong, S. J. Lee |
Structural reliability assessment of multi-stack package (MSP) under high temperature storage (HTS) testing condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 46(9-11), pp. 1904-1909, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Dominique Roelants van Baronaigien |
A Multi-Stack Method for the Fast Generation of Permutations with Minimal Length Increasing Subsequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 69(3), pp. 123-126, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Luca Breveglieri, Stefano Crespi-Reghizzi, Alessandra Cherubini |
Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 12th International Symposium, FCT '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings, pp. 161-172, 1999, Springer, 3-540-66412-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Ronald V. Book, Seymour Ginsburg |
Multi-Stack-Counter Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 6(1), pp. 37-48, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
9 | Gábor Gosztolya, András Kocsor |
Speeding Up Dynamic Search Methods in Speech Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Innovations in Applied Artificial Intelligence, 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005, Proceedings, pp. 98-100, 2005, Springer, 3-540-26551-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
7 | Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl |
Realizability of Concurrent Recursive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 410-424, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Salvatore La Torre, P. Madhusudan, Gennaro Parlato |
An Infinite Automaton Characterization of Double Exponential Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 33-48, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Jesús Tomás, Francisco Casacuberta |
Statistical Machine Translation Decoding Using Target Word Reordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSPR/SPR ![In: Structural, Syntactic, and Statistical Pattern Recognition, Joint IAPR International Workshops, SSPR 2004 and SPR 2004, Lisbon, Portugal, August 18-20, 2004 Proceedings, pp. 734-743, 2004, Springer, 3-540-22570-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
7 | Huimin Lin |
Model Checking Value-Passing Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 3-, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
value- passing processes, verification algorithms, Model checking, mu-calculus |
Displaying result #1 - #53 of 53 (100 per page; Change: )
|