Search results for "tabulation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
67	S. S. Siwpersad, Bamba Gueye, Steve Uhlig	Assessing the Geographic Resolution of Exhaustive Tabulation for Geolocating Internet Hosts.	PAM	2008	DBLP DOI BibTeX RDF	exhaustive tabulation, geolocation, active measurements
45	Bamba Gueye, Steve Uhlig, Serge Fdida	Investigating the Imprecision of IP Block-Based Geolocation.	PAM	2007	DBLP DOI BibTeX RDF	exhaustive tabulation, geolocation, active measurements
45	Yanhong A. Liu, Scott D. Stoller	Dynamic Programming via Static Incrementalization.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	tabulation, dynamic programming, caching, static analysis, program transformation, dependence analysis, pruning, program optimization, incrementalization, incremental computation, memoization, incremental update
45	Mikkel Thorup	Simple Tabulation, Fast Expanders, Double Tabulation, and High Independence.	CoRR	2013	DBLP BibTeX RDF
45	Mikkel Thorup	Simple Tabulation, Fast Expanders, Double Tabulation, and High Independence.	FOCS	2013	DBLP DOI BibTeX RDF
45	Kôiti Hasida, Takashi Miyata	Parsing and Generation with Tabulation and Compilation.	TAPD	1998	DBLP BibTeX RDF
45	Abhik Roychoudhury, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka	Tabulation-based Induction Proofs with Application to Automated Verification.	TAPD	1998	DBLP BibTeX RDF
45	Carlos Viegas Damásio, Luís Moniz Pereira	A General Tabulation Procedure for Extended Constraint Logic Programs.	TAPD	1998	DBLP BibTeX RDF
45	Mark-Jan Nederhof	Linear Indexed Automata and Tabulation of TAG Parsing.	TAPD	1998	DBLP BibTeX RDF
39	Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski	Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP.	ICLP	2002	DBLP DOI BibTeX RDF
39	Miguel A. Alonso 0001, Víctor J. Díaz, Manuel Vilares Ferro	Tabulation of Bidirectional Push Down Automata.	CIAA	2002	DBLP DOI BibTeX RDF
39	Miguel A. Alonso 0001, Éric Villemonte de la Clergerie, Manuel Vilares Ferro	A Formal Definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique.	LACL	2001	DBLP DOI BibTeX RDF
39	Yoshitaka Kameya, Taisuke Sato	Efficient EM Learning with Tabulation for Parameterized Logic Programs.	Computational Logic	2000	DBLP DOI BibTeX RDF
39	Martin Barghoorn	Cross-Tabulation Algorithms.	APL	1996	DBLP DOI BibTeX RDF	APL
33	Nikolay Pelov, Maurice Bruynooghe	Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog.	LPAR	1999	DBLP DOI BibTeX RDF
33	Michael Codish, Bart Demoen, Konstantinos Sagonas	Semantics-Based Program Analysis for Logic-Based Languages Using XSB.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Semantics-based program analysis, Logic programming language analysis, XSB
28	Yanhong A. Liu, Scott D. Stoller	Optimizing Ackermann's function by incrementalization.	PEPM	2003	DBLP DOI BibTeX RDF	tabulation, optimization, caching, program transformation, recursion, iteration, incrementalization, incremental computation, memoization
28	Thomas W. Reps	"Maximal-munch" Tokenization in Linear Time.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	tabulation, dynamic programming, backtracking, tokenization, memoization
22	Hongyuan Zhang, Navneeth Srinivasan, Suo Yang	In situ adaptive tabulation of vapor-liquid equilibrium solutions for multi-component high-pressure transcritical flows with phase change.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
22	Muhammad Shakir, Shahid Karim, Shahnawaz Ali, Shahzor Memon, Halar Mustafa, Rabia Shaikh	Denim enumeration and tabulation solution for the garments manufacturing environment.	Int. J. Electron. Secur. Digit. Forensics	2023	DBLP DOI BibTeX RDF
22	Jetsun Whitton, Anthony Hunter	Automated tabulation of clinical trial results: A joint entity and relation extraction approach with transformer-based language representations.	Artif. Intell. Medicine	2023	DBLP DOI BibTeX RDF
22	Amol Salunkhe, Dwyer Deighan, Paul E. DesJardin, Varun Chandola	Physics informed machine learning for chemistry tabulation.	J. Comput. Sci.	2023	DBLP DOI BibTeX RDF
22	Adam Grydehøj, Ping Su, Shoujuan Huang, Yaso Nadarajah	Tensions and challenges in the decolonisation of academic publishing: A cross-tabulation analysis of articles in Island Studies Journal.	Learn. Publ.	2023	DBLP DOI BibTeX RDF
22	Yu Zhang 0108, Qingguo Lin, Wenli Du, Feng Qian 0004	Data-Driven Tabulation for Chemistry Integration Using Recurrent Neural Networks.	IEEE Trans. Neural Networks Learn. Syst.	2023	DBLP DOI BibTeX RDF
22	Fei Zhao, Chengcui Zhang, Nitesh Saxena, Dan S. Wallach, AKM Shahariar Azad Rabby	Ballot Tabulation Using Deep Learning.	IRI	2023	DBLP DOI BibTeX RDF
22	Carlo Cena, Özgür Akgün, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, Felix Ulrich-Oltean	Learning When to Use Automatic Tabulation in Constraint Model Reformulation.	IJCAI	2023	DBLP DOI BibTeX RDF
22	Amol Salunkhe, Dwyer Deighan, Paul E. DesJardin, Varun Chandola	Physics Informed Machine Learning for Chemistry Tabulation.	CoRR	2022	DBLP DOI BibTeX RDF
22	Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean	Automatic Tabulation in Constraint Models.	CoRR	2022	DBLP BibTeX RDF
22	Jakob Bæk Tejs Houen, Mikkel Thorup	Understanding the Moments of Tabulation Hashing via Chaoses.	CoRR	2022	DBLP DOI BibTeX RDF
22	Louis Dressler, Hendrik Nicolai, Senda Agrebi, Florian Ries, Amsini Sadiki	Computation of Entropy Production in Stratified Flames Based on Chemistry Tabulation and an Eulerian Transported Probability Density Function Approach.	Entropy	2022	DBLP DOI BibTeX RDF
22	Ariel Rosenfeld	Optimal retrieval in puzzle-based storage with heuristic search and tabulation.	Networks	2022	DBLP DOI BibTeX RDF
22	Jakob Bæk Tejs Houen, Mikkel Thorup	Understanding the Moments of Tabulation Hashing via Chaoses.	ICALP	2022	DBLP DOI BibTeX RDF
22	Jetsun Whitton, Anthony Hunter	Automated tabulation of clinical trial results: A joint entity and relation extraction approach with transformer-based language representations.	CoRR	2021	DBLP BibTeX RDF
22	Americo Cunha Jr., Luis Fernando Figueira da Silva	Assessment of a transient homogeneous reactor through in situ adaptive tabulation.	CoRR	2021	DBLP BibTeX RDF
22	Rishikesh Ranade, Genong Li, Shaoping Li, Tarek Echekki	An Efficient Machine-Learning Approach for PDF Tabulation in Turbulent Combustion Closure.	CoRR	2020	DBLP BibTeX RDF
22	Anders Aamand, Mikkel Thorup	Non-empty Bins with Simple Tabulation Hashing.	SODA	2019	DBLP DOI BibTeX RDF
22	Adrià Rodríguez-Pérez, Pol Valletbó-Montfort, Jordi Cucurull	Bringing transparency and trust to elections: using blockchains for the transmission and tabulation of results.	ICEGOV	2019	DBLP DOI BibTeX RDF
22	Julian Kranz	Binary Analysis using On-Demand Tabulation of Function Summaries.		2019	RDF
22	Sudip Adhikari, Alan Sayre, Abhilash J. Chandy	In situ adaptive tabulation (ISAT) for combustion chemistry in a network of perfectly stirred reactors (PSRs) for the investigation of soot formation and growth.	Comput. Chem. Eng.	2018	DBLP DOI BibTeX RDF
22	Dane S. Corneil, Wulfram Gerstner, Johanni Brea	Efficient Model-Based Deep Reinforcement Learning with Variational State Tabulation.	CoRR	2018	DBLP BibTeX RDF
22	Anders Aamand, Mikkel Thorup	Non-Empty Bins with Simple Tabulation Hashing.	CoRR	2018	DBLP BibTeX RDF
22	Ronald L. Rivest	Bayesian Tabulation Audits: Explained and Extended.	CoRR	2018	DBLP BibTeX RDF
22	Anders Aamand, Mathias Bæk Tejs Knudsen, Mikkel Thorup	Power of d Choices with Simple Tabulation.	CoRR	2018	DBLP BibTeX RDF
22	Anders Aamand, Mathias Bæk Tejs Knudsen, Mikkel Thorup	Power of d Choices with Simple Tabulation.	ICALP	2018	DBLP DOI BibTeX RDF
22	Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon	Automatic Discovery and Exploitation of Promising Subproblems for Tabulation.	CP	2018	DBLP DOI BibTeX RDF
22	Dane S. Corneil, Wulfram Gerstner, Johanni Brea	Efficient ModelBased Deep Reinforcement Learning with Variational State Tabulation.	ICML	2018	DBLP BibTeX RDF
22	Sudip Adhikari, Alan Sayre, Abhilash J. Chandy	In situ adaptive tabulation (ISAT) for combustion chemistry in a network of perfectly stirred reactors (PSRs).	Comput. Chem. Eng.	2017	DBLP DOI BibTeX RDF
22	Mikkel Thorup	Fast and powerful hashing using tabulation.	Commun. ACM	2017	DBLP DOI BibTeX RDF
22	Keiichi Yamamoto, Keiko Ota, Ippei Akiya, Ayumi Shintani	A pragmatic method for transforming clinical research data from the research electronic data capture "REDCap" to Clinical Data Interchange Standards Consortium (CDISC) Study Data Tabulation Model (SDTM): Development and evaluation of REDCap2SDTM.	J. Biomed. Informatics	2017	DBLP DOI BibTeX RDF
22	Mikkel Thorup	Fast and Powerful Hashing Using Tabulation (Invited Talk).	ICALP	2017	DBLP DOI BibTeX RDF
22	Mikkel Thorup	Fast and Powerful Hashing using Tabulation.	FOGA	2017	DBLP DOI BibTeX RDF
22	Justin M. Blasi, Robert J. Kee	In situ adaptive tabulation (ISAT) to accelerate transient computational fluid dynamics with complex heterogeneous chemical kinetics.	Comput. Chem. Eng.	2016	DBLP DOI BibTeX RDF
22	Jang Won Bae, J. H. Kim, Il-Chul Moon, Tag Gon Kim	Accelerated simulation of hierarchical military operations with tabulation technique.	J. Simulation	2016	DBLP DOI BibTeX RDF
22	Szymon Grabowski	New tabulation and sparse dynamic programming based techniques for sequence similarity problems.	Discret. Appl. Math.	2016	DBLP DOI BibTeX RDF
22	Anton Mosunov, M. J. Jacobson	Unconditional class group tabulation of imaginary quadratic fields to \|\|Δ\|\| < 240.	Math. Comput.	2016	DBLP DOI BibTeX RDF
22	Søren Dahlgaard, Mathias Bæk Tejs Knudsen, Eva Rotenberg, Mikkel Thorup	The Power of Two Choices with Simple Tabulation.	SODA	2016	DBLP DOI BibTeX RDF
22	Mikkel Thorup	Fast and Powerful Hashing Using Tabulation (Invited Talk).	FSTTCS	2016	DBLP DOI BibTeX RDF
22	Van Hung Le 0001, Fei Liu 0003	Tabulation proof procedures for fuzzy linguistic logic programming.	Int. J. Approx. Reason.	2015	DBLP DOI BibTeX RDF
22	Wolfgang Kaisers, Heiner Schaal, Holger Schwender	rbamtools: an R interface to samtools enabling fast accumulative tabulation of splicing events over multiple RNA-seq samples.	Bioinform.	2015	DBLP DOI BibTeX RDF
22	Marco Kuhlmann	Tabulation of Noncrossing Acyclic Digraphs.	CoRR	2015	DBLP BibTeX RDF
22	Mikkel Thorup	Fast and Powerful Hashing using Tabulation.	CoRR	2015	DBLP BibTeX RDF
22	Thomas Dijkmans, Carl M. Schietekat, Kevin M. Van Geem, Guy B. Marin	GPU based simulation of reactive mixtures with detailed chemistry in combination with tabulation and an analytical Jacobian.	Comput. Chem. Eng.	2014	DBLP DOI BibTeX RDF
22	Søren Dahlgaard, Mikkel Thorup	Approximately Minwise Independence with Twisted Tabulation.	CoRR	2014	DBLP BibTeX RDF
22	Søren Dahlgaard, Mathias Bæk Tejs Knudsen, Eva Rotenberg, Mikkel Thorup	The Power of Two Choices with Simple Tabulation.	CoRR	2014	DBLP BibTeX RDF
22	Szymon Grabowski	New Tabulation and Sparse Dynamic Programming Based Techniques for Sequence Similarity Problems.	Stringology	2014	DBLP BibTeX RDF
22	Søren Dahlgaard, Mikkel Thorup	Approximately Minwise Independence with Twisted Tabulation.	SWAT	2014	DBLP DOI BibTeX RDF
22	Szymon Grabowski	New tabulation and sparse dynamic programming based techniques for sequence similarity problems.	CoRR	2013	DBLP BibTeX RDF
22	Chengjiu Yin, Sachio Hirokawa, Jane Yin-Kim Yau, Kiyota Hashimoto, Yoshiyuki Tabata, Tetsuya Nakatoh	Research Trends with Cross Tabulation Search Engine.	Int. J. Distance Educ. Technol.	2013	DBLP DOI BibTeX RDF
22	Mihai Patrascu, Mikkel Thorup	Twisted Tabulation Hashing.	SODA	2013	DBLP DOI BibTeX RDF
22	Pascual Julián Iranzo, Jesús Medina-Moreno, Pedro J. Morcillo, Ginés Moreno, Manuel Ojeda-Aciego	An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy Tabulation.	IWANN (1)	2013	DBLP DOI BibTeX RDF
22	Makoto Okada, Sachio Hirokawa, Kiyota Hashimoto	Analysis of Opinions from Questionnaire Surveys of Farming Candidates using Cross Tabulation System.	IIMSS	2013	DBLP DOI BibTeX RDF
22	Mihai Patrascu, Mikkel Thorup	The Power of Simple Tabulation Hashing.	J. ACM	2012	DBLP DOI BibTeX RDF
22	Pieter Rozenhart, Michael J. Jacobson Jr., Renate Scheidler	Tabulation of cubic function fields via polynomial binary cubic forms.	Math. Comput.	2012	DBLP DOI BibTeX RDF
22	Mikkel Thorup, Yin Zhang	Tabulation-Based 5-Independent Hashing with Applications to Linear Probing and Second Moment Estimation.	SIAM J. Comput.	2012	DBLP DOI BibTeX RDF
22	Kai Wang 0059, Nicholas Carlini, Eric Kim, Ivan Motyashov, Daniel Nguyen, David A. Wagner 0001	Operator-Assisted Tabulation of Optical Scan Ballots.	EVT/WOTE	2012	DBLP BibTeX RDF
22	Toryn Qwyllyn Klassen, Philipp Woelfel	Independence of Tabulation-Based Hash Classes.	LATIN	2012	DBLP DOI BibTeX RDF
22	Ankan Kumar, Sandip Mazumder	Adaptation and application of the In Situ Adaptive Tabulation (ISAT) procedure to reacting flow calculations with complex surface chemistry.	Comput. Chem. Eng.	2011	DBLP DOI BibTeX RDF
22	Toryn Qwyllyn Klassen, Philipp Woelfel	Independence of Tabulation-Based Hash Classes	CoRR	2011	DBLP BibTeX RDF
22	Moritaka Hosotsubo	A statistical study of transferral and promotion mechanisms relating to the appointment of professors at Japanese national universities based on cross tabulation and log-linear model analysis.	Scientometrics	2011	DBLP DOI BibTeX RDF
22	Chi-Cheng Chang, Kuo-Hung Tseng, Hsiu-Ping Yueh, Wei-Chien Lin	Consideration factors and adoption of type, tabulation and framework for creating e-portfolios.	Comput. Educ.	2011	DBLP DOI BibTeX RDF
22	Pascual Julián, Jesús Medina 0001, Pedro J. Morcillo, Ginés Moreno, Manuel Ojeda-Aciego	A Static Preprocess for Improving Fuzzy Thresholded Tabulation.	IWANN (2)	2011	DBLP DOI BibTeX RDF
22	Mihai Patrascu, Mikkel Thorup	The power of simple tabulation hashing.	STOC	2011	DBLP DOI BibTeX RDF
22	Mihai Patrascu, Mikkel Thorup	The Power of Simple Tabulation Hashing	CoRR	2010	DBLP BibTeX RDF
22	Joachim Wackerow	Exanda - A Flexible On-Line Tabulation System Using DDI 3 (update).	IASSIST	2010	DBLP BibTeX RDF
22	Mikkel Thorup, Yin Zhang	Tabulation Based 5-Universal Hashing and Linear Probing.	ALENEX	2010	DBLP DOI BibTeX RDF
22	Liuyan Lu, Stephen B. Pope	An improved algorithm for in situ adaptive tabulation.	J. Comput. Phys.	2009	DBLP DOI BibTeX RDF
22	John D. Hedengren, Thomas F. Edgar	Approximate nonlinear model predictive control with in situ adaptive tabulation.	Comput. Chem. Eng.	2008	DBLP DOI BibTeX RDF
22	Pascual Julián Iranzo, Jesús Medina 0001, Ginés Moreno, Manuel Ojeda-Aciego	Thresholded Tabulation in a Fuzzy Logic Setting.	PROLE	2008	DBLP DOI BibTeX RDF
22	Takanori Shibata, Kazuyoshi Wada, Yousuke Ikeda, Selma Sabanovic	Tabulation and analysis of questionnaire results of subjective evaluation of seal robot in seven countries.	RO-MAN	2008	DBLP DOI BibTeX RDF
22	Pieter Rozenhart, Renate Scheidler	Tabulation of Cubic Function Fields with Imaginary and Unusual Hessian.	ANTS	2008	DBLP DOI BibTeX RDF
22	Nina McGarry	Using Cross-Tabulation and Kendall's TAU-C in an Effort to Understand Gender Issues of Socio-Technical Systems Development of a Healthcare Informatics Application.	AMCIS	2007	DBLP BibTeX RDF
22	Thomas P. Ryan, Candice Hoke	GEMS Tabulation Database Design Issues in Relation to Voting Systems Certification Standards.	EVT	2007	DBLP BibTeX RDF
22	Amit Varshney, Antonios Armaou	Dynamic optimization of multiscale PDE/kMC process systems using nonlinear order reduction and tabulation techniques.	ACC	2007	DBLP DOI BibTeX RDF
22	Robert Gilmore Pontius Jr., Mang Lung Cheuk	A generalized cross-tabulation matrix to compare soft-classified maps at multiple resolutions.	Int. J. Geogr. Inf. Sci.	2006	DBLP DOI BibTeX RDF
22	Carlos Viegas Damásio, Jesús Medina 0001, Manuel Ojeda-Aciego	A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations.	FUZZ-IEEE	2006	DBLP DOI BibTeX RDF
22	Amit Varshney, Antonios Armaou	Dynamic optimization of stochastic systems using in situ adaptive tabulation.	ACC	2006	DBLP DOI BibTeX RDF
22	Sandip Mazumder	Adaptation of the in situ adaptive tabulation (ISAT) procedure for efficient computation of surface reactions.	Comput. Chem. Eng.	2005	DBLP DOI BibTeX RDF
22	Takanori Shibata, Kazuyoshi Wada, Kazuo Tanie	Tabulation and Analysis of Questionnaire Results of Subjective Evaluation of Seal Robot in Japan, U.K., Sweden and Italy.	ICRA	2004	DBLP DOI BibTeX RDF
22	Mikkel Thorup, Yin Zhang	Tabulation based 4-universal hashing with applications to second moment estimation.	SODA	2004	DBLP BibTeX RDF
22	John D. Hedengren, Thomas F. Edgar	In situ adaptive tabulation for real-time control.	ACC	2004	DBLP DOI BibTeX RDF