Search results for "incrementality"

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