Search results for "stopping"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
116	Shu-Tao Xia	A Note on the Stopping Redundancy of Linear Codes.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	stopping sets, stopping distance, stopping redundancy, iterative decoding, low-density parity-check (LDPC) codes
110	Moshe Schwartz 0001, Alexander Vardy	On the stopping distance and the stopping redundancy of codes.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
98	José Luis Guerrero, Jesús García 0001, Luis Martí, José Manuel Molina 0001, Antonio Berlanga	A stopping criterion based on Kalman estimation techniques with several progress indicators.	GECCO	2009	DBLP DOI BibTeX RDF	MOOP, fusion architectures, Kalman filtering, stopping criterion, MOEAs
84	Richard A. Aló, Robert M. Kleyle, André de Korvin	Some dynamical properties of sequentially acquired information (abstract only)0.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
73	Sunisa Rimcharoen, Daricha Sutivong, Prabhas Chongstitvatana	A synthesis of optimal stopping time in compact genetic algorithm based on real options approach.	GECCO	2007	DBLP DOI BibTeX RDF	optimal stopping time, genetic algorithms, real options
73	R. Baker Kearfott, G. William Walster	On stopping criteria in verified nonlinear systems or optimization algorithms.	ACM Trans. Math. Softw.	2000	DBLP DOI BibTeX RDF	GlobSol, verified computations, stopping criteria
72	Junsheng Han, Paul H. Siegel	Improved Upper Bounds on Stopping Redundancy.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
72	Tuvi Etzion	On the Stopping Redundancy of Reed-Muller Codes.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
68	Amjad Hajjar, Tom Chen 0001	Improving the Efficiency and Quality of Simulation-Based Behavioral Model Verification Using Dynamic Bayesian Criteria.	ISQED	2002	DBLP DOI BibTeX RDF	Behavioral Model Verification, VHDL, Stopping Criteria
64	Kang Chul Kim, Chang-Gyoon Lim, Jae Hung Yoo, Seok Bung Han	Simulation Cost Reduction Strategies for Behavioral Model Verification in Bayesian Based Stopping Rule.	EUC	2006	DBLP DOI BibTeX RDF	behavioral VHDL model, semi-random variable, Verification, stopping rule, branch coverage
64	Eirik Rosnes	Stopping Set Analysis of Iterative Row-Column Decoding of Product Codes.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
64	Alon Orlitsky, Krishnamurthy Viswanathan, Junan Zhang	Stopping set distribution of LDPC code ensembles.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
64	Piotr Berman, Juan A. Garay, Kenneth J. Perry	Optimal Early Stopping in Distributed Consensus (Extended Abstract).	WDAG	1992	DBLP DOI BibTeX RDF
60	Michael J. Black, Guillermo Sapiro, David H. Marimont, David Heeger	Robust Anisotropic Diffusion and Sharpening of Scalar and Vector Images.	ICIP (1)	1997	DBLP DOI BibTeX RDF	robust anisotropic diffusion, robust anisotropic sharpening, scalar images, piecewise smooth image estimation, noisy input image, edge-stopping function, anisotropic diffusion equation, error norm, biweight robust estimator, automatic stopping, image boundaries detection, piecewise smooth regions, robust image sharpening, image segmentation, image enhancement, robust estimation, robust statistics, vector images, influence function
60	Tom Chen 0001, Anneliese von Mayrhauser, Amjad Hajjar, Charles Anderson 0001, Mehmet Sahinoglu	Achieving the Quality of Verification for Behavioral Models with Minimum Effort.	ISQED	2000	DBLP DOI BibTeX RDF	behavioral model verification, Compound Poisson, effort-domain, empirical Bayesian analysis, negative binomial distribution(NBD), Poisson LSD, testing strategy, stopping rule
56	Maureen Dostert, Diane Kelly 0001	Users' stopping behaviors and estimates of recall.	SIGIR	2009	DBLP DOI BibTeX RDF	recall estimates, stopping behavior, user study, decision making
56	Germán Jairo Hernández, Kenneth Wilder, Fernando Niño, Julian Garcia	Towards a self-stopping evolutionary algorithm using coupling from the past.	GECCO	2005	DBLP DOI BibTeX RDF	coupling from the past, optimization, algorithms, evolutionary, stopping criteria
56	Tom Chen 0001, Anneliese von Mayrhauser, Amjad Hajjar, Charles Anderson 0001, Mehmet Sahinoglu	How Much Testing is Enough? Applying Stopping Rules to Behavioral Model Testing.	HASE	1999	DBLP DOI BibTeX RDF	Behavioral Model Testing, Compound Poisson, Effort-Domain, Empirical Bayesian Analysis, Negative Binomial Distribution (NBD), Poisson LSD, Testing Strategy, Stopping Rule
56	Bev Littlewood, David Wright 0001	Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	operational testing, testing stopping rule, software reliability, Safety-critical software, statistical testing
55	Peter I. Frazier, Warren B. Powell	The knowledge-gradient stopping rule for ranking and selection.	WSC	2008	DBLP DOI BibTeX RDF
55	Eirik Rosnes, Øyvind Ytrehus	Turbo Decoding on the Binary Erasure Channel: Finite-Length Analysis and Turbo Stopping Sets.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
55	Tomasz Adamek, Noel E. O'Connor	Stopping Region-Based Image Segmentation at Meaningful Partitions.	SAMT	2007	DBLP DOI BibTeX RDF
55	Lei Li, Qin Wang, Cheng Youn Lu	A Novel Stopping Criterion for Turbo Decoding.	ICICIC (1)	2006	DBLP DOI BibTeX RDF
51	Luke Akong'o Orawo, J. Andrés Christen	Bayesian sequential analysis for multiple-arm clinical trials.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Backward Induction, One-arm look-ahead approximation, Clinical trials, Expected Utility, Stopping rule
48	Fabio Schoen	Stochastic Global Optimization: Stopping Rules.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Look-ahead rules, Bayesian stopping rule, Global optimization, Random sampling, Optimal stopping
47	Cloud Makasu	Bounds for a constrained optimal stopping problem.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Constrained optimal stopping problem, Lagrangian dual problem, Lagrangian multiplier
47	Elaine G. Toms, Luanne Freund	Predicting stopping behaviour: a preliminary analysis.	SIGIR	2009	DBLP DOI BibTeX RDF	human experiment, stopping behaviour, interactive ir
47	Dong Zheng 0004, Weiyan Ge, Junshan Zhang	Distributed opportunistic scheduling for ad-hoc communications: an optimal stopping approach.	MobiHoc	2007	DBLP DOI BibTeX RDF	distributed opportunistic scheduling, ad-hoc networks, game theory, optimal stopping
47	Luis Martí, Jesús García 0001, Antonio Berlanga, José Manuel Molina 0001	A cumulative evidential stopping criterion for multiobjective optimization evolutionary algorithms.	GECCO	2007	DBLP DOI BibTeX RDF	stopping criterion, MOEAs
47	Luis Martí, Jesús García 0001, Antonio Berlanga, José Manuel Molina 0001	A cumulative evidential stopping criterion for multiobjective optimization evolutionary algorithms.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	multiobjective optimization evolutionary algorithms, stopping criterion, MOEAs
47	Anastasia Kolodko, John Schoenmakers	Iterative construction of the optimal Bermudan stopping time.	Finance Stochastics	2006	DBLP DOI BibTeX RDF	Bermudan options, LIBOR market model, Monte Carlo simulation, optimal stopping
47	Martín Darío Safe, Jessica Andrea Carballido, Ignacio Ponzoni, Nélida Beatriz Brignole	On Stopping Criteria for Genetic Algorithms.	SBIA	2004	DBLP DOI BibTeX RDF	genetic algorithm, Markov chains, convergence analysis, stopping rule
47	Max-Olivier Hongler, Fabrice Dusonchet	Optimal Stopping and Gittins' Indices for Piecewise Deterministic Evolution Processes.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	dynamic allocation of jobs, piecewise-deterministic processes, continuous time Gittins' indices, optimal stopping
47	R. Boumen, Ivo S. M. de Jong, J. W. H. Vermunt, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda	Risk-Based Stopping Criteria for Test Sequencing.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
47	Donghyuk Shin, Kyoungwoo Heo, Sangbong Oh, Jeongseok Ha	A Stopping Criterion for Low-Density Parity-Check Codes.	VTC Spring	2007	DBLP DOI BibTeX RDF
47	Sunisa Rimcharoen, Daricha Sutivong, Prabhas Chongstitvatana	Optimal stopping time of compact genetic algorithm on deceptive problem using real options analysis.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
47	Philippe Raipin Parvédy, Michel Raynal, Corentin Travers	Strongly Terminating Early-Stopping k-Set Agreement in Synchronous Systems with General Omission Failures.	SIROCCO	2006	DBLP DOI BibTeX RDF
47	Amjad Hajjar, Tom Chen 0001, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman	Stopping Criteria Comparison: Towards High Quality Behavioral Verification.	ISQED	2001	DBLP DOI BibTeX RDF
47	Axel W. Krings, Thomas Feyer	The Byzantine Agreement Problem: Optimal Early Stopping.	HICSS	1999	DBLP DOI BibTeX RDF
47	Masami Kurano, Masami Yasuda, Jun-ichi Nakagami, Yuji Yoshida	Fuzzy stopping of a dynamic fuzzy system.	KES (3)	1998	DBLP DOI BibTeX RDF
47	Lutz Prechelt	Early Stopping-But When?	Neural Networks: Tricks of the Trade	1996	DBLP DOI BibTeX RDF
43	Siddhartha R. Dalal, Allen A. McIntosh	When to Stop Testing for Large Software Systems with Changing Code.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	changing code, economic framework, real time trial, software testers, Net Benefit Plot, Stopping Plot, diagnostic plots, optimal stopping rule, graphical methods, software fault detection, computer graphics, software metrics, software metrics, software reliability, program testing, statistical inference, software reliability model, large software systems
43	Nicholas D. Pattengale, Masoud Alipour, Olaf R. P. Bininda-Emonds, Bernard M. E. Moret, Alexandros Stamatakis	How Many Bootstrap Replicates Are Necessary?	RECOMB	2009	DBLP DOI BibTeX RDF	Support Value, Bootstopping, Bootstrap, Maximum Likelihood, Stopping Criterion, Phylogenetic Inference
39	Imre Pólik, Tamás Terlaky	New stopping criteria for detecting infeasibility in conic optimization.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Approximate Farkas theorem, Conic optimization, Infeasibility, Stopping criteria
39	Changhao Zhai, Chengxin Xu, Xin Zhang 0001, Yafeng Wang	Research on stopping criterion for irregular LDPC codes decoding.	IWCMC	2009	DBLP DOI BibTeX RDF	belief propagation decoding, irregular LDPC codes, stopping criterion
39	João Ascenso, Fernando Pereira 0001	Complexity efficient stopping criterion for LDPC based distributed video coding.	MobiMedia	2009	DBLP DOI BibTeX RDF	early stopping criterion, belief propagation, low density parity check codes, Wyner-Ziv video coding
39	Michael D. Marcozzi	On the Approximation of Infinite Dimensional Optimal Stopping Problems with Application to Mathematical Finance.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Infinite dimensional diffusion, Mathematical finance, Finite element method, Variational methods, Optimal stopping
39	Hao Wu, Jonathan L. Shapiro	Parameter cross-validation and early-stopping in univariate marginal distribution algorithm.	GECCO	2007	DBLP DOI BibTeX RDF	early-stopping, univariate marginal distribution algorithm (UMDA), cross-validation, overfitting
38	Thorsten Hehn, Olgica Milenkovic, Stefan Laendner, Johannes B. Huber	Permutation Decoding and the Stopping Redundancy Hierarchy of Cyclic and Extended Cyclic Codes.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
38	Shinichi Sakai, Tatsuya Kawahara, Shun Nakamura	Admissible stopping in viterbi beam search for unit selection in concatenative speech synthesis.	ICASSP	2008	DBLP DOI BibTeX RDF
38	Sanjay Kumar Khattri	Stopping Criterion for Adaptive Algorithm.	ICCS (1)	2008	DBLP DOI BibTeX RDF
38	Christos Dimitrakakis, Christian Savu-Krohn	Cost-Minimising Strategies for Data Labelling: Optimal Stopping and Active Learning.	FoIKS	2008	DBLP DOI BibTeX RDF
38	Vojtech Franc, Pavel Laskov, Klaus-Robert Müller	Stopping conditions for exact computation of leave-one-out error in support vector machines.	ICML	2008	DBLP DOI BibTeX RDF
38	Khaled A. S. Abdel-Ghaffar, Jos H. Weber	Complete Enumeration of Stopping Sets of Full-Rank Parity-Check Matrices of Hamming Codes.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
38	V. Rathi	On the Asymptotic Weight and Stopping Set Distribution of Regular LDPC Ensembles.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
38	Magnus Bordewich, Martin E. Dyer, Marek Karpinski	Stopping Times, Metrics and Approximate Counting.	ICALP (1)	2006	DBLP DOI BibTeX RDF
38	Xianbing Wang, Jiannong Cao 0001	An Optimal Early Stopping Uniform C onsensus Protocol in Synchronous Distributed Systems with Orderly Crash Failures.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
38	Paul Glasserman, Jeremy Staum	Simulation in financial engineering: stopping simulated paths early.	WSC	2001	DBLP DOI BibTeX RDF
38	Katsuyuki Hagiwara, Kazuhiro Kuno	Regularization Learning and Early Stopping in Linear Networks.	IJCNN (4)	2000	DBLP DOI BibTeX RDF
34	James F. Peters	Toward Approximate Adaptive Learning.	RSEISP	2007	DBLP DOI BibTeX RDF	Actor-critic, behaviour pattern, stopping time, perception, adaptive learning, approximation space
34	Antti Ylä-Jääski, Nahum Kiryati	Adaptive Termination of Voting in the Probabilistic Circular Hough Transform.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	adaptive termination, probabilistic circular Hough transform, small random poll, computational savings, risk of errors, peaks, voting termination, adaptive stopping, probability, edge detection, objects detection, Hough transforms, noisy image, decisions, parameter space, edge points
34	Alexandre Graell i Amat, Eirik Rosnes	Good concatenated code ensembles for the binary erasure channel.	IEEE J. Sel. Areas Commun.	2009	DBLP DOI BibTeX RDF
34	Dmitry M. Malioutov, Sujay Sanghavi, Alan S. Willsky	Compressed sensing with sequential observations.	ICASSP	2008	DBLP DOI BibTeX RDF
34	Badri N. Vellambi, Faramarz Fekri	Results on the Improved Decoding Algorithm for Low-Density Parity-Check Codes Over the Binary Erasure Channel.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
34	Wen Wang, Pieter H. A. J. M. van Gelder, J. K. Vrijling	Some Issues About the Generalization of Neural Networks for Time Series Prediction.	ICANN (2)	2005	DBLP DOI BibTeX RDF
34	Hanno Scharr, Michael J. Black, Horst W. Haussecker	Image Statistics and Anisotropic Diffusion.	ICCV	2003	DBLP DOI BibTeX RDF
34	Rafael Casado, Aurelio Bermúdez, José Duato, Francisco J. Quiles 0001, José L. Sánchez 0002	A Protocol for Deadlock-Free Dynamic Reconfiguration in High-Speed Local Area Networks.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	Interconnection networks, dynamic reconfiguration, deadlock avoidance, irregular topologies, system availability
34	Wentian Li	DNA segmentation as a model selection process.	RECOMB	2001	DBLP DOI BibTeX RDF
34	Hermanus P. J. Bolton, Jaco F. Schutte, Albert A. Groenwold	Multiple Parallel Local Searches in Global Optimization.	PVM/MPI	2000	DBLP DOI BibTeX RDF
30	Ernesto G. Birgin, Marcos Raydan	Dykstra's Algorithm and Robust Stopping Criteria.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Alternating projection methods, Dykstra's algorithm, Convex optimization, Stopping criteria
30	George V. Moustakides, Vassilios S. Verykios	Optimal Stopping: A Record-Linkage Approach.	ACM J. Data Inf. Qual.	2009	DBLP DOI BibTeX RDF	Record-linkage, duplicate detection, optimal stopping
30	Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal	Early Stopping in Global Data Computation.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	early stopping, global data, perfect failure detector, fault tolerance, reliability, distributed computing, Asynchronous distributed systems, crash failure
30	Amjad Hajjar, Tom Chen 0001, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman	High quality behavioral verification using statistical stopping criteria.	DATE	2001	DBLP DOI BibTeX RDF	behavioral model verification, statistical stopping rules, VHDL
30	Dong Zheng 0004, Weiyan Ge, Junshan Zhang	Distributed Opportunistic Scheduling for Ad Hoc Networks With Random Access: An Optimal Stopping Approach.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
30	Urs Niesen, Aslan Tchamkerten	Tracking Stopping Times Through Noisy Observations.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
30	Luis Javier Herrera, Ginés Rubio, Héctor Pomares, Ben Paechter, Alberto Guillén, Ignacio Rojas	Strengthening the Forward Variable Selection Stopping Criterion.	ICANN (2)	2009	DBLP DOI BibTeX RDF	Mutual Information, Function Approximation, Variable Selection
30	Jos H. Weber, Khaled A. S. Abdel-Ghaffar	Results on Parity-Check Matrices With Optimal Stopping And/Or Dead-End Set Enumerators.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
30	Tadashi Wadayama	Average Stopping Set Weight Distributions of Redundant Random Ensembles.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
30	Guy Gilboa	Nonlinear Scale Space with Spatially Varying Stopping Time.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF
30	Chotirat Ann Ratanamahatana, Dechawut Wanichsan	Stopping Criterion Selection for Efficient Semi-supervised Time Series Classification.	Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing	2008	DBLP DOI BibTeX RDF
30	Maben Rabi, Karl Henrik Johansson, Mikael Johansson 0001	Optimal stopping for event-triggered sensing and actuation.	CDC	2008	DBLP DOI BibTeX RDF
30	Volodymyr Mnih, Csaba Szepesvári, Jean-Yves Audibert	Empirical Bernstein stopping.	ICML	2008	DBLP DOI BibTeX RDF
30	Karunakaran Murali Krishnan, Priti Shankar	Computing the Stopping Distance of a Tanner Graph Is NP-Hard.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
30	Fan-Min Li, An-Yeu Wu	On the New Stopping Criteria of Iterative Turbo Decoding by Using Decoding Threshold.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
30	Stefan Laendner, Olgica Milenkovic	LDPC Codes Based on Latin Squares: Cycle Structure, Stopping Set, and Trapping Set Analysis.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
30	Terry Windeatt, Matthew Prior	Stopping Criteria for Ensemble-Based Feature Selection.	MCS	2007	DBLP DOI BibTeX RDF	RFE, feature selection, Multiple Classifiers, ECOC
30	Oliver Skroch, Klaus Turowski	Improving service selection in component-based architectures with optimal stopping.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF
30	Kamran Shafi, Hussein A. Abbass, Weiping Zhu 0001	The Role of Early Stopping and Population Size in XCS for Intrusion Detection.	SEAL	2006	DBLP DOI BibTeX RDF
30	Chris Urmson	Driving Beyond Stopping Distance Constraints.	IROS	2006	DBLP DOI BibTeX RDF
30	K. Murali Krishnan 0001, L. Sunil Chandran	Hardness of Approximation Results for the Problem of Finding the Stopping Distance in Tanner Graphs.	FSTTCS	2006	DBLP DOI BibTeX RDF
30	Krzysztof Michalak, Rafal Raciborski	Dynamic Correlation Approach to Early Stopping in Artificial Neural Network Training. Macroeconomic Forecasting Example.	ISDA	2005	DBLP DOI BibTeX RDF
30	Glenn J. Browne, Mitzi G. Pitts, James C. Wetherbe	Stopping Rule Use During Web-Based Search.	HICSS	2005	DBLP DOI BibTeX RDF
30	Philippe Raipin Parvédy, Michel Raynal, Corentin Travers	Decision Optimal Early-Stopping k-set Agreement in Synchronous Systems Prone to Send Omission Failures.	PRDC	2005	DBLP DOI BibTeX RDF
30	Stacy J. Prowell	A Cost-Benefit Stopping Criterion for Statistical Testing.	HICSS	2004	DBLP DOI BibTeX RDF
30	Yuji Yoshida	Optimal stopping of a continuous-time dynamic fuzzy system under possibility theory.	KES (3)	1998	DBLP DOI BibTeX RDF
26	Tamás Miseta, Attila Fodor, Ágnes Vathy-Fogarassy	Surpassing early stopping: A novel correlation-based stopping criterion for neural networks.	Neurocomputing	2024	DBLP DOI BibTeX RDF
26	Meredith Dedema, Chang Liu	Examination of online information search stopping behaviors and stopping rules by task type.	ASIST	2019	DBLP DOI BibTeX RDF
26	David Maxwell 0001, Leif Azzopardi	Information Scent, Searching and Stopping - Modelling SERP Level Stopping Behaviour.	ECIR	2018	DBLP DOI BibTeX RDF
26	David Maxwell 0001, Leif Azzopardi, Kalervo Järvelin, Heikki Keskustalo	Searching and Stopping: An Analysis of Stopping Rules and Strategies.	CIKM	2015	DBLP DOI BibTeX RDF
26	Mario Fific, Marcus Buckmann	A Triple-Stopping Threshold System For a Sequential Decision Task: A Cast-Net Stopping Rule Model.	CogSci	2015	DBLP BibTeX RDF