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. |
TSD |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Roly Perera, Russ Freeman |
Beyond the language workbench: a runtime platform for practical semantic computing. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
relational programming, incremental computation, dynamic aspects |
33 | Laurent Michel, Pascal Van Hentenryck |
A constraint-based architecture for local search. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
optimization, constraint, local search, incrementality |
33 | Daniel M. Yellin, Robert E. Strom |
INC: A Language for Incremental Computations. |
ACM Trans. Program. Lang. Syst. |
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. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
26 | Tsung-Wei Huang |
qTask: Task-parallel Quantum Circuit Simulation with Incrementality. |
IPDPS |
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. |
Formal Methods Syst. Des. |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Randall Lewis, Jeffrey Wong |
Incrementality Bidding and Attribution. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Tsung-Wei Huang |
qTask: Task-parallel Quantum Circuit Simulation with Incrementality. |
CoRR |
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. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Joel Barajas, Narayan Bhamidipati, James G. Shanahan |
Online Advertising Incrementality Testing: Practical Lessons, Paid Search and Emerging Challenges. |
ECIR (2) |
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. |
NeurIPS |
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. |
CoRR |
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. |
Theory Pract. Log. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Joel Barajas, Narayan Bhamidipati, James G. Shanahan |
Online Advertising Incrementality Testing: Practical Lessons And Emerging Challenges. |
CIKM |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Joel Barajas, Narayan Bhamidipati |
Incrementality Testing in Programmatic Advertising: Enhanced Precision with Double-Blind Designs. |
WWW |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Joel Barajas, Narayan Bhamidipati, James G. Shanahan |
Online Advertising Incrementality Testing And Experimentation: Industry Practical Lessons. |
KDD |
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. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Isabel Garcia-Contreras |
A scalable static analysis framework for reliable program development exploiting incrementality and modularity. |
|
2021 |
RDF |
|
26 | Shubham Gupta, Sneha Chokshi |
Digital Marketing Effectiveness Using Incrementality. |
ICACDS |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Alexandra Anna Spalek, Kjell Johan Sæbø |
To Finish in German and Mainland Scandinavian: Telicity and Incrementality. |
J. Semant. |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Dennis Ulmer, Dieuwke Hupkes, Elia Bruni |
Assessing incrementality in sequence-to-sequence models. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
26 | Dennis Ulmer, Dieuwke Hupkes, Elia Bruni |
Assessing Incrementality in Sequence-to-Sequence Models. |
RepL4NLP@ACL |
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. |
IEEE Robotics Autom. Lett. |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Mehrnoosh Sadrzadeh, Matthew Purver, Julian Hough, Ruth Kempson |
Exploring Semantic Incrementality with Dynamic Syntax and Vector Space Semantics. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
26 | C. H. Bryan Liu, Elaine M. Bettaney, Benjamin Paul Chamberlain |
Designing Experiments to Measure Incrementality on Facebook. |
CoRR |
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. |
J. Autom. Reason. |
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. |
IWSDS |
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. |
SIGDIAL Conference |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach |
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. |
IJCAI |
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. |
Artif. Life |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach |
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. |
IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli |
Syntactic-semantic incrementality for agile verification. |
Sci. Comput. Program. |
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é). |
|
2015 |
RDF |
|
26 | Gianpiero Cabodi, Marco Palena, Paolo Pasini |
Interpolation with Guided Refinement: Revisiting incrementality in SAT-based unbounded model checking. |
FMCAD |
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. |
ICSOC |
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. |
WWW (Companion Volume) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Marco Palena, Gianpiero Cabodi, Alan Mishchenko |
Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3. |
DIFTS@FMCAD |
2013 |
DBLP BibTeX RDF |
|
26 | Carlo Ghezzi |
Evolution, Adaptation, and the Quest for Incrementality. |
Monterey Workshop |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Guillermo Román-Díez |
Advanced Topics in Resource Analysis: Certification, Incrementality, Concurrency and Array-Sensitivity. |
|
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. |
Dialogue Discourse |
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. |
Dialogue Discourse |
2011 |
DBLP BibTeX RDF |
|
26 | Andrew Gargett |
Incrementality and the Dynamics of Routines in Dialogue. |
Dialogue Discourse |
2011 |
DBLP BibTeX RDF |
|
26 | Jonathan E. MacDonald |
The Aspectual Influence of the Noun: (A)telicity, (A)symmetry, Incrementality and Universality. |
Lang. Linguistics Compass |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Gerry Altmann, Jelena Mirkovic |
Incrementality and Prediction in Human Sentence Processing. |
Cogn. Sci. |
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. |
INTERSPEECH |
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. |
HLDVT |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Ladislav Samuelis, Csaba Szabó |
On the Role of the Incrementality Principle in Software Evolution. |
Egypt. Comput. Sci. J. |
2007 |
DBLP BibTeX RDF |
|
26 | Masahiro Kobayashi, Kei Yoshimoto |
Transition and Parsing State and Incrementality in Dynamic Syntax. |
PACLIC |
2007 |
DBLP BibTeX RDF |
|
26 | Abdelhamid Bouchachia |
Learning with Incrementality. |
ICONIP (1) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Patrick Sturt, Vincenzo Lombardo |
Processing Coordinated Structures: Incrementality and Connectedness. |
Cogn. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Avi Arampatzis |
Unbiased S-D Threshold Optimization, Initial Query Degradation, Decay, and Incrementality, for Adaptive Document Filtering. |
TREC |
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. |
TREC |
2000 |
DBLP BibTeX RDF |
|
26 | Patrick Caudal |
Computational Lexical Semantics, Incrementality, and the So-called Punctuality of Events. |
ACL |
1999 |
DBLP BibTeX RDF |
|
26 | Mihir Bellare, Daniele Micciancio |
A New Paradigm for Collision-free Hashing: Incrementality at Reduced Cost. |
IACR Cryptol. ePrint Arch. |
1997 |
DBLP BibTeX RDF |
|
26 | Mihir Bellare, Daniele Micciancio |
A New Paradigm for Collision-Free Hashing: Incrementality at Reduced Cost. |
EUROCRYPT |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Mark Hepple |
Maximal Incrementality in Linear Categorial Deduction. |
ACL |
1997 |
DBLP BibTeX RDF |
|
26 | José Luiz Fiadeiro, T. S. E. Maibaum |
Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. |
SIGSOFT FSE |
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. |
COLING |
1992 |
DBLP BibTeX RDF |
|
26 | Carlo Ghezzi, Dino Mandrioli |
Augmenting Parsers to Support Incrementality. |
J. ACM |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Umut A. Acar |
Self-adjusting computation: (an overview). |
PEPM |
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. |
WICSA/ECSA |
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. |
Machine Learning in Document Analysis and Recognition |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Ruiming Chen, Lizheng Zhang, Vladimir Zolotov, Chandu Visweswariah, Jinjun Xiong |
Static timing: Back to our roots. |
ASP-DAC |
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. |
DASFAA |
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. |
Bangalore Compute Conf. |
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. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Ilya Mironov, Moni Naor, Gil Segev 0001 |
Sketching in adversarial environments. |
STOC |
2008 |
DBLP DOI BibTeX RDF |
data stream model., sketch model, massive data sets |
16 | Abdelhamid Bouchachia, Roland T. Mittermeir |
Towards Incremental Fuzzy Classifiers. |
Soft Comput. |
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. |
CSMR |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Michal Antkiewicz, Krzysztof Czarnecki 0001 |
Design Space of Heterogeneous Synchronization. |
GTTSE |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Fahiem Bacchus |
GAC Via Unit Propagation. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Christophe Lecoutre, Stéphane Cardon, Julien Vion |
Path Consistency by Dual Consistency. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Mikael Z. Lagerkvist, Christian Schulte 0001 |
Advisors for Incremental Propagation. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Daniele Braga, Alessandro Campi, Davide Martinenghi |
Efficient Integrity Checking over XML Documents. |
EDBT Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
16 | David Tugwell |
Language Modelling with Dynamic Syntax. |
TSD |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Henning Christiansen 0001, Davide Martinenghi |
Incremental Integrity Checking: Limitations and Possibilities. |
LPAR |
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. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Antoine Pigeau, Marc Gelgon |
Building and tracking hierarchical geographical & temporal partitions for image collection management on mobile devices. |
ACM Multimedia |
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. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Mazzei, Vincenzo Lombardo |
Building a Wide Coverage Dynamic Grammar. |
AI*IA |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Cristina Ribeiro 0001, Maria Antónia Carravilla |
A Global Constraint for Nesting Problems. |
CPAIOR |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Antoine Pigeau, Marc Gelgon |
Incremental Statistical Geo-Temporal Structuring of a Personal Camera Phone Image Collection. |
ICPR (3) |
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. |
IEA/AIE |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Michael A. Trick |
A Dynamic Programming Approach for Consistency and Propagation for Knapsack Constraints. |
Ann. Oper. Res. |
2003 |
DBLP DOI BibTeX RDF |
knapsack constraints, dynamic programming, global constraints |
16 | Bertrand Neveu, Gilles Trombettoni |
INCOP: An Open Library for INcomplete Combinatorial OPtimization. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Kamran Sartipi, Kostas Kontogiannis |
On Modeling Software Architecture Recovery as Graph Matching. |
ICSM |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino |
Using extended positional grammars to develop visual modeling languages. |
SEKE |
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. |
ISMIS |
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. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
beltway, copying collection, generational collection, Java |
16 | Egidio Astesiano, Gianna Reggio |
Tight Structuring for Precise UML-Based Requirement Specifications. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
16 | João Gama 0001, Gladys Castillo |
Adaptive Bayes. |
IBERAMIA |
2002 |
DBLP DOI BibTeX RDF |
Adaptive Bayes, Incremental Systems, Machine Learning, User Modeling |
16 | Mario Coppo, Daniel Hirschkoff |
Incremental Inference of Partial Types. |
ICTCS |
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. |
INDOCRYPT |
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. |
KES |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Xavier Franch, Josep M. Ribó Balust |
A Structured Approach to Software Process Modelling. |
EUROMICRO |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Jean-Marie Larchevêque |
Optimal Incremental Parsing. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
threaded trees, incremental parsing |
16 | Livio Colussi, Elena Marchiori, Massimo Marchiori |
A Dataflow Semantics for Constraint Logic Programs |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Mihir Bellare, Roch Guérin, Phillip Rogaway |
XOR MACs: New Methods for Message Authentication Using Finite Pseudorandom Functions. |
CRYPTO |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Jackson 0001 |
Abstract Analysis with Aspect. |
ISSTA |
1993 |
DBLP DOI BibTeX RDF |
DEBUG |