Search results for "top-level"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
40	Aldo Gangemi, Nicola Guarino, Alessandro Oltramari	Conceptual analysis of lexical taxonomies: thecase of WordNet top-level.	FOIS	2001	DBLP DOI BibTeX RDF	top-level, ontology, taxonomies, WordNet
39	Lan Wang, Xiaoliang Zhao, Dan Pei, Randy Bush, Daniel Massey, Lixia Zhang 0001	Protecting BGP Routes to Top-Level DNS Servers.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	DNS infrastructure protection, route hijacking, BGP path filtering, Fault-tolerance
39	Lan Wang, Xiaoliang Zhao, Dan Pei, Randy Bush, Daniel Massey, Allison Mankin, Shyhtsun Felix Wu, Lixia Zhang 0001	Protecting BGP Routes to Top Level DNS Servers.	ICDCS	2003	DBLP DOI BibTeX RDF	DNS infrastructure protection, route hijacking, BGP path filtering, fault-tolerance
31	James N. Damon	Tree Structure for Contractible Regions in R3.	Int. J. Comput. Vis.	2007	DBLP DOI BibTeX RDF	Blum medial axis, contractible region, irreducible medial components, essential and inessential fin curves, Y-network, top level and second level (directed) trees
31	Elizabeth J. Feinler	Host Tables, Top-Level Domain Names, and the Origin of Dot Com.	IEEE Ann. Hist. Comput.	2011	DBLP DOI BibTeX RDF	Elizabeth Feinler, Arpanet Host Table, top-level domains, dot com, Defense Communications Agency, SRI, history of computing, Arpanet, domain naming system, DARPA
30	Thomas Bittner	From Top-Level to Domain Ontologies: Ecosystem Classifications as a Case Study.	COSIT	2007	DBLP DOI BibTeX RDF
29	Fuyuki Ishikawa, Kenji Taguchi 0001, Nobukazu Yoshioka, Shinichi Honiden	What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project.	TFM	2009	DBLP DOI BibTeX RDF
27	Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen	Specifying and Verifying Requirements of Real-Time Systems.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	specification of requirements, verification of design, real-time interval logic, top-level design, synchronous events, real-time systems, real-time systems, formal specification, distributed computation, formal verification, temporal logic, sensor, mathematical model, actuator, duration calculus, control law
27	Brendan P. Mahony, Ian J. Hayes	A Case-Study in Timed Refinement: A Mine Pump.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	top-level refinement, simple mine pump control system, time-based systems, topologically continuous functions, discrete properties, basic building block, specification statement, refinement laws, computerized monitoring, pumps, formal specification, parallel processes, formal method, pipelined, theorem proving, mining, refinement calculus, design decisions, sequential programs, timed systems, proof of correctness
24	Trent Hill, James Noble 0001, John Potter	Scalable Visualisations with Ownership Trees.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	program visualisation, scalable visualisations, ownership trees, top-level components, implicit aggregation structure, scale-independent topology, low-level data structure, software visualisation tool, learning, object-oriented programming, object-oriented programs, software maintenance, debugging, computer science education, teaching, program debugging, tree data structures, abstraction levels, object graph, program maintenance
24	Shiu-Kai Chin, John Faust, Joseph Giordano	Integrating formal methods tools to support system design.	ICECCS	1995	DBLP DOI BibTeX RDF	formal methods tools integration, top-level process descriptions, gate-level hardware designs, simulators, formal specification, system design, specification languages, specification languages, systems analysis, system engineering, theorem-provers, computer-aided design tools, model checkers
23	Pedro García López, Marc Espelt	To: //: towards an open namespace for web resources.	Hypertext	2009	DBLP DOI BibTeX RDF	top level domains, web naming, namespaces
23	Keith A. Butler, Jiajie Zhang, Chris Esposito, Ali Bahrami, Ron Hebron, David E. Kieras	Work-centered design: a case study of a mixed-initiative scheduler.	CHI	2007	DBLP DOI BibTeX RDF	top-level algorithm, work ontology, work-centered, scheduling, design, user interface, methodology, requirements analysis, business process reengineering, mixed-initiative
22	Shiho Moriai, Serge Vaudenay	On the Pseudorandomness of Top-Level Schemes of Block Ciphers.	ASIACRYPT	2000	DBLP DOI BibTeX RDF
21	Barry Leiba	The Good and the Bad of Top-Level Domains.	IEEE Internet Comput.	2009	DBLP DOI BibTeX RDF
21	Barbara Heller, Heinrich Herre, Kristin Lippoldt	The Theory of Top-Level Ontological Mappings and Its Application to Clinical Trial Protocols.	EKAW	2004	DBLP DOI BibTeX RDF
20	Zheng-Hai Huang, Wen-Juan Li, Jun Wang, Ting Zhang	Face recognition based on pixel-level and feature-level fusion of the top-level's wavelet sub-bands.	Inf. Fusion	2015	DBLP DOI BibTeX RDF
20	Tsang-Ming Jiang, Wenyu Cao, Dale Clark	Multi-Level Web Surfing.	HICSS	2001	DBLP DOI BibTeX RDF
20	Bruce Martin	Concurrent programming vs. concurrency control: shared events or shared data.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
19	Keith A. Butler, Jiajie Zhang	Design models for interactive problem-solving: context & ontology, representation & routines.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	interactive problem-solving, representation effect, top-level routine, work ontology, work-centered design, design methods, information architecture, analysis methods
18	François Rémond	Physical design challenges for multi-million gate SoC's: an STMicroelectronics perspective.	ISPD	2006	DBLP DOI BibTeX RDF
18	Iris Reinhartz-Berger	Conceptual Modeling of Structure and Behavior with UML - The Top Level Object-Oriented Framework (TLOOF) Approach.	ER	2005	DBLP DOI BibTeX RDF
17	Luis Garcés-Erice, Ernst W. Biersack, Pascal Felber, Keith W. Ross, Guillaume Urvoy-Keller	Hierarchical Peer-to-Peer Systems.	Euro-Par	2003	DBLP DOI BibTeX RDF
17	Yi-Min Jiang, Han Young Koh, Kwang-Ting Cheng	HRM - A Hierarchical Simulator for Full-Chip Power Network Reliability Analysis.	ISQED	2001	DBLP DOI BibTeX RDF
17	Michael Kaschesky, Reinhard Riedl	Top-level decisions through public deliberation on the internet: evidence from the evolution of Java governance.	D.GO	2009	DBLP BibTeX RDF	public consultation, e-government, innovation, government, participation, public administration, politics, policy making
17	Subir K. Roy	Top Level SOC Interconnectivity Verification Using Formal Techniques.	MTV	2007	DBLP DOI BibTeX RDF
16	Alexandra Stefania Ghita, Mihai Nan, David-Traian Iancu, Adina Magda Florea	Top-level Scene Information Extraction from Eye-level View Images.	CSCS	2021	DBLP DOI BibTeX RDF
16	John R. Levine, Paul E. Hoffman	Variants in Second-Level Names Registered in Top-Level Domains.	RFC	2013	DBLP DOI BibTeX RDF
16	John McHugh, Andrew P. Moore	A Security Policy and Formal Top Level Specification for a Multi-Level Secure Local Area Network.	S&P	1986	DBLP DOI BibTeX RDF
16	Marina Bitsaki, George D. Stamoulis, Costas Courcoubetis	An Efficient Auction Mechanism for Hierarchically Structured Bandwidth Markets.	QofIS	2004	DBLP DOI BibTeX RDF	bandwidth markets, efficiency, Auctions
15	K. Korotaev	Hierarchical CPU Schedulers for Multiprocessor Systems, Fair CPU Scheduling and Processes Isolation.	CLUSTER	2005	DBLP DOI BibTeX RDF
15	Verdi March, Yong Meng Teo, Hock-Beng Lim, Peter Eriksson, Rassul Ayani	Collision Detection and Resolution in Hierarchical Peer-to-Peer Systems.	LCN	2005	DBLP DOI BibTeX RDF	collision detection and resolution algorithm, DHT, structured overlay network
15	Miriam Leeser, John W. O'Leary	Verification of a subtractive radix-2 square root algorithm and implementation.	ICCD	1995	DBLP DOI BibTeX RDF	subtractive radix-2 square root, floating point square root hardware, Intel Pentium, radix-2 square root, MIPS R4400, RTL level, verification, formal verification, theorem proving, theorem proving, floating point arithmetic, optimizing transformations
14	Daniela Marino, Fabio Massacci, Andrea Micheletti, Nataliya Rassadko, Stephan Neuhaus	Satisfaction of Control Objectives by Control Processes.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF
14	Ehsan Fazl Ersi, James H. Elder, John K. Tsotsos	Hierarchical appearance-based classifiers for qualitative spatial localization.	IROS	2009	DBLP DOI BibTeX RDF
14	Jun-Hong Lu, Ren-Hung Hwang	Hierarchical mobile router support in nested mobile networks.	Mobility Conference	2008	DBLP DOI BibTeX RDF	hierarchical mobile router (HMR), home mobile node (H-MN), mobile network node (MNN), visiting mobile node (V-MN), Mobile Computing, Mobile Network, Network Mobility, Mobile IPv6, Hierarchical Mobile IPv6
14	Isola Ajiferuke, Dietmar Wolfram	Modelling the characteristics of Web page outlinks.	Scientometrics	2004	DBLP DOI BibTeX RDF
14	Susan T. Dumais, Hao Chen 0003	Hierarchical classification of Web content.	SIGIR	2000	DBLP DOI BibTeX RDF	Web hierarchies, text catergorization, machine learning, classification, World Wide Web (WWW), support vector machines, text classification, hierarchical models
13	Martin Hepp, Jörg Leukel, Volker Schmitz	A quantitative analysis of product categorization standards: content, coverage, and maintenance of eCl@ss, UNSPSC, eOTD, and the RosettaNet Technical Dictionary.	Knowl. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Products and services classification, UNSPSC, eCl@ss, RosettaNet, Ontologies, Metrics, Electronic commerce, Electronic catalogs
13	Ming Zhang 0026, Qing Yang 0001	BUCS - A Bottom-Up Cache Structure for Networked Storage Servers.	ICPP	2004	DBLP DOI BibTeX RDF	cache structure, intelligent controller, networked storage, bus contention
12	Chan Huang, Jinhao Yu, Junhui Yang	Top-level dual exploitation particle swarm optimization.	Memetic Comput.	2024	DBLP DOI BibTeX RDF
12	Veerle van Harten, Carlos Hernandez Gañán, Michel van Eeten, Simon Parkin	Easier Said Than Done: The Failure of Top-Level Cybersecurity Advice for Consumer IoT Devices.	CoRR	2023	DBLP DOI BibTeX RDF
12	Raffaele Sommese, Roland van Rijswijk-Deij, Mattijs Jonker	This Is a Local Domain: On Amassing Country-Code Top-Level Domains from Public Data.	CoRR	2023	DBLP DOI BibTeX RDF
12	Warren Kumari, Paul E. Hoffman	The .alt Special-Use Top-Level Domain.	RFC	2023	DBLP DOI BibTeX RDF
12	Alcides Lopes, Joel Luis Carbonera, Daniela Schmidt, Luan Fonseca Garcia, Fabrício Henrique Rodrigues, Mara Abel	Using terms and informal definitions to classify domain entities into top-level ontology concepts: An approach based on language models.	Knowl. Based Syst.	2023	DBLP DOI BibTeX RDF
12	Tibor Guzsvinecz, Judit Szücs	Length and sentiment analysis of reviews about top-level video game genres on the steam platform.	Comput. Hum. Behav.	2023	DBLP DOI BibTeX RDF
12	Guilherme Sousa, Rinaldo Lima, Renata Vieira, Cássia Trojahn	Using BERT Models to Automatically Classify Domain Concepts into DOLCE Top-Level Concepts: A Study of the OAEI Ontologies.	JOWO	2023	DBLP BibTeX RDF
12	Galstyan Arman	New Approach of IO Cell Placement Addressing Minimized Data and Clock Skews in Top Level.	EWDTS	2023	DBLP DOI BibTeX RDF
12	Sanjay Adiwal, Balaji Rajendran, Pushparaj Shetty D, Sithu D. Sudarsan	Health Assessment of 1485 Top Level Domain's Name Servers.	COMSNETS	2023	DBLP DOI BibTeX RDF
12	Maurício B. Almeida, Jeanne Louize Emygdio	BFO as a Top-Level Ontology for Information Systems Modeling.	ICBO	2023	DBLP BibTeX RDF
12	Alcides Lopes, Joel Luis Carbonera, Mara Abel	Disjointness axioms between top-level ontology concepts as a heuristic for word similarity evaluation.	ICTAI	2023	DBLP DOI BibTeX RDF
12	Wuqiong Zhao, Changhan Li, Zhenhao Ji, You You, Xiaohu You 0001, Chuan Zhang 0001	Automatic Timing-Driven Top-Level Hardware Design for Digital Signal Processing.	ASICON	2023	DBLP DOI BibTeX RDF
12	Alcides Gonçalves Lopes Junior, Joel Luis Carbonera, Daniela Schimdt, Mara Abel	Predicting the top-level ontological concepts of domain entities using word embeddings, informal definitions, and deep learning.	Expert Syst. Appl.	2022	DBLP DOI BibTeX RDF
12	Riichiro Mizoguchi, Stefano Borgo	YAMATO: Yet-another more advanced top-level ontology.	Appl. Ontology	2022	DBLP DOI BibTeX RDF
12	Michael Grüninger, Yi Ru, Jona Thai	TUpper: A top level ontology within standards.	Appl. Ontology	2022	DBLP DOI BibTeX RDF
12	Yuting Peng, Mengzhou Li, Jace Grandinetti, Ge Wang 0001, Xun Jia	Top-Level Design and Simulated Performance of the First Portable CT-MR Scanner.	IEEE Access	2022	DBLP DOI BibTeX RDF
12	Henry Prakken, Rosa Ratsma	A top-level model of case-based argumentation for explanation: Formalisation and experiments.	Argument Comput.	2022	DBLP DOI BibTeX RDF
12	Alshaima Almarzooqi, Jawahir Mahmoud, Bayena Alzaabi, Arsiema Ghebremichael, Monther Aldwairi	Detecting Malicious Domains Using Statistical Internationalized Domain Name Features in Top Level Domains.	CoRR	2022	DBLP DOI BibTeX RDF
12	Parvin Rastegari, Willy Susilo	On Random-Oracle-Free Top-Level Secure Certificateless Signature Schemes.	Comput. J.	2022	DBLP DOI BibTeX RDF
12	Haisheng Yu 0001, Yan Liu, Lihong Duan 0004, Sanwei Liu, Wenyong Wang, Dong Liu, Zirui Peng, Daobiao Gong	Cache Top-level domain locally: make DNS respond quickly in mobile network.	TrustCom	2022	DBLP DOI BibTeX RDF
12	Yujun Zhou 0005, Zehui Zhan, Lu Liu, Jiayi Wan, Simai Liu, Xuanxuan Zou	International Prospects and Trends of Artificial Intelligence Education: A Content Analysis of Top-level AI Curriculum across Countries.	ICDTE	2022	DBLP DOI BibTeX RDF
12	Alcides Gonçalves Lopes Junior, Joel Luis Carbonera, Mara Abel	Learning Domain Ontologies Based on Deep Learning e Top-Level Ontologies.	ONTOBRAS	2022	DBLP BibTeX RDF
12	Alexander Detzner, Martin Eigner	Feature selection methods for root-cause analysis among top-level product attributes.	Qual. Reliab. Eng. Int.	2021	DBLP DOI BibTeX RDF
12	Elvis Rojas, Esteban Meneses, Terry R. Jones, Don Maxwell	Understanding failures through the lifetime of a top-level supercomputer.	J. Parallel Distributed Comput.	2021	DBLP DOI BibTeX RDF
12	Enrique Orduña-Malea	Dot-Science Top Level Domain: academic websites or dumpsites?	CoRR	2021	DBLP BibTeX RDF
12	Enrique Orduña-Malea	Dot-science top level domain: Academic websites or dumpsites?	Scientometrics	2021	DBLP DOI BibTeX RDF
12	Jing Zang	SoS Architecture Models Transformation for Mission Simulation in Aircraft Top-Level Demonstration.	CSDM Asia / CSDM	2021	DBLP DOI BibTeX RDF
12	Muhammad Usman Shahbaz, Muhammad Salman, Muhammad Babar Khan	Critical Analysis of Intemet Country Code Top-level Domain (ccTLD) of Pakistan.	FIT	2021	DBLP DOI BibTeX RDF
12	Joan Francesc Gras Alcoverro	Domini .cat, un TLD (Top Level Domain) entre l'originalitat i l'excepcionalitat.		2021	RDF
12	Chao Lu, Jiafei Lyu, Liming Zhang, Aicheng Gong, Yipeng Fan, Jiangpeng Yan, Xiu Li 0001	Nuclear Power Plants With Artificial Intelligence in Industry 4.0 Era: Top-Level Design and Current Applications - A Systemic Review.	IEEE Access	2020	DBLP DOI BibTeX RDF
12	Orestis Christou, Nikolaos Pitropakis, Pavlos Papadopoulos, Sean McKeown, William J. Buchanan	Phishing URL Detection Through Top-level Domain Analysis: A Descriptive Approach.	CoRR	2020	DBLP BibTeX RDF
12	Ling Zheng, Yan Chen 0009, Hua Min, P. Lloyd Hildebrand, Hao Liu 0025, Michael Halper, James Geller, Sherri de Coronado, Yehoshua Perl	Missing lateral relationships in top-level concepts of an ontology.	BMC Medical Informatics Decis. Mak.	2020	DBLP DOI BibTeX RDF
12	Yi Liu 0001, Meng Wang	On the Top-Level Integration of the EPIDEMIA System.	EIT	2020	DBLP DOI BibTeX RDF
12	Orestis Christou, Nikolaos Pitropakis, Pavlos Papadopoulos, Sean McKeown, William J. Buchanan	Phishing URL Detection Through Top-level Domain Analysis: A Descriptive Approach.	ICISSP	2020	DBLP DOI BibTeX RDF
12	Wenbo Wang, Shreya Khurana, Yu Tian, Navraj S. Pannu	Exploring Convolutional Neural Networks for Top-Level Domain Name Recommendation.	WI/IAT	2020	DBLP DOI BibTeX RDF
12	Chengwei Zhang, Wenhan Dai	Top-Level Design of Intelligent Video Surveillance System for Abandoned Objects.	AHFE (13)	2020	DBLP DOI BibTeX RDF
12	Luis A. Trejo, Victor Ferman 0001, Miguel Angel Medina-Pérez, Fernando Miguel Arredondo Giacinti, Raúl Monroy, Jose Emmanuel Ramirez-Marquez	DNS-ADVP: A Machine Learning Anomaly Detection and Visual Platform to Protect Top-Level Domain Name Servers Against DDoS Attacks.	IEEE Access	2019	DBLP DOI BibTeX RDF
12	Wenjie Yang, Shangpeng Wang, Wei Wu 0001, Yi Mu 0001	Top-Level Secure Certificateless Signature Against Malicious-But-Passive KGC.	IEEE Access	2019	DBLP DOI BibTeX RDF
12	Yi-Fan Tseng, Chun-I Fan, Ching-Wen Chen	Top-Level Secure Certificateless Signature Scheme in the Standard Model.	IEEE Syst. J.	2019	DBLP DOI BibTeX RDF
12	Andrea Müller, Alexander Feldberger, Christina Miclau, Philipp Koch, Lena Walter, Sarah Feige, Nicolas Schmidt, Moritz Neth, Oliver Korn	Hidden Champions: A Study on Recruiting Top-Level Staff in Rural Areas.	HCI (24)	2019	DBLP DOI BibTeX RDF
12	Yo-Der Song, Aniket Mahanti, Soorya Charan Ravichandran	Understanding Evolution and Adoption of Top Level Domains and DNSSEC.	M&N	2019	DBLP DOI BibTeX RDF
12	Haixia Sun, Yujing Ji, Panpan Deng, Junlian Li, Huiling Ren, Liu Shen, Ming Feng, Yi Wang	Top-Level Design of a Normalized Chinese Clinical Terminology: An Integrated Application of National and International Data Standards and Terminologies.	MedInfo	2019	DBLP DOI BibTeX RDF
12	Meina Song, Xiangyu Xu, Haihong E	Research and Top-level Framework Design on Unified Resource Management of Big Data in Strategic Consulting.	BDIOT	2019	DBLP DOI BibTeX RDF
12	Nolen Scaife, Henry Carter, Lyrissa Lidsky, Rachael L. Jones, Patrick Traynor	OnionDNS: a seizure-resistant top-level domain.	Int. J. Inf. Sec.	2018	DBLP DOI BibTeX RDF
12	Daniela Schmidt, Rafael Basso, Cássia Trojahn, Renata Vieira	Matching Domain and Top-level ontologies exploring Word Sense Disambiguation and Word Embedding.	ISWC (Best Workshop Papers)	2018	DBLP DOI BibTeX RDF
12	Cristian Hesselman, Giovane C. M. Moura, Ricardo de Oliveira Schmidt, Cees Toet	Increasing DNS Security and Stability through a Control Plane for Top-Level Domain Operators.	IEEE Commun. Mag.	2017	DBLP DOI BibTeX RDF
12	Jim Buffenbarger	Amake: cached builds of top-level targets.	Comput. Lang. Syst. Struct.	2017	DBLP DOI BibTeX RDF
12	Ahmad M. Rateb, Sharifah Kamilah Syed Yusof, Rozeha A. Rashid	A generic top-level mechanism for accelerating signal recovery in compressed sensing.	Digit. Signal Process.	2017	DBLP DOI BibTeX RDF
12	Steve A. Chien	Review on space robotics: Toward top-level science through space exploration.	Sci. Robotics	2017	DBLP DOI BibTeX RDF
12	Chris Lilley	The "font" Top-Level Media Type.	RFC	2017	DBLP DOI BibTeX RDF
12	Daniela Schmidt, Rafael Basso, Cássia Trojahn, Renata Vieira	Matching domain and top-level ontologies via OntoWordNet.	OM@ISWC	2017	DBLP BibTeX RDF
12	Riichiro Mizoguchi, Fumiaki Toyoshima	YAMATO: Yet Another More Advanced Top-Level Ontology with Analysis of Five Examples of Change.	JOWO	2017	DBLP BibTeX RDF
12	Guidson Coelho Andrade, Alcione de Paiva Oliveira, Alexandra Moreira	A Rule-based Semantic Annotator: Adding top-level ontology Tags.	STIL	2017	DBLP BibTeX RDF
12	Zhe He 0001, Yehoshua Perl, Gai Elhanan, Yan Chen 0009, James Geller, Jiang Bian 0001	Auditing the assignments of top-level semantic types in the UMLS semantic network to UMLS concepts.	BIBM	2017	DBLP DOI BibTeX RDF
12	Daniela Schmidt, Cássia Trojahn, Renata Vieira	Aligning Top-level and Domain Ontologies.	ONTOBRAS	2017	DBLP BibTeX RDF
12	Rafael Basso, Daniela Schmidt, Cássia Trojahn dos Santos, Renata Vieira	Alinhamento entre Ontologias de Topo e de Domínio Usando WordNet(Top-level and Domain Ontologies Alignment via WordNet).	ONTOBRAS	2017	DBLP BibTeX RDF
12	George Markowsky	The problem of interceptor top level domains revisited.	IDAACS	2017	DBLP DOI BibTeX RDF
12	Anat Ben-David	What does the Web remember of its deleted past? An archival reconstruction of the former Yugoslav top-level domain.	New Media Soc.	2016	DBLP DOI BibTeX RDF
12	Margot Waty, Seth van Hooland, Simon Hengchen, Mathias Coeckelbergs, Max De Wilde	How hot is .brussels? Impact of the uptake of the .brussels top-level domain name extension.	CoRR	2016	DBLP BibTeX RDF
12	Daniela Schmidt, Cássia Trojahn dos Santos, Renata Vieira	Analysing top-level and domain ontology alignments from matching systems.	OM@ISWC	2016	DBLP BibTeX RDF