Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
59 | Torbjörn Lager |
Shallow Processing and Cautious Incrementality in a Dialogue System Front End: Two Steps towards Robustness and Reactivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue, 4th International Conference, TSD 2001, Zelezna Ruda, Czech Republic, September 11-13, 2001, Proceedings, pp. 410-417, 2001, Springer, 3-540-42557-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Roly Perera, Russ Freeman |
Beyond the language workbench: a runtime platform for practical semantic computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 96-97, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
relational programming, incremental computation, dynamic aspects |
33 | Laurent Michel, Pascal Van Hentenryck |
A constraint-based architecture for local search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2002, Seattle, Washington, USA, November 4-8, 2002., pp. 83-100, 2002, ACM, 1-58113-471-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
optimization, constraint, local search, incrementality |
33 | Daniel M. Yellin, Robert E. Strom |
INC: A Language for Incremental Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 13(2), pp. 211-236, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
finite differencing, incremental complexity, static complexity, incrementality, dynamic algorithms, INC |
26 | Brielen Madureira, Patrick Kahardipraja, David Schlangen |
When Only Time Will Tell: Interpreting How Transformers Process Local Ambiguities Through the Lens of Restart-Incrementality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.13113, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
26 | Tsung-Wei Huang |
qTask: Task-parallel Quantum Circuit Simulation with Incrementality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: IEEE International Parallel and Distributed Processing Symposium, IPDPS 2023, St. Petersburg, FL, USA, May 15-19, 2023, pp. 746-756, 2023, IEEE, 979-8-3503-3766-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Gianpiero Cabodi, Paolo E. Camurati, Marco Palena, Paolo Pasini |
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 60(2), pp. 117-146, April 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Randall Lewis, Jeffrey Wong |
Incrementality Bidding and Attribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.12809, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Tsung-Wei Huang |
qTask: Task-parallel Quantum Circuit Simulation with Incrementality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.01076, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Ashwinkumar Badanidiyuru, Zhe Feng 0004, Tianxi Li, Haifeng Xu |
Incrementality Bidding via Reinforcement Learning under Mixed and Delayed Rewards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.01293, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Joel Barajas, Narayan Bhamidipati, James G. Shanahan |
Online Advertising Incrementality Testing: Practical Lessons, Paid Search and Emerging Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR (2) ![In: Advances in Information Retrieval - 44th European Conference on IR Research, ECIR 2022, Stavanger, Norway, April 10-14, 2022, Proceedings, Part II, pp. 575-581, 2022, Springer, 978-3-030-99738-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Ashwinkumar Badanidiyuru Varadaraja, Zhe Feng 0004, Tianxi Li, Haifeng Xu |
Incrementality Bidding via Reinforcement Learning under Mixed and Delayed Rewards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28 - December 9, 2022., 2022, 9781713871088. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
26 | Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo |
VeriFly: On-the-fly Assertion Checking via Incrementality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.07045, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
26 | Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo |
VeriFly: On-the-fly Assertion Checking via Incrementality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 21(6), pp. 768-784, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Joel Barajas, Narayan Bhamidipati, James G. Shanahan |
Online Advertising Incrementality Testing: Practical Lessons And Emerging Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1 - 5, 2021, pp. 4838-4841, 2021, ACM, 978-1-4503-8446-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Joel Barajas, Narayan Bhamidipati |
Incrementality Testing in Programmatic Advertising: Enhanced Precision with Double-Blind Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: WWW '21: The Web Conference 2021, Virtual Event / Ljubljana, Slovenia, April 19-23, 2021., pp. 2818-2827, 2021, ACM / IW3C2, 978-1-4503-8312-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Joel Barajas, Narayan Bhamidipati, James G. Shanahan |
Online Advertising Incrementality Testing And Experimentation: Industry Practical Lessons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: KDD '21: The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Virtual Event, Singapore, August 14-18, 2021, pp. 4027-4028, 2021, ACM, 978-1-4503-8332-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Andreas Niskanen, Jeremias Berg, Matti Järvisalo |
Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., pp. 44:1-44:19, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-211-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Isabel Garcia-Contreras |
A scalable static analysis framework for reliable program development exploiting incrementality and modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
26 | Shubham Gupta, Sneha Chokshi |
Digital Marketing Effectiveness Using Incrementality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICACDS ![In: Advances in Computing and Data Sciences - 4th International Conference, ICACDS 2020, Valletta, Malta, April 24-25, 2020, Revised Selected Papers, pp. 66-75, 2020, Springer, 978-981-15-6633-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Alexandra Anna Spalek, Kjell Johan Sæbø |
To Finish in German and Mainland Scandinavian: Telicity and Incrementality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Semant. ![In: J. Semant. 36(2), pp. 349-375, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Dennis Ulmer, Dieuwke Hupkes, Elia Bruni |
Assessing incrementality in sequence-to-sequence models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.03293, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
26 | Dennis Ulmer, Dieuwke Hupkes, Elia Bruni |
Assessing Incrementality in Sequence-to-Sequence Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RepL4NLP@ACL ![In: Proceedings of the 4th Workshop on Representation Learning for NLP, RepL4NLP@ACL 2019, Florence, Italy, August 2, 2019., pp. 209-217, 2019, Association for Computational Linguistics, 978-1-950737-35-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Giuseppe Averta, Franco Angelini, Manuel Bonilla, Matteo Bianchi 0002, Antonio Bicchi |
Incrementality and Hierarchies in the Enrollment of Multiple Synergies for Grasp Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 3(3), pp. 2686-2693, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Mehrnoosh Sadrzadeh, Matthew Purver, Julian Hough, Ruth Kempson |
Exploring Semantic Incrementality with Dynamic Syntax and Vector Space Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.00614, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
26 | C. H. Bryan Liu, Elaine M. Bettaney, Benjamin Paul Chamberlain |
Designing Experiments to Measure Incrementality on Facebook. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.02588, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
26 | Jasmin Christian Blanchette, Mathias Fleury, Peter Lammich, Christoph Weidenbach |
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 61(1-4), pp. 333-365, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Vivian Tsai, Timo Baumann, Florian Pecune, Justine Cassell |
Faster Responses Are Better Responses: Introducing Incrementality into Sociable Virtual Personal Assistants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSDS ![In: 9th International Workshop on Spoken Dialogue System Technology, IWSDS 2018, Singapore, April 18-20, 2018., pp. 111-118, 2018, Springer, 978-981-13-9442-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Ramesh R. Manuvinakurike, David DeVault, Kallirroi Georgila |
Using Reinforcement Learning to Model Incrementality in a Fast-Paced Dialogue Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDIAL Conference ![In: Proceedings of the 18th Annual SIGdial Meeting on Discourse and Dialogue, Saarbrücken, Germany, August 15-17, 2017, pp. 331-341, 2017, Association for Computational Linguistics, 978-1-945626-82-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach |
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 4786-4790, 2017, ijcai.org, 978-0-9992411-0-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Rick Janssen, Stefano Nolfi, Pim Haselager, Ida G. Sprinkhuizen-Kuyper |
Cyclic Incrementality in Competitive Coevolution: Evolvability through Pseudo-Baldwinian Switching-Genes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Life ![In: Artif. Life 22(3), pp. 319-352, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach |
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings, pp. 25-44, 2016, Springer, 978-3-319-40228-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli |
Syntactic-semantic incrementality for agile verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 97, pp. 47-54, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Lourdes Del Carmen González-Huesca |
Incrementality and effect simulation in the simply typed lambda calculus. (Incrémentalité et simulation d'effets dans le lambda calcul simplement typé). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
26 | Gianpiero Cabodi, Marco Palena, Paolo Pasini |
Interpolation with Guided Refinement: Revisiting incrementality in SAT-based unbounded model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014, pp. 43-50, 2014, IEEE, 978-0-9835678-4-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Bucchiarone, Annapaola Marconi, Claudio Antares Mezzina, Marco Pistore, Heorhi Raik |
On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings, pp. 146-161, 2013, Springer, 978-3-642-45004-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Dmitry Pechyony, Rosie Jones, Xiaojing Li |
A joint optimization of incrementality and revenue to satisfy both advertiser and publisher. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Companion Volume) ![In: 22nd International World Wide Web Conference, WWW '13, Rio de Janeiro, Brazil, May 13-17, 2013, Companion Volume, pp. 123-124, 2013, International World Wide Web Conferences Steering Committee / ACM, 978-1-4503-2038-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Marco Palena, Gianpiero Cabodi, Alan Mishchenko |
Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIFTS@FMCAD ![In: Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, Portland, OR, USA, October 19, 2013., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
26 | Carlo Ghezzi |
Evolution, Adaptation, and the Quest for Incrementality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monterey Workshop ![In: Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers, pp. 369-379, 2012, Springer, 978-3-642-34058-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Guillermo Román-Díez |
Advanced Topics in Resource Analysis: Certification, Incrementality, Concurrency and Array-Sensitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
26 | Eleni Gregoromichelaki, Ruth Kempson, Matthew Purver, Gregory Mills, Ronnie Cann, Wilfried Meyer-Viol, Patrick G. T. Healey |
Incrementality and intention-recognition in utterance processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dialogue Discourse ![In: Dialogue Discourse 2(1), pp. 199-233, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
26 | Christine Howes, Matthew Purver, Patrick G. T. Healey, Gregory Mills, Eleni Gregoromichelaki |
On Incrementality in Dialogue: Evidence from Compound Contributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dialogue Discourse ![In: Dialogue Discourse 2(1), pp. 279-311, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
26 | Andrew Gargett |
Incrementality and the Dynamics of Routines in Dialogue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dialogue Discourse ![In: Dialogue Discourse 2(1), pp. 171-197, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
26 | Jonathan E. MacDonald |
The Aspectual Influence of the Noun: (A)telicity, (A)symmetry, Incrementality and Universality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Linguistics Compass ![In: Lang. Linguistics Compass 4(9), pp. 831-845, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Gerry Altmann, Jelena Mirkovic |
Incrementality and Prediction in Human Sentence Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Sci. ![In: Cogn. Sci. 33(4), pp. 583-609, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Michaela Atterer, Timo Baumann, David Schlangen |
No sooner said than done? testing incrementality of semantic interpretations of spontaneous speech. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: INTERSPEECH 2009, 10th Annual Conference of the International Speech Communication Association, Brighton, United Kingdom, September 6-10, 2009, pp. 1855-1858, 2009, ISCA. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Gianpiero Cabodi, Leandro Dipietro, Marco Murciano, Sergio Nocco |
Exploiting incrementality in SAT-based search for multiple equivalence-preserving transformations in combinational circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: IEEE International High Level Design Validation and Test Workshop, HLDVT 2009, San Francisco, CA, USA, 4-6 November 2009, pp. 46-53, 2009, IEEE Computer Society, 978-1-4244-4823-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Ladislav Samuelis, Csaba Szabó |
On the Role of the Incrementality Principle in Software Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Egypt. Comput. Sci. J. ![In: Egypt. Comput. Sci. J. 29(2), 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
26 | Masahiro Kobayashi, Kei Yoshimoto |
Transition and Parsing State and Incrementality in Dynamic Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACLIC ![In: Proceedings of the 21st Pacific Asia Conference on Language, Information and Computation, PACLIC 21, Seoul, Korea, November 1-3, 2007, 2007, The Korean Society for Language and Information / ACL. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
26 | Abdelhamid Bouchachia |
Learning with Incrementality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Neural Information Processing, 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part I, pp. 137-146, 2006, Springer, 3-540-46479-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Patrick Sturt, Vincenzo Lombardo |
Processing Coordinated Structures: Incrementality and Connectedness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Sci. ![In: Cogn. Sci. 29(2), pp. 291-305, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Avi Arampatzis |
Unbiased S-D Threshold Optimization, Initial Query Degradation, Decay, and Incrementality, for Adaptive Document Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TREC ![In: Proceedings of The Tenth Text REtrieval Conference, TREC 2001, Gaithersburg, Maryland, USA, November 13-16, 2001, 2001, National Institute of Standards and Technology (NIST). The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
26 | Avi Arampatzis, Jean Beney, Cornelis H. A. Koster, Theo P. van der Weide |
Incrementality, Half-life, and Threshold Optimization for Adaptive Document Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TREC ![In: Proceedings of The Ninth Text REtrieval Conference, TREC 2000, Gaithersburg, Maryland, USA, November 13-16, 2000, 2000, National Institute of Standards and Technology (NIST). The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
26 | Patrick Caudal |
Computational Lexical Semantics, Incrementality, and the So-called Punctuality of Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: 27th Annual Meeting of the Association for Computational Linguistics, University of Maryland, College Park, Maryland, USA, 20-26 June 1999., pp. 497-504, 1999, ACL, 1-55860-609-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
26 | Mihir Bellare, Daniele Micciancio |
A New Paradigm for Collision-free Hashing: Incrementality at Reduced Cost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 1997, pp. 1, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
26 | Mihir Bellare, Daniele Micciancio |
A New Paradigm for Collision-Free Hashing: Incrementality at Reduced Cost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '97, International Conference on the Theory and Application of Cryptographic Techniques, Konstanz, Germany, May 11-15, 1997, Proceeding, pp. 163-192, 1997, Springer, 3-540-62975-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Mark Hepple |
Maximal Incrementality in Linear Categorial Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: 35th Annual Meeting of the Association for Computational Linguistics and 8th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference, 7-12 July 1997, Universidad Nacional de Educación a Distancia (UNED), Madrid, Spain., pp. 344-351, 1997, Morgan Kaufmann Publishers / ACL. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
26 | José Luiz Fiadeiro, T. S. E. Maibaum |
Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1995, Washington, DC, USA, October 10-13, 1995, pp. 72-80, 1995, ACM, 978-0-89791-716-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
general systems theory, multiperspective specification, formal methods, reuse, compositionality, incremental development |
26 | Mark Hepple |
Chart Parsing Lambek Grammars: Modal Extensions And Incrementality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: 14th International Conference on Computational Linguistics, COLING 1992, Nantes, France, August 23-28, 1992, pp. 134-140, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
26 | Carlo Ghezzi, Dino Mandrioli |
Augmenting Parsers to Support Incrementality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 27(3), pp. 564-579, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Umut A. Acar |
Self-adjusting computation: (an overview). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, pp. 1-6, 2009, ACM, 978-1-60558-327-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
incremental modification, performance, compilers, continuations, language design, dependence graphs, change propagation, self-adjusting computation, asymptotic complexity |
16 | Daniel Perovich, Pedro O. Rossel, M. Cecilia Bastarrica |
Feature model to product architectures: Applying MDE to Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA/ECSA ![In: Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, WICSA/ECSA 2009, Cambridge, UK, 14-17 September 2009, pp. 201-210, 2009, IEEE Computer Society, 978-1-4244-4984-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Floriana Esposito, Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro |
Machine Learning for Digital Document Processing: from Layout Analysis to Metadata Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Machine Learning in Document Analysis and Recognition ![In: Machine Learning in Document Analysis and Recognition, pp. 105-138, 2008, Springer, 978-3-540-76279-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Ruiming Chen, Lizheng Zhang, Vladimir Zolotov, Chandu Visweswariah, Jinjun Xiong |
Static timing: Back to our roots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 13th Asia South Pacific Design Automation Conference, ASP-DAC 2008, Seoul, Korea, January 21-24, 2008, pp. 310-315, 2008, IEEE, 978-1-4244-1921-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | B. Kalpana, R. Nadarajan, J. Senthil Babu |
An Indexed Trie Approach to Incremental Mining of Closed Frequent Itemsets Based on a Galois Lattice Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Database Systems for Advanced Applications, 13th International Conference, DASFAA 2008, New Delhi, India, March 19-21, 2008. Proceedings, pp. 486-495, 2008, Springer, 978-3-540-78567-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | B. Kalpana, R. Nadarajan, J. Senthil Babu |
A Galois Lattice framework to handle updates in the mining of closed itemsets in dynamic databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bangalore Compute Conf. ![In: Proceedings of the 1st Bangalore Annual Compute Conference, Compute 2008, Bangalore, India, January 18-20, 2008, pp. 16, 2008, ACM, 978-1-59593-950-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
association rules, incremental mining, Galois Lattices, closed frequent itemsets |
16 | Kenil C. K. Cheng, Roland H. C. Yap |
Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings, pp. 509-523, 2008, Springer, 978-3-540-85957-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Ilya Mironov, Moni Naor, Gil Segev 0001 |
Sketching in adversarial environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 651-660, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
data stream model., sketch model, massive data sets |
16 | Abdelhamid Bouchachia, Roland T. Mittermeir |
Towards Incremental Fuzzy Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 11(2), pp. 193-207, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Incremental fuzzy rule learning, Incremental and supervised clustering, Incremental feature selection, Classification |
16 | Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake |
Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 11th European Conference on Software Maintenance and Reengineering, Software Evolution in Complex Software Intensive Systems, CSMR 2007, 21-23 March 2007, Amsterdam, The Netherlands, pp. 123-136, 2007, IEEE Computer Society, 0-7695-2802-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Michal Antkiewicz, Krzysztof Czarnecki 0001 |
Design Space of Heterogeneous Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GTTSE ![In: Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers, pp. 3-46, 2007, Springer, 978-3-540-88642-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Fahiem Bacchus |
GAC Via Unit Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, pp. 133-147, 2007, Springer, 978-3-540-74969-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Christophe Lecoutre, Stéphane Cardon, Julien Vion |
Path Consistency by Dual Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, pp. 438-452, 2007, Springer, 978-3-540-74969-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Mikael Z. Lagerkvist, Christian Schulte 0001 |
Advisors for Incremental Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, pp. 409-422, 2007, Springer, 978-3-540-74969-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Daniele Braga, Alessandro Campi, Davide Martinenghi |
Efficient Integrity Checking over XML Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT Workshops ![In: Current Trends in Database Technology - EDBT 2006, EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers, pp. 206-219, 2006, Springer, 3-540-46788-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | David Tugwell |
Language Modelling with Dynamic Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue, 9th International Conference, TSD 2006, Brno, Czech Republic, September 11-15, 2006, Proceedings, pp. 285-292, 2006, Springer, 3-540-39090-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Henning Christiansen 0001, Davide Martinenghi |
Incremental Integrity Checking: Limitations and Possibilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, pp. 712-727, 2005, Springer, 3-540-30553-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Marlon Núñez, Raúl Fidalgo, Rafael Morales Bueno |
On-Line Learning of Decision Trees in Problems with Unknown Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2005: Advances in Artificial Intelligence, 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings, pp. 443-453, 2005, Springer, 3-540-29896-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Antoine Pigeau, Marc Gelgon |
Building and tracking hierarchical geographical & temporal partitions for image collection management on mobile devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 13th ACM International Conference on Multimedia, Singapore, November 6-11, 2005, pp. 141-150, 2005, ACM, 1-59593-044-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
clustering, multimedia, database, consumer |
16 | Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove |
Derivation and Evaluation of Concurrent Collectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings, pp. 577-601, 2005, Springer, 3-540-27992-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Mazzei, Vincenzo Lombardo |
Building a Wide Coverage Dynamic Grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-23, 2005, Proceedings, pp. 303-314, 2005, Springer, 3-540-29041-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Cristina Ribeiro 0001, Maria Antónia Carravilla |
A Global Constraint for Nesting Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings, pp. 256-270, 2004, Springer, 3-540-21836-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Antoine Pigeau, Marc Gelgon |
Incremental Statistical Geo-Temporal Structuring of a Personal Camera Phone Image Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (3) ![In: 17th International Conference on Pattern Recognition, ICPR 2004, Cambridge, UK, August 23-26, 2004., pp. 878-881, 2004, IEEE Computer Society, 0-7695-2128-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Teresa Maria Altomare Basile, Stefano Ferilli, Nicola Di Mauro, Floriana Esposito |
Incremental Induction of Classification Rules for Cultural Heritage Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Innovations in Applied Artificial Intelligence, 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004. Proceedings, pp. 915-923, 2004, Springer, 3-540-22007-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Michael A. Trick |
A Dynamic Programming Approach for Consistency and Propagation for Knapsack Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 118(1-4), pp. 73-84, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
knapsack constraints, dynamic programming, global constraints |
16 | Bertrand Neveu, Gilles Trombettoni |
INCOP: An Open Library for INcomplete Combinatorial OPtimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 909-913, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Kamran Sartipi, Kostas Kontogiannis |
On Modeling Software Architecture Recovery as Graph Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 19th International Conference on Software Maintenance (ICSM 2003), The Architecture of Existing Systems, 22-26 September 2003, Amsterdam, The Netherlands, pp. 224-234, 2003, IEEE Computer Society, 0-7695-1905-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino |
Using extended positional grammars to develop visual modeling languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, pp. 201-208, 2002, ACM, 1-58113-556-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
automatic generation of visual programming environments, extended positional grammars, formal specifications, visual languages, statecharts |
16 | Alexey Tsymbal, Seppo Puuronen, David W. Patterson |
Feature Selection for Ensembles of Simple Bayesian Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002, Proceedings, pp. 592-600, 2002, Springer, 3-540-43785-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Stephen M. Blackburn, Richard E. Jones, Kathryn S. McKinley, J. Eliot B. Moss |
Beltway: Getting Around Garbage Collection Gridlock. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002, pp. 153-164, 2002, ACM, 1-58113-463-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
beltway, copying collection, generational collection, Java |
16 | Egidio Astesiano, Gianna Reggio |
Tight Structuring for Precise UML-Based Requirement Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISSEF ![In: Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers, pp. 16-34, 2002, Springer, 3-540-21179-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | João Gama 0001, Gladys Castillo |
Adaptive Bayes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2002, 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings, pp. 765-774, 2002, Springer, 3-540-00131-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Adaptive Bayes, Incremental Systems, Machine Learning, User Modeling |
16 | Mario Coppo, Daniel Hirschkoff |
Incremental Inference of Partial Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings, pp. 50-73, 2001, Springer, 3-540-42672-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Bok-Min Goi, M. U. Siddiqi, Hean-Teik Chuah |
Incremental Hash Function Based on Pair Chaining & Modular Arithmetic Combining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2001, Second International Conference on Cryptology in India, Chennai, India, December 16-20, 2001, Proceedings, pp. 50-61, 2001, Springer, 3-540-43010-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Incremental Cryptography, Cryptography, Hash Function |
16 | Fabrizio Costa, Paolo Frasconi, Vincenzo Lombardo, Giovanni Soda |
Learning incremental syntactic structures with recursive neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Fourth International Conference on Knowledge-Based Intelligent Information Engineering Systems & Allied Technologies, KES 2000, Brighton, UK, 30 August - 1 September 2000, Proceedings, 2 Volumes, pp. 458-461, 2000, IEEE, 0-7803-6400-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Xavier Franch, Josep M. Ribó Balust |
A Structured Approach to Software Process Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 24th EUROMICRO '98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden, pp. 20753-20762, 1998, IEEE Computer Society, 0-8186-8646-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Jean-Marie Larchevêque |
Optimal Incremental Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 17(1), pp. 1-15, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
threaded trees, incremental parsing |
16 | Livio Colussi, Elena Marchiori, Massimo Marchiori |
A Dataflow Semantics for Constraint Logic Programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings, pp. 431-448, 1995, Springer, 3-540-60359-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Mihir Bellare, Roch Guérin, Phillip Rogaway |
XOR MACs: New Methods for Message Authentication Using Finite Pseudorandom Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '95, 15th Annual International Cryptology Conference, Santa Barbara, California, USA, August 27-31, 1995, Proceedings, pp. 15-28, 1995, Springer, 3-540-60221-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Jackson 0001 |
Abstract Analysis with Aspect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1993 International Symposium on Software Testing and Analysis, ISSTA 1993, Cambridge, MA, USA, June 28-30, 1993, pp. 19-27, 1993, ACM, 0-89791-608-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
DEBUG |