Search results for "SPL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
127	A. M. Mathai	Order statistics from a logistic distribution and applications to survival and reliability analysis.	IEEE Trans. Reliab.	2003	DBLP DOI BibTeX RDF
117	Fritz Henglein, Jakob Rehof	The Complexity of Subtype Entailment for Simple Types.	LICS	1997	DBLP DOI BibTeX RDF	subtype entailment complexity, atomic entailment, coNP-completeness, complexity-theoretic marker, exponential explosion, subtype inference, structural complexity bounds, computability, satisfiability, axiomatization, linear-time algorithm
112	Kwen-Siong Chong, Bah-Hwee Gwee, Joseph Sylvester Chang	A micropower low-voltage multiplier with reduced spurious switching.	IEEE Trans. Very Large Scale Integr. Syst.	2005	DBLP DOI BibTeX RDF
112	Satoshi Taoka, Toshiya Mashima, Toshimasa Watanabe	A 2-approximation algorithm FSA+1 to (lambda+1)-edge-connect a specified set of vertices in a lambda-edge-connected graph.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
106	Tetsuya Matsumoto, Takuya Kida, Masayuki Takeda, Ayumi Shinohara, Setsuo Arikawa	Bit-Parallel Approach to Approximate String Matching in Compressed Texts.	SPIRE	2000	DBLP DOI BibTeX RDF	compressed texts, collage system, dictionary-based compression methods, machine word, pattern length, allowed errors, dictionary size, token sequence, Ziv-Lempel compression methods, compressed length, data compression, time complexity, space complexity, approximate string matching, bit-parallelism
100	Brian Field, Daniel Mossé, Taieb Znati	Simulation of ν-NET, a versatile network architecture for real-time and non-real-time traffic.	Annual Simulation Symposium	1996	DBLP DOI BibTeX RDF	nonreal-time traffic, Versatile Network Architecture, /spl nu/-NET, flexible communication requirement support, traffic policing mechanisms, /spl nu/-NET validation, real-time performance requirements, /spl nu/-channel traffic profiles, /spl nu/-NET performance, simulations, scheduling, performance evaluation, real-time systems, virtual machines, multimedia systems, correctness, multimedia applications, wide area networks, telecommunication traffic, information dissemination, information networks, scheduling policies, real-time traffic, real-time networks, QoS requirements, packet scheduling algorithms
96	Hiroki Koga, Hirosuke Yamamoto	Asymptotic properties on codeword lengths of an optimal FV code for general sources.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
96	Emmanuel J. Candès, Terence Tao	Decoding by linear programming.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
86	Mohit Kumar 0001, Regina Stoll, Norbert Stoll	A Min-Max Approach to Fuzzy Clustering, Estimation, and Identification.	IEEE Trans. Fuzzy Syst.	2006	DBLP DOI BibTeX RDF
86	Wen-Qing Xu, Solomon W. Golomb	Optimal 2-D interleaving with latin rectangles.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
81	Emmanuel J. Candès, Justin K. Romberg, Terence Tao	Robust uncertainty principles: exact signal reconstruction from highly incomplete frequency information.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
81	Qiang Chen, Oliver W. W. Yang	On designing self-tuning controllers for AQM routers supporting TCP flows based on pole placement.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
76	John J. Benedetto, Alexander M. Powell, Özgür Yilmaz	Sigma-delta (ΣΔ) quantization and finite frames.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
76	Wojciech Bulatek, Mariusz Lemanczyk, Emmanuel Lesigne	On the filtering problem for stationary random Z2-fields.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
76	Ioannis Kontoyiannis, Peter Harremoës, Oliver Johnson	Entropy and the law of small numbers.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
76	Maria C. Yuang, Po L. Tien, Julin Shih, Alice Chen	QoS scheduler/shaper for optical coarse packet switching IP-over-WDM networks.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
71	Kishore Kothapalli, Christian Scheideler, Melih Onus, Christian Schindelhauer	Distributed coloring in O~(⎷(log n)) bit rounds.	IPDPS	2006	DBLP DOI BibTeX RDF
68	Muhittin Gökmen, Anil K. Jain 0001	λτ-space representation of images and generalized edge detector.	CVPR	1996	DBLP DOI BibTeX RDF	image clad surface representation, physical membrane, plate models, /spl lambda//spl tau/-representation, scale space representation, generalized edge detector, edge detection, representation, image representation, range images, stereo images, image data, edge detector, regularization theory
66	Nam Yul Yu, Guang Gong	A new binary sequence family with low correlation and large size.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
66	Mordecai J. Golin, Hyeon-Suk Na	Generalizing the Kraft-McMillan Inequality to Restricted Languages.	DCC	2005	DBLP DOI BibTeX RDF
66	Jens E. Wilhjelm, M. S. Jensen, S. K. Jespersen, B. Sahl, E. Falk	Visual and quantitative evaluation of selected image combination schemes in ultrasound spatial compound scanning.	IEEE Trans. Medical Imaging	2004	DBLP DOI BibTeX RDF
66	Babak Movassaghi, Volker Rasche, Michael Grass 0001, Max A. Viergever, Wiro J. Niessen	A quantitative analysis of 3-D coronary modeling from two or more projection images.	IEEE Trans. Medical Imaging	2004	DBLP DOI BibTeX RDF
66	Ran Raz, Pierre McKenzie	Separation of the Monotone NC Hierarchy.	FOCS	1997	DBLP DOI BibTeX RDF	monotone NC hierarchy, tight lower bounds, monotone depth, DART games, communication complexity, communication complexity, search problems, monotone Boolean function
61	Raffaele Mascella, Luca G. Tallini, Sulaiman Al-Bassam, Bella Bose	On efficient balanced codes over the mth roots of unity.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
61	Ingrid Daubechies, Ronald A. DeVore, C. Sinan Güntürk, Vinay A. Vaishampayan	A/D conversion with imperfect quantizers.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
61	Tsachy Weissman, Erik Ordentlich	The empirical distribution of rate-constrained source codes.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
61	Hanying Feng, Michelle Effros	On the rate loss of multiple description source codes.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
61	Takeshi Hashimoto	Bounds on a probability for the heavy tailed distribution and the probability of deficient decoding in sequential decoding.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
61	Yuri L. Borissov, An Braeken, Svetla Nikova, Bart Preneel	On the covering radii of binary Reed-Muller codes in the set of resilient Boolean functions.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
61	Sunyoung Kim, Jae-Youl Lee, Seong-Jun Song, Namjun Cho, Hoi-Jun Yoo	A 0.9-V 67-µW analog front-end using adaptive-SNR technique for digital hearing aid.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
61	Paul Beckett, Seth Copen Goldstein	Why area might reduce power in nanoscale CMOS.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
61	Shubha Bommalingaiahnapallya, Ramesh Harjani	Low power implementation of an n-tone Sigma Delta converter.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
61	Rafael Castro-López, Francisco V. Fernández 0001, Fernando Medeiro, Ángel Rodríguez-Vázquez	Accurate VHDL-based simulation of Sigma-Delta modulators.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
61	Hsiang-Chun Huang, Chung-Neng Wang, Tihao Chiang	A robust fine granularity scalability using trellis based predictive leak.	ISCAS (3)	2002	DBLP DOI BibTeX RDF
61	Feng Bao 0004, Yutaka Funyu, Yukihiro Hamada, Yoshihide Igarashi	Reliable broadcasting and secure distributing in channel networks.	ISPAN	1997	DBLP DOI BibTeX RDF	channel networks, secure message distributing, message distribution schemes, secret sharing, spanning trees, security of data, reliable broadcasting, fault-tolerant communication
56	Albert Guillen i Fabregas, Giuseppe Caire	Coded modulation in the block-fading channel: coding theorems and code construction.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
56	Saeed Mashhadi, Jawad A. Salehi	Code-division multiple-access techniques in optical fiber networks - part III: optical AND logic gate receiver structure with generalized optical orthogonal codes.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
56	Paolo Checco, Mario Biey, Gábor Vattay, Ljupco Kocarev	Complex network topologies and synchronization.	ISCAS	2006	DBLP DOI BibTeX RDF
56	Alon Orlitsky, Krishnamurthy Viswanathan, Junan Zhang	Stopping set distribution of LDPC code ensembles.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
56	Richard D. Wesel	Reduced-state representations for trellis codes using constellation symmetry.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
56	Ramamohan Paturi, Pavel Pudlák, Francis Zane	Satisfiability Coding Lemma.	FOCS	1997	DBLP DOI BibTeX RDF	satisfying assignments, satisfying assignment, Satisfiability Coding Lemma, computability, randomized algorithm, satisfiability, deterministic algorithm, conjunctive normal form, Boolean formulae
51	Tryphon T. Georgiou	Relative entropy and the multivariable multidimensional moment problem.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
51	Ying-Jui Chen, Soontorn Oraintara, Kevin S. Amaratunga	Theory and factorization for a class of structurally regular biorthogonal filter banks.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
51	Jun'ichi Takeuchi, Shun-ichi Amari	α-parallel prior and its properties.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
51	Shubha Bommalingaiahnapallya, Ramesh Harjani	Process tolerant design of N-tone Sigma-Delta converters.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
51	Nam-Po Chiang	The chaotic numbers of the bipartite and tripartite graphs.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
51	Walter Vanzella, Felice Andrea Pellegrino, Vincent Torre	Self-Adaptive Regularization.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF
51	Tzuu-Hseng S. Li, Kuo-Jung Lin	Stabilization of singularly perturbed fuzzy systems.	IEEE Trans. Fuzzy Syst.	2004	DBLP DOI BibTeX RDF
51	Chun-Ling Yang, Lai-Man Po, Wing-Hong Lam	A fast H.264 intra prediction algorithm using macroblock properties.	ICIP	2004	DBLP DOI BibTeX RDF
51	Mitsuhiko Yagyu, Akinori Nishihara	Fast and efficient algorithm to design noise-shaping FIR filters for high-order overload-free stable sigma-delta modulators.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
51	Frank Henkel, Ulrich Langmann	Excess loop delay effects in continuous-time quadrature bandpass sigma-delta modulators.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
51	Wu Jigang, Thambipillai Srikanthan	Partial rerouting algorithm for reconfigurable VLSI arrays.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
51	Robin R.-B. Sheen, Oscal T.-C. Chen, Zheng-Dao Lee	A high-performance CMOS multiphase voltage-controlled oscillator for communication systems.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
51	Junibakti Sanubari	Identification algorithm of nonminimum phase system based on t-distribution assumption.	APCCAS (1)	2002	DBLP DOI BibTeX RDF
51	John Havlicek	Computable Obstructions to Wait-free Computability.	FOCS	1997	DBLP DOI BibTeX RDF	computable obstructions, distributed decision task, wait-free protocol, fault-tolerant computation, computability, asynchronous distributed systems, shared-memory model, wait-free computability
51	Venkatavasu Bokka, Himabindu Gurla, Stephan Olariu, James L. Schwing, Larry Wilson	Time-optimal ranking algorithms on sorted matrices.	ASAP	1995	DBLP DOI BibTeX RDF	time-optimal ranking algorithms, sorted matrices, recurring operation, geographic data processing, batched ranking, sorted matrix, information retrieval, parallel algorithms, multiprocessor interconnection networks, information management, medical image processing, database design, matrix algebra, rank queries, multiple broadcasting
49	Liliana Boscardin, Liliana Castro, Silvia Castro	Haar-like Wavelets Defined over Tetrahedrical Grids.	SCCC	2000	DBLP DOI BibTeX RDF	Haar transforms, Haar-like wavelets, tetrahedrical grids, regular subdivision method, /spl sigma/-algebra, Lebesgue measure, computational geometry, wavelet transforms
47	Roberto Baldoni, Michel Raynal, Ravi Prakash 0001, Mukesh Singhal	Broadcast with Time and Causality Constraints for Multimedia Applications.	EUROMICRO	1996	DBLP DOI BibTeX RDF	causality constraints, /spl Delta/-causal ordering, multimedia real-time collaborative applications, groupware real-time applications, /spl Delta/-causal ordering protocol, transitive dependencies, application messages, groupware, multimedia applications, time constraints, communication abstraction
46	Robert A. Kowalski, Kenneth A. Bowen (eds.)	Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes)	ICLP/SPL	1988	DBLP BibTeX RDF
46	Pedro O. Rossel, Daniel Perovich, M. Cecilia Bastarrica	Reuse of Architectural Knowledge in SPL Development.	ICSR	2009	DBLP DOI BibTeX RDF
46	João Barros, Sergio D. Servetto	Network information flow with correlated sources.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
46	Simon R. Blackburn	Two-Dimensional Runlength Constrained Arrays With Equal Horizontal and Vertical Constraints.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
46	Moshe Schwartz 0001, Alexander Vardy	On the stopping distance and the stopping redundancy of codes.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
46	Henning Stichtenoth	Transitive and self-dual codes attaining the Tsfasman-Vladut-Zink bound.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
46	Simin Yu, Jinhu Lu	Design and implementation of multi-directional grid multi-torus chaotic attractors.	ISCAS	2006	DBLP DOI BibTeX RDF
46	F. C. Castaldo, C. A. Reis Filho	Transversal noise current in split-drain transistors.	ISCAS	2006	DBLP DOI BibTeX RDF
46	Miklós Csürös, Miklós Ruszinkó	Single-user tracing and disjointly superimposed codes.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
46	Ron M. Roth, Gadiel Seroussi	Symbol-intersecting codes.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
46	Noga Alon, Tali Kaufman, Michael Krivelevich, Simon Litsyn, Dana Ron	Testing Reed-Muller codes.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
46	Tali Kaufman, Dana Ron	A characterization of low-weight words that span generalized reed-muller codes.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
46	Jianyong Wang 0001, Jiawei Han 0001, Ying Lu 0001, Petre Tzvetkov	TFP: An Efficient Algorithm for Mining Top-K Frequent Closed Itemsets.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF
46	Antonio Rama, Francesc Tarres, Davide Onofrio, Stefano Tubaro	Using partial information for face recognition and pose estimation.	ICME	2005	DBLP DOI BibTeX RDF	face recognition approach, partial principal component analysis, P/sup 2/CA, training stage, multiview face database, face image classification, pose estimation, partial information, 3D data
46	Toshiya Mashima, Takanori Fukuoka, Satoshi Taoka, Toshimasa Watanabe	Minimum augmentation to bi-connect specified vertices of a graph with upper bounds on vertex-degree.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
46	Songcan Chen, Daoqiang Zhang	Robust image segmentation using FCM with spatial constraints based on new kernel-induced distance measure.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
46	Krishnakumar Sundaresan, Keith C. Brouse, Kongpop U-Yen, Farrokh Ayazi, Phillip E. Allen	A 7-MHz process, temperature and supply compensated clock oscillator in 0.25µm CMOS.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
46	Yang Richard Yang, Simon S. Lam	General AIMD Congestion Control.	ICNP	2000	DBLP DOI BibTeX RDF	general AIMD congestion control, congestion window adjustment, increase value, decrease ratio, congestion avoidance state, packets acknowledgement, congestion indication, general additive increase multiplicative decrease, GAIMD, mean sending rate, mean round-trip time, mean timeout value, sending rate formula, TCP-friendly flow, sending rate, TCP Reno flows, TCP SACK flows, DropTail link, RED link, simulations, transport protocols, packet switching, bandwidth, telecommunication congestion control, loss rate, path conditions, window size
46	Jaikumar Radhakrishnan, Amnon Ta-Shma	Tight Bounds for Depth-two Superconcentrators.	FOCS	1997	DBLP DOI BibTeX RDF	depth-two superconcentrators, optimal bounds, disperser graphs, entropy loss, superconcentrator, entropy, directed graphs, directed graph, edges, tight bounds
46	Sang Kyu Lee, Ju-Young Lee Park	Optimal broadcast in α-port wormhole-routed mesh networks.	ICPADS	1997	DBLP DOI BibTeX RDF	wormhole-routed mesh networks, optimal broadcast, broadcasting, multiprocessor interconnection networks, wormhole-routing, broadcasting algorithms
46	Louis Petingi, José Rodríguez	Generalized Edge-Toughness.	SCCC	1997	DBLP DOI BibTeX RDF	generalized edge-toughness, vulnerability index, edge-toughness, generalized edge-toughness index, communication network, communication links, telecommunication network reliability
46	Yaron Wolfstahl, Michael Yoeli	An Equivalence Theorem for Labeled Marked Graphs.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	equivalence theorem, labeledmarked graphs, structural determinism, sequential language, firing sequences, Petri nets, Petri nets, multiprocessing systems, formal languages, transitions, concurrent language
42	Erdmuthe Meyer zu Bexten, F. Sajadi, Claudio Moraga	Properties of Lindenmayer Fuzzy Languages and a-Driven Lindenmayer Languages.	ISMVL	1997	DBLP DOI BibTeX RDF	Lindenmayer fuzzy languages, Lindenmayer languages, /spl alpha/-cut, /spl alpha/-driven, fuzzy languages, parallel rewriting, non-monotonic development, formal languages, closure
42	Jiang Hsieh	A 2pi interpolative algorithm for helical computed tomography.	ICIP	1995	DBLP DOI BibTeX RDF	patient translation, 2/spl pi/ interpolative algorithm, projection set, helical computed tomography scan, interpolative algorithm, 2/spl pi/ view angle, helical reconstruction algorithms, performance, interpolation, image reconstruction, medical image processing, image quality, data acquisition, data acquisition, computerised tomography
42	Camilo Carromeu, Débora Maria Barroso Paiva, Maria Istela Cagnin	From e-Gov Web SPL to e-Gov Mobile SPL.	Int. J. Web Inf. Syst.	2016	DBLP DOI BibTeX RDF
42	Alcemir Rodrigues Santos	Understanding hybrid SPL composition impact on the refactoring into SPL.	SPLC	2015	DBLP DOI BibTeX RDF
41	Angelina Espinoza, Goetz Botterweck, Juan Garbajosa	A formal approach to reuse successful traceability practices in SPL projects.	SAC	2010	DBLP DOI BibTeX RDF	feature configuration, traceability metamodeling, traceability methodology, software product lines, knowledge reuse, product derivation
41	Mauricio Alférez, Ana Moreira 0001, Uirá Kulesza, João Araújo 0001, Ricardo Mateus 0001, Vasco Amaral 0001	Detecting feature interactions in SPL requirements analysis models.	FOSD	2009	DBLP DOI BibTeX RDF	software product lines requirements, feature interactions
41	Charles W. Krueger	Systems and software product line engineering with the SPL lifecycle framework.	SPLC	2009	DBLP BibTeX RDF
41	T. T. John, P. Chen	Lognormal selection with applications to lifetime data.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
41	Y.-H. Kim	Feedback Capacity of the First-Order Moving Average Gaussian Channel.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
41	Vassil Yorgov	On the automorphism Group of a putative code.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
41	Pengfei Li 0001, Rizwan Bashirullah, José Carlos Príncipe	A low power battery management system for rechargeable wireless implantable electronics.	ISCAS	2006	DBLP DOI BibTeX RDF
41	Robert H. M. van Veldhoven, Peter Nuijten, Paul T. M. van Zeijl	The effect of clock jitter on the DR of Sigma Delta modulators.	ISCAS	2006	DBLP DOI BibTeX RDF
41	Eric C. Moule, Zeljko Ignjatovic	Band-stop noise modulated bandpass sigma-delta analog-to-digital converter.	ISCAS	2006	DBLP DOI BibTeX RDF
41	K. Kiyoyama, Yoshinobu Tanaka, Michihisa Onoda	A low current consumption delta-sigma modulator for body-implanted chip.	ISCAS	2006	DBLP DOI BibTeX RDF
41	Hou-Ming Chen, Chih-Liang Huang, Robert Chen-Hao Chang	A new temperature-compensated CMOS bandgap reference circuit for portable applications.	ISCAS	2006	DBLP DOI BibTeX RDF
41	Cheng-Ta Chan, Oscal T.-C. Chen	Inductor-less 10Gb/s CMOS transimpedance amplifier using source-follower regulated cascode and double three-order active feedback.	ISCAS	2006	DBLP DOI BibTeX RDF
41	Honghao Ji, Pamela Abshire	A CMOS image sensor for low light applications.	ISCAS	2006	DBLP DOI BibTeX RDF
41	Igor Miletic, Ralph Mason	Quantization noise reduction using multiphase PLLs.	ISCAS	2006	DBLP DOI BibTeX RDF
41	Igor Vajda, Edward C. van der Meulen	On minimum divergence adaptation of discrete bivariate distributions to given marginals.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
41	Nicholas Pippenger	The average amount of information lost in multiplication.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF