Search results for "missions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	Emil Vassev, Mike Hinchey, Joey Paquet	Towards an ASSL specification model for NASA swarm-based exploration missions.	SAC	2008	DBLP DOI BibTeX RDF	swarm missions, autonomic computing, formal specification language
69	Christopher W. Johnson 0001	The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions.	FM	2005	DBLP DOI BibTeX RDF
60	Debora Donato, Francesco Bonchi, Tom Chi, Yoëlle S. Maarek	Do you want to take notes?: identifying research missions in Yahoo! search pad.	WWW	2010	DBLP DOI BibTeX RDF	persistent search, task-oriented search, query logs, sessions
60	Maria Andersson	Classification of Aerial Missions Using Hidden Markov Models.	ECSQARU	2003	DBLP DOI BibTeX RDF
55	Christopher A. Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey	Formal Approaches to Intelligent Swarms.	SEW	2003	DBLP DOI BibTeX RDF
51	Alessandro Donati	Space missions & sensor networking: challenging scenarios.	KDD Workshop on Knowledge Discovery from Sensor Data	2009	DBLP DOI BibTeX RDF
51	Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Roy Sterritt	Challenges of Developing New Classes of NASA Self-Managing Missions.	ICPADS (2)	2005	DBLP DOI BibTeX RDF
46	Edward W. Tunstel	Space and Exploration Automation.	Handbook of Automation	2009	DBLP DOI BibTeX RDF
46	Michael G. Hinchey, James L. Rash, Christopher A. Rouff	Some Verification Issues at NASA Goddard Space Flight Center.	VSTTE	2005	DBLP DOI BibTeX RDF
42	Debra Schreckenghost, Carroll Thronesbery, R. Peter Bonasso, David Kortenkamp, Cheryl Martin 0001	Intelligent Control of Life Support for Space Missions.	IEEE Intell. Syst.	2002	DBLP DOI BibTeX RDF	space missions, lunar rover, Johnson Space Center, life support, human-centered computing, NASA
42	John Kemp, Elena I. Gaura, James Brusey, C. Douglas Thake	Using Body Sensor Networks for Increased Safety in Bomb Disposal Missions.	SUTC	2008	DBLP DOI BibTeX RDF	bomb disposal suits, thermal comfort models, body sensor networks
42	Amotz Bar-Noy, Theodore Brown, Matthew P. Johnson 0001, Thomas La Porta, Ou Liu, Hosam Rowaihy	Assigning Sensors to Missions with Demands.	ALGOSENSORS	2007	DBLP DOI BibTeX RDF
42	Ling Chen 0001, Steve Benford	Your way your missions: from location-based to route-based pervasive gaming.	Advances in Computer Entertainment Technology	2007	DBLP DOI BibTeX RDF	route, pervasive computing, games, location
42	Michael G. Hinchey, Yuan-Shun Dai, Christopher A. Rouff, James L. Rash, Mingrui Qi	Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing.	AINA	2007	DBLP DOI BibTeX RDF
42	Roy Sterritt, Michael G. Hinchey	Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions.	ECBS	2005	DBLP DOI BibTeX RDF	Self-Destruction, Pulse Monitoring, Autonomic Computing, Autonomic Agents, Exploration, Self-Protection, Apoptosis
42	Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt	Autonomicity of NASA Missions.	ICAC	2005	DBLP DOI BibTeX RDF
42	Savio N. Chau	Experience of Using COTS Components for Deep Space Missions.	HASE	1999	DBLP DOI BibTeX RDF
37	Jacob Savir	On testing safety-sensitive digital systems.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	aerospace testing, safety systems, safety-sensitive digital systems, off-line test, flight critical missions, digital airborne system, repair capabilities, diagnosis capabilities, mission reliability, reliability, fault diagnosis, redundancy, digital systems, online test
37	John Johansen, Uday S. Karmarkar, Dhananjay Nanda, Abraham Seidmann	Business experience with computer integrated manufacturing. A survey of current strategy and practice.	HICSS (4)	1995	DBLP DOI BibTeX RDF	current strategy, current practice, business experience, US manufacturing firms, adoption policy, manufacturing process characteristics, CIM development process, CIM architecture, plant-wide integration, competitive missions, information technologies, value, strategic planning, computer integrated manufacturing, computer integrated manufacturing, benefits, temporal pattern, commerce
37	Gianluca Antonelli, Filippo Arrichiello, Stefano Chiaverini	Stability analysis for the Null-Space-based Behavioral control for multi-robot systems.	CDC	2008	DBLP DOI BibTeX RDF
37	Sharanya Eswaran, Archan Misra, Thomas La Porta	Utility-Based Adaptation in Mission-Oriented Wireless Sensor Networks.	SECON	2008	DBLP DOI BibTeX RDF
37	William C. Stratton, Deane E. Sibol, Mikael Lindvall, Patricia Costa	The SAVE Tool and Process Applied to Ground Software Development at JHU/APL: An Experience Report on Technology Infusion.	SEW	2007	DBLP DOI BibTeX RDF
37	Tian He 0001, Sudha Krishnamurthy, Liqian Luo, Ting Yan, Lin Gu 0001, Radu Stoleru, Gang Zhou, Qing Cao, Pascal Vicaire, John A. Stankovic, Tarek F. Abdelzaher, Jonathan Hui, Bruce H. Krogh	VigilNet: An integrated sensor network system for energy-efficient surveillance.	ACM Trans. Sens. Networks	2006	DBLP DOI BibTeX RDF	Sensor networks, wireless, tracking, energy conservation
37	Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash	Verification of Emergent Behaviors in Swarm-based Systems.	ECBS	2004	DBLP DOI BibTeX RDF
37	Scott J. Harmon, Edwin Rodríguez, Christopher Zhong, William H. Hsu	A Comparison of Hybrid Incremental Reuse Strategies for Reinforcement Learning in Genetic Programming.	GECCO (2)	2004	DBLP DOI BibTeX RDF
37	Austin Tate, Jeffrey M. Bradshaw, Michal Pechoucek	Guest Editors' Introduction: Knowledge Systems for Coalition Operations.	IEEE Intell. Syst.	2002	DBLP DOI BibTeX RDF
37	Susan E. Torney	Operations Assistants for Johnson Space Center's Mission Control Center.	FAABS	2000	DBLP DOI BibTeX RDF
32	Keith W. Sevcik, Paul Y. Oh	Testing Unmanned Aerial Vehicle Missions in a Scaled Environment.	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	Unmanned aerial vehicles, Verification and validation, Testing and evaluation
32	Walt Truszkowski, Christopher A. Rouff, Sidney C. Bailin, Mike Rilee	Progressive autonomy: a method for gradually introducing autonomy into space missions.	Innov. Syst. Softw. Eng.	2005	DBLP DOI BibTeX RDF
32	Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski	Towards a Hybrid Formal Method for Swarm-Based Exploration Missions.	SEW	2005	DBLP DOI BibTeX RDF	Swarm Technology, Verification, Formal Methods
32	Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt	Towards Autonomic Management of NASA Missions.	ICPADS (2)	2005	DBLP DOI BibTeX RDF
32	Tarun Kanti Podder, Mark Sibenac, James G. Bellingham	AUV Docking System for Sustainable Science Missions.	ICRA	2004	DBLP DOI BibTeX RDF
32	Michael R. Lowry	Software Construction and Analysis Tools for Future Space Missions.	TACAS	2002	DBLP DOI BibTeX RDF
28	Philippe Lambert	Contribution à l'autonomie des robots : vers des missions à garantie de performance incluant l'incertitude de localisation en environnement intérieur connu. (contribution to the autonomy of robots : towards missions with performance guarantee including localization in known indoor environment).		2021	RDF
28	Ema Falomir Bagdassarian	Calcul dynamique de chemin par des drones autonomes en essaim compact dans le cadre de missions en environnements complexes. (Dynamic calculation of paths by autonomous drones forming a compact swarm, for missions in complex environments).		2019	RDF
28	Sara Zermani	Implémentation sur SoC des réseaux Bayésiens pour l'état de santé et la décision dans le cadre de missions de véhicules autonomes. (SoC implementation of Bayesian networks for health management and decision making for autonomous vehicles missions).		2017	RDF
27	Louis Kelly, Sandra Johnson	Providing support to the expanding university.	SIGUCCS	2006	DBLP DOI BibTeX RDF	faculty training, missions, planning, support, digital divide, goals
27	Maarten Sierhuis, William J. Clancey	Modeling and Simulating Work Practice: A Method for Work Systems Design.	IEEE Intell. Syst.	2002	DBLP DOI BibTeX RDF	multiagent language, mission operation design, space missions, simulation, modeling, human-centered computing, work practice, human-centered systems
27	Lei Zhang 0064, Susanna Spinsante, Chaojing Tang, Ennio Gambi	Application and performance analysis of various AEAD techniques for space telecommand authentication.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
27	Bradley J. Wall, Bruce A. Conway	Genetic algorithms applied to the solution of hybrid optimal control problems in astrodynamics.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Hybrid optimal control, Spacecraft trajectory optimization, Global trajectory optimization competition (GTOC), Bilevel programming problem (BLPP), Genetic algorithm
27	Matthew P. Johnson 0001, Hosam Rowaihy, Diego Pizzocaro, Amotz Bar-Noy, Stuart W. Chalmers, Thomas La Porta, Alun D. Preece	Frugal Sensor Assignment.	DCOSS	2008	DBLP DOI BibTeX RDF
27	Robin R. Murphy, Kevin S. Pratt, Jennifer L. Burke	Crew roles and operational protocols for rotary-wing micro-uavs in close urban environments.	HRI	2008	DBLP DOI BibTeX RDF	robot, human-robot interaction, unmanned aerial vehicle
27	Andres S. Orrego, Gregory E. Mundy	SRAE: An Integrated Framework for Aiding in the Verification and Validation of Legacy Artifacts in NASA Flight Control Systems.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
27	Terry Huntsberger, Abhijit Sengupta	Game theory basis for control of long-lived lunar/planetary surface robots.	Auton. Robots	2006	DBLP DOI BibTeX RDF	All terrain mobility, Game theory, Mobile robots, Robot control, Reconfigurable robots
27	Christopher A. Rouff, Michael G. Hinchey, Walter Truszkowski, James L. Rash	Experiences applying formal approaches in the development of swarm-based space exploration systems.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Verification, Formal methods, Validation, Swarm
27	Stephen B. Stancliff, John M. Dolan, Ashitey Trebi-Ollennu	Mission Reliability Estimation for Multirobot Team Design.	IROS	2006	DBLP DOI BibTeX RDF
27	Christopher A. Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash	Verifying Large Numbers of Cooperating Adaptive Agents.	ICPADS (1)	2005	DBLP DOI BibTeX RDF	spacecraft, Verification, formal methods, autonomy, swarms, emergent behavior
27	Bradley J. Clement, Steve R. Schaffer	Distributed network scheduling.	AAMAS	2005	DBLP DOI BibTeX RDF	rover, scheduling, network, space, mars
27	Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey	Verification of NASA Emergent Systems.	ICECCS	2004	DBLP DOI BibTeX RDF
27	Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash	Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems.	SEFM	2004	DBLP DOI BibTeX RDF
27	Brian Wilcox	Robotic vehicles for planetary exploration.	Appl. Intell.	1992	DBLP DOI BibTeX RDF	terrain sensing, Mobile robots, path planning, terrain modeling
27	M. J. Iacoponi	The Advanced Architecture On-board Processor signal processing testbed.	J. VLSI Signal Process.	1990	DBLP DOI BibTeX RDF
27	B. A. Batchelder	ADAM (Attrition Damage Assessment Model.	Commun. ACM	1961	DBLP DOI BibTeX RDF	weapons effectiveness, programming, Monte Carlo method, computer simulation, computer application
23	Lena Geiger, Michael Popp, Berthold Färber, Jordi Artigas, Philipp Kremer	Is a telepresence-system an effective alternative to manned missions?	HRI	2010	DBLP DOI BibTeX RDF	on-orbit servicing, simulated extra-vehicular activity, telepresence, completion time
23	Ilya Ioslovich, Michael Borshchevsky, Per Olof Gutman	Long time missions and the fuel-optimal attitude maneuvering in a swinging mode.	Math. Program.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 93C10, 49L20, 49N20
23	Marco Chacin, Andres E. Mora Vargas, Kazuya Yoshida	Motion control of multi-limbed robots for asteroid exploration missions.	ICRA	2009	DBLP DOI BibTeX RDF
23	Tjerk de Greef, Augustinus H. J. Oomes, Mark A. Neerincx	Distilling Support Opportunities to Improve Urban Search and Rescue Missions.	HCI (4)	2009	DBLP DOI BibTeX RDF	situated cognitive engineering, work domain analysis, user-centered design, urban search and rescue
23	Emil Vassev, Mike Hinchey	An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions.	SASO	2008	DBLP DOI BibTeX RDF
23	Ketut Sulistyawati, Yoon Ping Chui, Yeow Min Tham, Yeow Koon Wee	Evaluation of Process Tracing Technique to Assess Pilot Situation Awareness in Air Combat Missions.	HCI (13)	2007	DBLP DOI BibTeX RDF	air combat, process tracing, method, situation awareness, aviation
23	Grant R. Cates, William M. Cirillo, Chel Stromgren	Low earth orbit rendezvous strategy for lunar missions.	WSC	2006	DBLP DOI BibTeX RDF
23	Daniel L. Dvorak, Gregory Bollella, Tim Canham, Vanessa Carson, Virgil Champlin, Brian Giovannoni, Mark B. Indictor, Kenny Meyer, Alex Murray, Kirk Reinholtz	Project Golden Gate: Towards Real-Time Java in Space Missions.	ISORC	2004	DBLP DOI BibTeX RDF
23	Sinisa Todorovic, Michael C. Nechyba	Intelligent Missions for MAVs: Visual Contexts for Control, Tracking and Recognition.	ICRA	2004	DBLP DOI BibTeX RDF
23	Subhashini Ganapathy, Raymond R. Hill	Agent models II: dynamic path-planning for search and destroy missions - the Bay of Biscay scenario.	WSC	2003	DBLP DOI BibTeX RDF
18	Adriano Mancini, Andrea Cesetti, A. Iualè, Emanuele Frontoni, Primo Zingaretti, Sauro Longhi	A Framework for Simulation and Testing of UAVs in Cooperative Scenarios.	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	Cooperative scenarios, Simulation, UAVs
18	Timothy H. Chung, Moshe Kress, Johannes O. Royset	Probabilistic search optimization and mission assignment for heterogeneous autonomous agents.	ICRA	2009	DBLP DOI BibTeX RDF
18	Ketut Sulistyawati, Yoon Ping Chui	Confidence Bias in Situation Awareness.	HCI (17)	2009	DBLP DOI BibTeX RDF	confidence bias, meta-cognition, situation awareness
18	Hayato Mano, Katsunori Miyazawa, Ranajit Chatterjee, Fumitoshi Matsuno	Autonomous generation of behavioral trace maps using rescue robots.	IROS	2009	DBLP DOI BibTeX RDF
18	Hans C. Woithe, Ulrich Kremer	A programming architecture for smart autonomous underwater vehicles.	IROS	2009	DBLP DOI BibTeX RDF
18	Björn Osterloh, Harald Michalik, Björn Fiethe	SoCWire: A Robust and Fault Tolerant Network-on-Chip Approach for a Dynamic Reconfigurable System-on-Chip in FPGAs.	ARCS	2009	DBLP DOI BibTeX RDF	SoCWire, dynamic reconfigurable system, Sytem-on-Chip, Network-on-Chip, SRAM-based FPGA, VMC
18	Michel Charpentier, Radim Bartos, Swapnil Bhatia	When opportunity proceeds from autonomy: A tour-based architecture for disconnected mobile sensors.	WOWMOM	2009	DBLP DOI BibTeX RDF
18	Mark S. Young, Neville A. Stanton, Guy H. Walker, Daniel P. Jenkins, Wes Smart	Where do we go from here? An assessment of navigation performance using a compass versus a GPS unit.	Cogn. Technol. Work.	2008	DBLP DOI BibTeX RDF	Navigation performance, Map, GPS, Wayfinding, Compass
18	L. Stutters, Honghai Liu 0001, C. Tiltman, David J. Brown 0002	Navigation Technologies for Autonomous Underwater Vehicles.	IEEE Trans. Syst. Man Cybern. Part C	2008	DBLP DOI BibTeX RDF
18	Richard J. Rikoski, Daniel C. Brown	Holographic navigation.	ICRA	2008	DBLP DOI BibTeX RDF
18	Mircea Badescu, Sergiu Stroescu, Stewart Sherrit, Jack B. Aldrich, Xiaoqi Bao, Yoseph Bar-Cohen, Zensheu Chang, Wilson Hernandez, Alaa Ibrahim	Rotary hammer ultrasonic/sonic drill system.	ICRA	2008	DBLP DOI BibTeX RDF
18	Gabriele Ferri 0002, Michael V. Jakuba, Dana R. Yoerger	A novel method for hydrothermal vents prospecting using an autonomous underwater robot.	ICRA	2008	DBLP DOI BibTeX RDF
18	Larry H. Matthies, Andres Huertas, Yang Cheng, Andrew E. Johnson 0002	Stereo vision and shadow analysis for landing hazard detection.	ICRA	2008	DBLP DOI BibTeX RDF
18	Reuben Wright, Manuel Sánchez-Gestido, Asunción Gómez-Pérez, María S. Pérez-Hernández, Rafael González-Cabero, Óscar Corcho	A Semantic Data Grid for Satellite Mission Quality Analysis.	ISWC	2008	DBLP DOI BibTeX RDF
18	Marco Lucente, Emiliano Re, Tommaso Rossi, Antonio Iera, Antonella Molinaro, Salvatore Pulitanò	WAVE A2: WAVESat and LEO Mission Architectures.	ICC	2008	DBLP DOI BibTeX RDF
18	Mahendiran Prathaban, Joséphine Kohlenberg	Buffer Management Policy for Mars Intelligent Proximity Network.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	Intelligent Proximity Network, Bundle Protocol, Performance, Buffer Management
18	Dionysia A. Alexandropoulou, Vasilis A. Angelis, Maria Mavri	A Critical Review of the Impact of Knowledge Management on Higher Education.	WSKS (2)	2008	DBLP DOI BibTeX RDF
18	Nikhil Padhye	Interplanetary trajectory optimization with swing-bys using evolutionary multi-objective optimization.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	optimization
18	Alexander I. Fedoseyev, Marek Turowski, Ashok Raman, Qinghui Shao, Alexander A. Balandin	Multiscale Models of Quantum Dot Based Nanomaterials and Nanodevices for Solar Cells.	ICCS (2)	2008	DBLP DOI BibTeX RDF	Nanostructured solar cell, nanostructures, drift-diffusion, intermediate band solar cells, computer-aided design, multiscale, quantum dot, photovoltaic, hydrodynamics
18	P. B. Sujit, Arpita Sinha, Debasish Ghose	Team, Game, and Negotiation based Intelligent Autonomous UAV Task Allocation for Wide Area Applications.	Innovations in Intelligent Machines (1)	2007	DBLP DOI BibTeX RDF
18	Hiroshi Kawano	Method for Designating the Wind Condition in MDP-based Motion Planning of Under-actuated Blimp type UAV.	ICRA	2007	DBLP DOI BibTeX RDF
18	Alfredo Martins, José Miguel Almeida, Hugo Ferreira 0002, Hugo Silva 0003, Nuno Dias, André Dias, Carlos Almeida 0001, Eduardo P. da Silva	Autonomous Surface Vehicle Docking Manoeuvre with Visual Information.	ICRA	2007	DBLP DOI BibTeX RDF
18	Patrick Ulam, Yoichiro Endo, Alan R. Wagner, Ronald C. Arkin	Integrated Mission Specification and Task Allocation for Robot Teams - Design and Implementation.	ICRA	2007	DBLP DOI BibTeX RDF
18	Kurt Rohloff, Richard E. Schantz, Yarom Gabay	High-level dynamic resource management for distributed, real-time embedded systems.	SCSC	2007	DBLP BibTeX RDF
18	Kevin Nickels	HIPS-assisted target handoff between camera pairs.	IROS	2007	DBLP DOI BibTeX RDF
18	Sangsoo Kim, Jiyong Park, Heeseo Chae, Hoh Peter In	Situation-Aware Based Self-adaptive Architecture for Mission Critical Systems.	ICESS	2007	DBLP DOI BibTeX RDF	Real-Time Distributed Simulation, Self-Adaptation, Situation-Awareness, Mission Critical System, HLA/RTI
18	Ville Mattila	Flight time allocation for a fleet of aircraft through reinforcement learning.	WSC	2007	DBLP DOI BibTeX RDF
18	Reid L. Kress, Jack Dixon, Thomas M. Insalaco, Richard Rinehart	A supply chain paradigm to model business pprocesses at the Y-12 National Security Complex.	WSC	2007	DBLP DOI BibTeX RDF
18	Alexander Höhfeld	A Ubiquitous M-Learning Framework for Network Centric Operations.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
18	Jeff Houser, Lei Zong	The ARL Multi-Modal Sensor: A research tool for target signature collection, algorithm validation, and emplacement studies.	CVPR	2007	DBLP DOI BibTeX RDF
18	Vir V. Phoha, Shashi Phoha	Situation-Aware Software Engineering for Sensor Networks.	COMSWARE	2007	DBLP DOI BibTeX RDF
18	Michael G. Hinchey	Michael G. Hinchey: Biological Inspiration.	SASO	2007	DBLP DOI BibTeX RDF
18	Juan López, Pablo Royo, Enric Pastor, Cristina Barrado, Eduard Santamaria	A middleware architecture for unmanned aircraft avionics.	Middleware (Demos and Posters)	2007	DBLP DOI BibTeX RDF	service-based, middleware, implementation, embedded, UAV, publish-subscribe, avionics
18	Uwe Brinkschulte, Alexander von Renteln, Mathias Pacher	A Scheduling Strategy for a Real-Time Dependable Organic Middleware.	SAMOS	2006	DBLP DOI BibTeX RDF	organic real-time scheduling, OSA+ middleware, Self-organization, self-healing
18	Bin Liang 0001, Cheng Li 0015, Lijun Xue, Wenyi Qiang	A Chinese Small Intelligent Space Robotic System for On-Orbit Servicing.	IROS	2006	DBLP DOI BibTeX RDF
18	Ou Ma, George Yang	Validation of A Satellite Docking Simulator using the SOSS Experimental Testbed.	IROS	2006	DBLP DOI BibTeX RDF
18	Florent Teichteil-Königsbuch, Patrick Fabiani	Autonomous Search and Rescue Rotorcraft Mission Stochastic Planning with Generic DBNs.	IFIP AI	2006	DBLP DOI BibTeX RDF