Search results for "tractability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Roded Sharan, Bjarni V. Halldórsson, Sorin Istrail	Islands of Tractability for Parsimony Haplotyping.	CSB	2005	DBLP DOI BibTeX RDF	approximation algorithm, complexity, fixed parameter tractability, genotype, parsimony, Haplotype inference
3	Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger	05301 Summary - Exact Algorithms and Fixed-Parameter Tractability.	Exact Algorithms and Fixed-Parameter Tractability	2005	DBLP BibTeX RDF
3	Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger	05301 Abstracts Collection - Exact Algorithms and Fixed-Parameter Tractability.	Exact Algorithms and Fixed-Parameter Tractability	2005	DBLP BibTeX RDF
3	Erich Novak, Ian H. Sloan, Henryk Wozniakowski	Tractability of Approximation for Weighted Korobov Spaces on Classical and Quantum Computers.	Foundations of Computational Mathematics	2004	DBLP DOI BibTeX RDF	Korobov spaces, Approximation, Randomized algorithms, Quantum computation, Tractability
2	Gianluigi Greco, Francesco Scarcello	The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability.	PODS	2010	DBLP DOI BibTeX RDF	structural decomposition methods, tree projections, local consistency
2	Michael Gnewuch, Henryk Wozniakowski	Generalized Tractability for Multivariate Problems Part II: Linear Tensor Product Problems, Linear Information, and Unrestricted Tractability.	Foundations of Computational Mathematics	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 65D99
2	Erik D. Demaine, MohammadTaghi Hajiaghayi, Dániel Marx	Minimizing Movement: Fixed-Parameter Tractability.	ESA	2009	DBLP DOI BibTeX RDF
2	Binhai Zhu	Approximability and Fixed-Parameter Tractability for the Exemplar Genomic Distance Problems.	TAMC	2009	DBLP DOI BibTeX RDF
2	Bruno Marnette	Generalized schema-mappings: from termination to tractability.	PODS	2009	DBLP DOI BibTeX RDF	weak acyclicity, data exchange, core, universal solution
2	David A. Cohen, Martin J. Green, Chris Houghton	Constraint Representations and Structural Tractability.	CP	2009	DBLP DOI BibTeX RDF
2	Nadja Betzler, Michael R. Fellows, Jiong Guo, Rolf Niedermeier, Frances A. Rosamond	How similarity helps to efficiently compute Kemeny rankings.	AAMAS	2009	DBLP DOI BibTeX RDF	structural parameterization, exact algorithm, NP-hard problem, fixed-parameter tractability, rank aggregation
2	Leo van Iersel, Judith Keijsper, Steven Kelk, Leen Stougie	Shorelines of Islands of Tractability: Algorithms for Parsimony and Minimum Perfect Phylogeny Haplotyping Problems.	IEEE/ACM Trans. Comput. Biology Bioinform.	2008	DBLP DOI BibTeX RDF	Biology and genetics, Combinatorial algorithms, Complexity hierarchies
2	Sergio Cabello, Panos Giannopoulos, Christian Knauer, Günter Rote	Geometric clustering: fixed-parameter tractability and lower bounds with respect to the dimension.	SODA	2008	DBLP DOI BibTeX RDF	clustering, complexity, lower bound, dimension, fixed-parameter tractability
2	Tuan Zea Tan, Geok See Ng, Chai Quek	Improving tractability of Clinical Decision Support system.	IJCNN	2008	DBLP DOI BibTeX RDF
2	Roman Barták, Ondrej Cepek	Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models.	AIMSA	2008	DBLP DOI BibTeX RDF	temporal networks, complexity, alternatives, constraint models
2	Jens Gramm, Jiong Guo, Falk Hüffner, Rolf Niedermeier	Data reduction and exact algorithms for clique cover.	ACM Journal of Experimental Algorithmics	2008	DBLP DOI BibTeX RDF	Clique cover, data reduction, fixed-parameter tractability
2	Mathias Möhl, Sebastian Will, Rolf Backofen	Fixed Parameter Tractable Alignment of RNA Structures Including Arbitrary Pseudoknots.	CPM	2008	DBLP DOI BibTeX RDF	RNA alignment, fixed parameter tractability, pseudoknots
2	Georg Gottlob, Reinhard Pichler, Fang Wei	Monadic datalog over finite structures with bounded treewidth.	PODS	2007	DBLP DOI BibTeX RDF	datalog, treewidth, fixed-parameter tractability, monadic second order logic, tree decomposition
2	Thomas Eiter, Kazuhisa Makino	On computing all abductive explanations from a propositional Horn theory.	J. ACM	2007	DBLP DOI BibTeX RDF	Horn theories, dualization problem, polynomial total-time computation, NP-hardness, Abduction, model-based reasoning, propositional logic, tractability, prime implicates, characteristic set, enumeration algorithms
2	Roded Sharan, Bjarni V. Halldórsson, Sorin Istrail	Islands of Tractability for Parsimony Haplotyping.	IEEE/ACM Trans. Comput. Biology Bioinform.	2006	DBLP DOI BibTeX RDF	graph algorithms, Biology and genetics, analysis of algorithms and problem complexity
2	Jiong Guo, Rolf Niedermeier, Sebastian Wernicke	Fixed-Parameter Tractability Results for Full-Degree Spanning Tree and Its Dual.	IWPEC	2006	DBLP DOI BibTeX RDF
2	Frank K. H. A. Dehne	FPT at Work: Using Fixed Parameter Tractability to Solve Larger Instances of Hard Problems.	IWPEC	2006	DBLP DOI BibTeX RDF
2	Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger (eds.)	Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005	Exact Algorithms and Fixed-Parameter Tractability	2006	DBLP BibTeX RDF
2	Leo van Iersel, Judith Keijsper, Steven Kelk, Leen Stougie	Beaches of Islands of Tractability: Algorithms for Parsimony and Minimum Perfect Phylogeny Haplotyping Problems.	WABI	2006	DBLP DOI BibTeX RDF
2	Chris Houghton, David A. Cohen, Martin J. Green	The Effect of Constraint Representation on Structural Tractability.	CP	2006	DBLP DOI BibTeX RDF
2	Michael Dom, Jiong Guo, Falk Hüffner, Rolf Niedermeier, Anke Truß	Fixed-Parameter Tractability Results for Feedback Set Problems in Tournaments.	CIAC	2006	DBLP DOI BibTeX RDF
2	Georg Gottlob, Reinhard Pichler, Fang Wei	Tractable database design through bounded treewidth.	PODS	2006	DBLP DOI BibTeX RDF	database design, normal forms, fixed-parameter tractability, tree decomposition, bounded treewidth
2	Vincent Berry, François Nicolas	Improved Parameterized Complexity of the Maximum Agreement Subtree and Maximum Compatible Tree Problems.	IEEE/ACM Trans. Comput. Biology Bioinform.	2006	DBLP DOI BibTeX RDF	algorithms, pattern matching, trees, consensus, compatibility, fixed-parameter tractability, Phylogenetics
2	Fábio Protti, Maise Dantas da Silva, Jayme Luiz Szwarcfiter	Applying Modular Decomposition to Parameterized Bicluster Editing.	IWPEC	2006	DBLP DOI BibTeX RDF	edge modification problems, bicluster graphs, NP-complete problems, fixed-parameter tractability, cluster graphs
2	Marion G. Ceruti, Stuart Harvey Rubin	Infodynamics III: Information Integration and Tractability.	IRI	2005	DBLP DOI BibTeX RDF
2	Martin Scholz	On the Tractability of Rule Discovery from Distributed Data.	ICDM	2005	DBLP DOI BibTeX RDF
2	Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Francisco José Romero-Campero	Characterizing Tractability with Membrane Creation.	SYNASC	2005	DBLP DOI BibTeX RDF
2	Hubie Chen, Víctor Dalmau	From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction.	CSL	2005	DBLP DOI BibTeX RDF
2	Richard Gault, Peter Jeavons	Implementing a Test for Tractability.	Constraints	2004	DBLP DOI BibTeX RDF	Polyanna, complexity, polymorphism, symmetry, constraint language
2	Jörg Flum, Martin Grohe, Mark Weyer	Bounded Fixed-Parameter Tractability and log2n Nondeterministic Bits.	ICALP	2004	DBLP DOI BibTeX RDF
2	Mark Weyer	Bounded Fixed-Parameter Tractability: The Case 2poly(k).	IWPEC	2004	DBLP DOI BibTeX RDF
2	Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Toby Walsh	The Tractability of Global Constraints.	CP	2004	DBLP DOI BibTeX RDF
2	Hubie Chen, Víctor Dalmau	(Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability.	CP	2004	DBLP DOI BibTeX RDF
2	Stefan Porschen, Ewald Speckenmeyer	Worst Case Bounds for Some NP-Complete Modified Horn-SAT Problems.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF	(hidden) Horn formula, quadratic formula, minimal vertex cover, NP-completeness, satisfiability, fixed-parameter tractability
2	Jens Gramm, Jiong Guo, Falk Hüffner, Rolf Niedermeier	Graph-Modeled Data Clustering: Fixed-Parameter Algorithms for Clique Generation.	CIAC	2003	DBLP DOI BibTeX RDF	edge modification problems, data clustering, NP-complete problems, exact algorithms, fixed-parameter tractability
2	Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons	The complexity of maximal constraint languages.	STOC	2001	DBLP DOI BibTeX RDF	algebraic invariance property, constraint satisfaciton problem, relational clone, complexity, NP-completeness, tractability, constraint language
2	Tak-Ming Law	Fair Play Protocol.	Active Media Technology	2001	DBLP DOI BibTeX RDF	fairness, tractability, disputes
2	Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick	Existential Second-Order Logic over Graphs: Charting the Tractability Frontier.	FOCS	2000	DBLP DOI BibTeX RDF	existential second-order logic, existential second-order formula, prefix class, first-order quantifiers, polynomial-time solvable problem, computational complexity, computational complexity, graph theory, graphs, directed graphs, NP-complete problems, formal logic, undirected graphs, descriptive complexity, tractability
2	Fred J. Hickernell, Henryk Wozniakowski	Integration and approximation in arbitrary dimensions.	Adv. Comput. Math.	2000	DBLP DOI BibTeX RDF	curse of dimension, multivariate integration, multivariate approximation, 65D05, 41A63, tractability, 41A05, 41A25
2	Georg Gottlob, Francesco Scarcello, Martha Sideri	Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning.	LPNMR	1999	DBLP DOI BibTeX RDF	Complexity, Logic Programming, Constraint Satisfaction, Nonmonotonic Reasoning, Fixed-parameter Tractability, Stable Models, Prime Implicants, Circumscription
2	Byron Dom	MDL estimation for small sample sizes and its application to segmenting binary strings.	CVPR	1997	DBLP DOI BibTeX RDF	MDL estimation, binary strings segmentation, minimum description length estimation, sharper code-length formulas, relative tractability, binary strings, piecewise Bernoulli assumption, Bernoulli source, pattern recognition, computer vision, computer vision, small sample sizes
2	Brandon Bennett, Anthony G. Cohn, Amar Isli	Combining Multiple Representations in a Spatial Reasoning System. (PDF / PS)	ICTAI	1997	DBLP DOI BibTeX RDF	spatial reasoning system, quantitative representations, numerical coordinate systems, high-level conceptual vocabulary, qualitative languages, computational tractability, first-order language, intuitionistic propositional logic, quantitative data structures, polygonal regions, qualitative relational language, high-level queries, spatial reasoning, multiple representations, topological relations, spatial information systems, qualitative representations
2	James M. Butler	Quantum modeling of distributed object computing.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	quantum modeling, computer engineering community, large scale design, large scale verification, LCN model, real-world network topologies, DCO model, system-independent method, complex object oriented computing structures, DCO software mapping, object system mapping model, OSM model, modeling, software engineering, design, message passing, tools, local area networks, digital simulation, object-oriented methods, client-server systems, dynamic models, large scale systems, random processes, tractability, multicomputer systems, distributed object computing, random variables, mission critical systems
2	Jean-Pierre Corriveau	A time-constrained architecture for cognition.	HICSS	1995	DBLP DOI BibTeX RDF	time-constrained architecture, computational approaches, static strategy, diachronic nature, strong tractability, epistemological commitments, time-constrained model, massively parallel network, simple signals, object-oriented hierarchy, parallel architectures, knowledge based systems, software reliability, software reliability, memory, knowledge base, cognition, cognitive architectures, cognitive architecture, cognitive systems
2	Haim Kaplan, Ron Shamir, Robert Endre Tarjan	Tractability of parameterized completion problems on chordal and interval graphs: Minimum Fill-in and Physical Mapping	FOCS	1994	DBLP DOI BibTeX RDF	added edges, parameterized completion problems, minimum fill-in, NP-Hard graph completion problem, interval graphs, parameterized complexity, tractability, vertex coloring, physical mapping
2	Lotfi A. Zadeh	Soft Computing and Fuzzy Logic.	IEEE Software	1994	DBLP DOI BibTeX RDF	low solution cost, human mind, software engineering, software engineering, fuzzy logic, fuzzy logic, robustness, uncertainty, neural nets, inference mechanisms, soft computing, probabilistic reasoning, uncertainty handling, tractability, imprecision, neurocomputing, software methodologies
2	Thin-Fong Tsuei, Mary K. Vernon	A Multiprocessor Bus Design Model Validated by System Measurement.	IEEE Trans. Parallel Distrib. Syst.	1992	DBLP DOI BibTeX RDF	commercial multiprocessor bus, bus design, asynchronous memorywrite operations, in-order delivery, processor read requests, memoryresponses, outstanding processor requests, two-level hierarchical model, mean value analysis techniques, measured system performance, parallel program workloads, memory access characteristics, analytic queueing models, model tractability, detailed simulation, system design tradeoffs, parallel programming, formal verification, Markov chain, Markov processes, queueing theory, multiprocessing systems, queueing networks, system buses, priority scheduling, performanceevaluation, system measurement
1	Markus Weimar	Tractability results for weighted Banach spaces of smooth functions.	J. Complexity	2012	DBLP DOI BibTeX RDF
1	Kevin Buchin, Maike Buchin, Jaroslaw Byrka, Martin Nöllenburg, Yoshio Okamoto, Rodrigo I. Silveira, Alexander Wolff	Drawing (Complete) Binary Tanglegrams - Hardness, Approximation, Fixed-Parameter Tractability.	Algorithmica	2012	DBLP DOI BibTeX RDF
1	Stefan S. Dantchev, Barnaby Martin	The limits of tractability in Resolution-based propositional proof systems.	Ann. Pure Appl. Logic	2012	DBLP DOI BibTeX RDF
1	Stefan Kratsch, Marcin Pilipczuk, Michal Pilipczuk, Magnus Wahlström	Fixed-parameter tractability of multicut in directed acyclic graphs	CoRR	2012	DBLP BibTeX RDF
1	Henrik Björklund, Wim Martens	The tractability frontier for NFA minimization.	J. Comput. Syst. Sci.	2012	DBLP DOI BibTeX RDF
1	Satoru Iwata, Mizuyo Takamatsu, Caren Tischendorf	Tractability index of hybrid equations for circuit simulation.	Math. Comput.	2012	DBLP DOI BibTeX RDF
1	Paul C. Kainen, Vera Kurková, Marcello Sanguineti	Dependence of Computational Models on Input Dimension: Tractability of Approximation and Optimization Tasks.	IEEE Transactions on Information Theory	2012	DBLP DOI BibTeX RDF
1	Rajesh Hemant Chitnis, MohammadTaghi Hajiaghayi, Dániel Marx	Fixed-parameter tractability of directed multiway cut parameterized by the size of the cutset.	SODA	2012	DBLP BibTeX RDF
1	Chihao Zhang, Hongyang Zhang	Fixed-Parameter Tractability of almost CSP Problem with Decisive Relations.	FAW-AAIM	2012	DBLP DOI BibTeX RDF
1	Boris Motik	Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning.	LPAR	2012	DBLP DOI BibTeX RDF
1	Leszek Plaskota, Grzegorz W. Wasilkowski	Tractability of infinite-dimensional integration in the worst case and randomized settings.	J. Complexity	2011	DBLP DOI BibTeX RDF
1	Anargyros Papageorgiou, Iasonas Petras	Tractability of tensor product problems in the average case setting.	J. Complexity	2011	DBLP DOI BibTeX RDF
1	Michael Gnewuch, Henryk Wozniakowski	Quasi-polynomial tractability.	J. Complexity	2011	DBLP DOI BibTeX RDF
1	Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota	Partially-commutative context-free processes: Expressibility and tractability.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Sergio Cabello, Panos Giannopoulos, Christian Knauer, Dániel Marx, Günter Rote	Geometric clustering: Fixed-parameter tractability and lower bounds with respect to the dimension.	ACM Transactions on Algorithms	2011	DBLP DOI BibTeX RDF
1	Di Yuan, Jingon Joung, Chin Keong Ho, Sumei Sun	On Tractability Aspects of Optimal Resource Allocation in OFDMA Systems	CoRR	2011	DBLP BibTeX RDF
1	Rajesh Hemant Chitnis, MohammadTaghi Hajiaghayi, Dániel Marx	Fixed-Parameter Tractability of Directed Multiway Cut Parameterized by the Size of the Cutset	CoRR	2011	DBLP BibTeX RDF
1	David A. Cohen, Martin C. Cooper, Páidí Creed, András Z. Salamon	The tractability of CSP classes defined by forbidden patterns	CoRR	2011	DBLP BibTeX RDF
1	Ahmad Mahmoody-Ghaidary, Cedric Chauve, Ladislav Stacho	Tractability results for the Double-Cut-and-Join circular median problem	CoRR	2011	DBLP BibTeX RDF
1	Fedor V. Fomin, Michal Pilipczuk	Jungles, bundles, and fixed parameter tractability	CoRR	2011	DBLP BibTeX RDF
1	Manuel Bodirsky, Dugald Macpherson, Johan Thapper	Constraint Satisfaction Tractability from Semi-lattice Operations on Infinite Sets	CoRR	2011	DBLP BibTeX RDF
1	Fedor V. Fomin, Stefan Kratsch, Marcin Pilipczuk, Michal Pilipczuk, Yngve Villanger	Subexponential fixed-parameter tractability of cluster editing	CoRR	2011	DBLP BibTeX RDF
1	Ko-Hsin Cindy Wang, Adi Botea	MAPP: a Scalable Multi-Agent Path Planning Algorithm with Tractability and Completeness Guarantees.	J. Artif. Intell. Res. (JAIR)	2011	DBLP DOI BibTeX RDF
1	Martin C. Cooper, Stanislav Zivny	Hybrid tractability of valued constraint problems.	Artif. Intell.	2011	DBLP DOI BibTeX RDF
1	Mukul S. Bansal, Ron Shamir	A Note on the Fixed Parameter Tractability of the Gene-Duplication Problem.	IEEE/ACM Trans. Comput. Biology Bioinform.	2011	DBLP DOI BibTeX RDF
1	Johan Kwisthout	Most probable explanations in Bayesian networks: Complexity and tractability.	Int. J. Approx. Reasoning	2011	DBLP DOI BibTeX RDF
1	Josef Dick, Gerhard Larcher, Friedrich Pillichshammer, Henryk Wozniakowski	Exponential convergence and tractability of multivariate integration for Korobov spaces.	Math. Comput.	2011	DBLP DOI BibTeX RDF
1	Michael Bauland, Martin Mundhenk, Thomas Schneider 0002, Henning Schnoor, Ilka Schnoor, Heribert Vollmer	The tractability of model checking for LTL: The good, the bad, and the ugly fragments.	ACM Trans. Comput. Log.	2011	DBLP DOI BibTeX RDF
1	Felix Brandt, Markus Brill, Hans Georg Seedig	On the Fixed-Parameter Tractability of Composition-Consistent Tournament Solutions.	IJCAI	2011	DBLP BibTeX RDF
1	Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev	On (In)Tractability of OBDA with OWL 2 QL.	Description Logics	2011	DBLP BibTeX RDF
1	Peter Damaschke	Sparse Solutions of Sparse Linear Systems: Fixed-Parameter Tractability and an Application of Complex Group Testing.	IPEC	2011	DBLP DOI BibTeX RDF
1	Enela Pema, Phokion G. Kolaitis, Wang Chiew Tan	On the tractability and intractability of consistent conjunctive query answering.	EDBT/ICDT Ph.D. Workshop	2011	DBLP DOI BibTeX RDF
1	Laurent Bulteau, Guillaume Fertin, Minghui Jiang, Irena Rusu	Tractability and Approximability of Maximal Strip Recovery.	CPM	2011	DBLP DOI BibTeX RDF
1	Cedric Chauve, Ján Manuch, Murray Patterson, Roland Wittler	Tractability Results for the Consecutive-Ones Property with Multiplicity.	CPM	2011	DBLP DOI BibTeX RDF
1	Dan Suciu	Tractability in probabilistic databases.	ICDT	2011	DBLP DOI BibTeX RDF
1	Prabhanjan Ananth, Meghana Nasre, Kanthi K. Sarpatwar	Rainbow Connectivity: Hardness and Tractability.	FSTTCS	2011	DBLP DOI BibTeX RDF
1	Dániel Marx, Igor Razgon	Fixed-parameter tractability of multicut parameterized by the size of the cutset.	STOC	2011	DBLP DOI BibTeX RDF
1	Gianluigi Greco, Francesco Scarcello	Structural Tractability of Constraint Optimization.	CP	2011	DBLP DOI BibTeX RDF
1	Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari	Special issue on automated deduction: Decidability, complexity, tractability.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Anargyros Papageorgiou, Henryk Wozniakowski	Tractability through increasing smoothness.	J. Complexity	2010	DBLP DOI BibTeX RDF
1	Jiong Guo, Rolf Niedermeier, Sebastian Wernicke	Fixed-parameter tractability results for full-degree spanning tree and its dual.	Networks	2010	DBLP DOI BibTeX RDF
1	Agha Iqbal Ali, Debra J. O'Connor	The impact of distribution system characteristics on computational tractability.	European Journal of Operational Research	2010	DBLP DOI BibTeX RDF
1	Martin C. Cooper, Stanislav Zivny	Hybrid tractability of soft constraint problems	CoRR	2010	DBLP BibTeX RDF
1	Dániel Marx, Igor Razgon	Fixed-parameter tractability of multicut parameterized by the size of the cutset	CoRR	2010	DBLP BibTeX RDF
1	Gianluigi Greco, Francesco Scarcello	On The Power of Tree Projections: Structural Tractability of Enumerating CSP Solutions	CoRR	2010	DBLP BibTeX RDF
1	Xin Li, William K. Cheung, Jiming Liu	Improving POMDP Tractability via Belief Compression and Clustering.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2010	DBLP DOI BibTeX RDF
1	Aleksandrs Slivkins	Parameterized Tractability of Edge-Disjoint Paths on Directed Acyclic Graphs.	SIAM J. Discrete Math.	2010	DBLP DOI BibTeX RDF
1	Martin C. Cooper, Peter G. Jeavons, András Z. Salamon	Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination.	Artif. Intell.	2010	DBLP DOI BibTeX RDF