Search results for "bi-manual"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
64	Oya Aran, Thomas Burger, Alice Caplier, Lale Akarun	Sequential Belief-Based Fusion of Manual and Non-manual Information for Recognizing Isolated Signs.	Gesture Workshop	2007	DBLP DOI BibTeX RDF	non-manual signals, hidden Markov models, belief functions, hand gestures, Sign language recognition, head gestures
63	Daniel Kelly, Jane Reilly Delannoy, John Mc Donald 0001, Charles Markham	A framework for continuous multimodal sign language recognition.	ICMI	2009	DBLP DOI BibTeX RDF	non-manual signals, HMM, sign language
57	Charles R. Blair	On Computer Transcription of Manual Morse.	J. ACM	1959	DBLP DOI BibTeX RDF
50	Hideaki Shimada, Muneo Kitajima	SMMAPS: scenario-based multimedia manual authoring and presentation system and its application to a disaster evacuation manual for special needs.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	usability, disaster, people with disabilities, manual
49	Tat-Seng Chua, Thiam-Beng Lim	From Text Description to Animation Sequences.	CA	1996	DBLP DOI BibTeX RDF	On-line manual, task-level animation, concept-based information retrieval, knowledge-based system
47	Célia Ghedini Ralha, Hugo W. Schneider, Lucas O. da Fonseca, Maria Emília M. T. Walter, Marcelo M. Brigido	Using BioAgentsfor Supporting Manual Annotation on Genome Sequencing Projects.	BSB	2008	DBLP DOI BibTeX RDF	manual annotation, genome sequencing projects, multiagent system
47	Thomas Roth-Berghofer, Thomas Reinartz	MAMA: A Maintenance Manual for Case-Based Reasoning Systems.	ICCBR	2001	DBLP DOI BibTeX RDF	CBR process, maintenance manual, methodology, process model, maintenance, Case-Based Reasoning
46	Jaap Ham, Andreas Spahn	Shall I Show You Some Other Shirts Too? The Psychology and Ethics of Persuasive Robots.	A Construction Manual for Robots' Ethical Systems	2015	DBLP DOI BibTeX RDF
46	Jean-Gabriel Ganascia	Non-monotonic Resolution of Conflicts for Ethical Reasoning.	A Construction Manual for Robots' Ethical Systems	2015	DBLP DOI BibTeX RDF
46	Naveen Sundar Govindarajulu, Selmer Bringsjord	Ethical Regulation of Robots Must Be Embedded in Their Operating Systems.	A Construction Manual for Robots' Ethical Systems	2015	DBLP DOI BibTeX RDF
46	Sabine Payr	Towards Human-Robot Interaction Ethics.	A Construction Manual for Robots' Ethical Systems	2015	DBLP DOI BibTeX RDF
46	Michael Anderson 0001, Susan Leigh Anderson	Case-Supported Principle-Based Behavior Paradigm.	A Construction Manual for Robots' Ethical Systems	2015	DBLP DOI BibTeX RDF
46	Brigitte Krenn	Robot: Multiuse Tool and Ethical Agent.	A Construction Manual for Robots' Ethical Systems	2015	DBLP DOI BibTeX RDF
46	Mihnea Tufis, Jean-Gabriel Ganascia	Grafting Norms onto the BDI Agent Model.	A Construction Manual for Robots' Ethical Systems	2015	DBLP DOI BibTeX RDF
46	Robert Trappl	Robots' Ethical Systems: From Asimov's Laws to Principlism, from Assistive Robots to Self-Driving Cars.	A Construction Manual for Robots' Ethical Systems	2015	DBLP DOI BibTeX RDF
46	Tamas Madl, Stan Franklin	Constrained Incrementalist Moral Decision Making for a Biologically Inspired Cognitive Architecture.	A Construction Manual for Robots' Ethical Systems	2015	DBLP DOI BibTeX RDF
46	Ari Saptawijaya, Luís Moniz Pereira	The Potential of Logic Programming as a Computational Tool to Model Morality.	A Construction Manual for Robots' Ethical Systems	2015	DBLP DOI BibTeX RDF
43	Roel Vertegaal	A Fitts Law comparison of eye tracking and manual input in the selection of visual targets.	ICMI	2008	DBLP DOI BibTeX RDF	attentive user interfaces., focus selection, eye tracking, input devices, Fitts Law
43	Steve Counsell, George Loizou, Rajaa Najjar	Quality of manual data collection in Java software: an empirical investigation.	Empir. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Java, Software metrics, Data collection, Empirical investigation
43	Manohar K. Prabhu, Kunle Olukotun	Using thread-level speculation to simplify manual parallelization.	PPoPP	2003	DBLP DOI BibTeX RDF	feedback-driven optimization, manual parallel programming, chip multiprocessor, multithreading, data speculation
43	William Chow, Jonathan Rose	EVE: a CAD tool for manual placement and pipelining assistance of FPGA circuits.	FPGA	2002	DBLP DOI BibTeX RDF	event horizon, manual placement and pipelining, FPGA, programmable logic
42	Narayanan Raghupathy, Kwangbom Choi, Matthew J. Vincent, Glen L. Beane, Keith S. Sheppard, Steven C. Munger, Ron Korstanje, Fernando Pardo-Manual de Villena, Gary A. Churchill	Hierarchical analysis of RNA-seq reads improves the accuracy of allele-specific expression.	Bioinform.	2018	DBLP DOI BibTeX RDF
42	Henning Müller, B. Michael Kelm, Tal Arbel, Weidong Cai 0001, Manual Jorge Cardoso, Georg Langs, Bjoern H. Menze, Dimitris N. Metaxas, Albert Montillo, William M. Wells III, Shaoting Zhang 0001, Albert C. S. Chung, Mark Jenkinson, Annemie Ribbens (eds.)	Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging - MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers	MCV/BAMBI@MICCAI	2017	DBLP DOI BibTeX RDF
42	Ferran Prados, Manual Jorge Cardoso, David G. MacManus, Claudia A. M. Wheeler-Kingshott, Sébastien Ourselin	A Modality-Agnostic Patch-Based Technique for Lesion Filling in Multiple Sclerosis.	MICCAI (2)	2014	DBLP DOI BibTeX RDF
42	Kejie Lu, Yi Qian 0001, Domingo Rodríguez, Wilson Rivera, Manual Rodriguez	Wireless Sensor Networks for Environmental Monitoring Applications: A Design Framework.	GLOBECOM	2007	DBLP DOI BibTeX RDF
42	José María Gómez Hidalgo, Manual Maña López, Enrique Puertas Sanz	Combining Text and Heuristics for Cost-Sensitive Spam Filtering.	CoNLL/LLL	2000	DBLP BibTeX RDF
40	Ralph Frisbie, Richard Hendrickson, Michael Metcalf	The F Programming Language.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF	FCL
39	Juha Itkonen, Mika Mäntylä, Casper Lassenius	How do testers do it? An exploratory study on manual testing practices.	ESEM	2009	DBLP DOI BibTeX RDF
39	Masaki Shikata, Akiyo Nadamoto, Kazutoshi Sumiya, Katsumi Tanaka	MWM: Retrieval and Automatic Presentation of Manual Data for Mobile Terminals.	DEXA	2002	DBLP DOI BibTeX RDF
39	Helen Petrie, Christopher Power, Gerhard Weber 0002	Web Accessibility - Automatic/Manual Evaluation and Authoring Tools.	ICCHP	2008	DBLP DOI BibTeX RDF	automatic and manual evaluation, web accessibility, authoring tools
39	Mohammad Reza Reyhanitabar, Shuhong Wang, Reihaneh Safavi-Naini	Non-interactive Manual Channel Message Authentication Based on eTCR Hash Functions.	ACISP	2007	DBLP DOI BibTeX RDF	manual channel, eTCR hash family, randomized hashing, hash function security, Message authentication
36	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
36	Terry Winograd	What can we teach about human-computer interaction? (plenary address).	CHI	1990	DBLP DOI BibTeX RDF
36	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF
36	Jakob Nielsen	Designing for international use (panel).	CHI	1990	DBLP DOI BibTeX RDF
36	S. Joy Mountford	Designers: meet your users (panel).	CHI	1990	DBLP DOI BibTeX RDF	Apple Computer, HyperCard, Inc
36	Marcy Telles	Updating an older interface.	CHI	1990	DBLP DOI BibTeX RDF	WordStar
36	Yanfang Li, Volkan Patoglu, Marcia Kilchenman O'Malley	Negative efficacy of fixed gain error reducing shared control for training in virtual environments.	ACM Trans. Appl. Percept.	2009	DBLP DOI BibTeX RDF	haptic assistance, motor skill training, virtual training, Shared control, manual control
34	Carlos Casado Martínez, Loïc Martínez Normand, Morten Goodwin Olsen	Is It Possible to Predict the Manual Web Accessibility Result Using the Automatic Result?	HCI (7)	2009	DBLP DOI BibTeX RDF
34	Mark Grechanik, Qing Xie 0003, Chen Fu	Experimental assessment of manual versus tool-based maintenance of GUI-directed test scripts.	ICSM	2009	DBLP DOI BibTeX RDF
34	Monica Bordegoni, Umberto Cugini, Paolo Belluco, Marcello Aliverti	Evaluation of a Haptic-Based Interaction System for Virtual Manual Assembly.	HCI (13)	2009	DBLP DOI BibTeX RDF	Virtual Manual Assembly, haptic-based interaction, VR system evaluation
34	Fang Chen 0001, Eric H. C. Choi, Julien Epps, Serge Lichman, Natalie Ruiz, Yu (David) Shi, Ronnie Taib, Mike Wu	A study of manual gesture-based selection for the PEMMI multimodal transport management interface.	ICMI	2005	DBLP DOI BibTeX RDF	manual gesture, multimodal output generation, multimodal interaction, speech, multimodal fusion
34	Daniel M. Berry, Khuzaima Daudjee, Jing Dong 0005, Igor Fainchtein, Maria Augusta V. Nelson, Torsten Nelson, Lihua Ou	User's manual as a requirements specification: case studies.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	Users manual, Scenarios, Requirements specification, Requirements elicitation, Test cases, Requirements validation
34	Tomasz S. Czajkowski, Jonathan Rose	A synthesis oriented omniscient manual editor.	FPGA	2004	DBLP DOI BibTeX RDF	virtex-e, synthesis, manual
31	Matthew Canton	The presence table: a reactive surface for ambient connection.	TEI	2011	DBLP DOI BibTeX RDF
31	Kathy Haramundanis, Larry Rowland	Experience paper: a content reuse documentation design experience.	SIGDOC	2007	DBLP DOI BibTeX RDF	content mirroring, manpage, modular documentation, opportunistic reuse, user manual, authoring, xml, collaborative writing, single sourcing, technical documentation, transclusion, context-sensitive help
30	Haakon Ringberg, Augustin Soule, Jennifer Rexford	WebClass: adding rigor to manual labeling of traffic anomalies.	Comput. Commun. Rev.	2008	DBLP DOI BibTeX RDF	database, data sharing, network traffic analysis, data labeling
30	Seon-Jae Jang, Hae-Geun Kim, Youn-Ky Chung	Manual Specific Testing and Quality Evaluation for Embedded Software.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF
30	Toru Kumagai, Juli Yamashita, Osamu Morikawa, Kazunori Yokoyama, Shin'ichi Fujimaki, Taku Konishi, Hiroshi Ishimasa, Hideyuki Murata, Koichi Tomoda	Distance Education System for Teaching Manual Skills in Endoscopic Paranasal Sinus Surgery Using "HyperMirror" Telecommunication Interface.	VR	2008	DBLP DOI BibTeX RDF
30	Jeffery R. Jensen, William R. Hersh	Manual Query Modification and Data Fusion for Medical Image Retrieval.	CLEF	2005	DBLP DOI BibTeX RDF
30	Seung-Hyun Rhee, Hoseong Song, Hyung Jun Won, Jaeyoung Ju, Minsoo Kim 0003, Hyerim Bae	Process-Oriented Development of Job Manual System.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
30	Shumin Zhai, Carlos Morimoto, Steven Ihde	Manual and Gaze Input Cascaded (MAGIC) Pointing.	CHI	1999	DBLP DOI BibTeX RDF	Fitts'law, computer input, computer vision, eye tracking, pointing, gaze, multi-modal interface, gaze tracking, eye
30	Alfonso Muñoz Muñoz, Justo Carracedo Gallardo, Irina Arguelles Álvarez	Hiding Short Secret Messages based on Linguistic Steganography and Manual Annotation.	CIT	2010	DBLP DOI BibTeX RDF	manual annotation, stegotext, linguistic steganography
30	Natalie Ruiz, Kelvin Cheng 0002, Markus Rittenbruch	Exploring Manual Interaction and Social Behaviour Patterns in Intensely Collaborative Teamwork.	INTERACT (1)	2009	DBLP DOI BibTeX RDF	Manual gestures, Multi-touch table, paper vs. digital, CSCW
27	Peter J. Yim, David J. Foran	Volumetry of Hepatic Metastases in Computed Tomography Using the Watershed and Active Contour Algorithms.	CBMS	2003	DBLP DOI BibTeX RDF
27	Steve G. Langer	Impact of Speech Recognition on Radiologist Productivity.	J. Digit. Imaging	2002	DBLP DOI BibTeX RDF
27	Ken Farion, Wojtek Michalowski, Szymon Wilk	Developing a Decision Model for Asthma Exacerbations: Combining Rough Sets and Expert-Driven Selection of Clinical Attributes.	RSCTC	2006	DBLP DOI BibTeX RDF	asthma exacerbations, manual feature selection, rough sets, decision rules, decision model
27	Yuen-Hsien Tseng	A news content summarizer for Chinese cell phones.	ICME	2005	DBLP DOI BibTeX RDF	news content summarizer, Chinese cell phone, manual selection, concatenated snippet, media streaming, message service
27	Manohar K. Prabhu, Kunle Olukotun	Exposing speculative thread parallelism in SPEC2000.	PPoPP	2005	DBLP DOI BibTeX RDF	SPEC CPU2000, feedback-driven optimization, manual parallel programming, chip multiprocessors, multithreading, thread-level speculation
27	Razvan Stefan Bot, Yi-fang Brook Wu, Xin Chen 0007, Quanzhi Li	A Hybrid Classifier Approach for Web Retrieved Documents Classification.	ITCC (1)	2004	DBLP DOI BibTeX RDF	manual classification, hybrid classification, information retrieval, concept hierarchy, automatic classification
27	Susanne Bay	Cellular phone manuals: users' benefit from spatial maps.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF	menu tree, step-by-step instruction, cellular phone, navigational aid, manual, spatial map
27	John A. Hoxmeier	Learning from group support system use: potential changes in subsequent meeting behavior.	HICSS (4)	1995	DBLP DOI BibTeX RDF	group support system use, subsequent meeting behavior, cross-sectional survey design, manual meetings, quasiexperimental field study, TeamFocus facility, control group, perceptual quantitative data, composite meeting behaviors, moderator variables, control variables, group differences, individual-level recall, attitudinal data, GSS applied behaviors, learning, groupware, human factors, productivity, interviews, group decision support systems, human resource management
25	Jean-Claude Martin, George Caridakis, Laurence Devillers, Kostas Karpouzis, Sarkis Abrilian	Manual annotation and automatic image processing of multimodal emotional behaviors: validating the annotation of TV interviews.	Pers. Ubiquitous Comput.	2009	DBLP DOI BibTeX RDF
25	Rong Yan, Apostol Natsev, Murray Campbell	A learning-based hybrid tagging and browsing approach for efficient manual image annotation.	CVPR	2008	DBLP DOI BibTeX RDF
25	Ruigang Zhang	Design and Implementation of an Intelligent User-Manual Maker System.	CSSE (2)	2008	DBLP DOI BibTeX RDF
25	Susan M. Munn, Leanne Stefano, Jeff B. Pelz	Fixation-identification in dynamic scenes: comparing an automated algorithm to manual coding.	APGV	2008	DBLP DOI BibTeX RDF	eye tracking, dynamic scenes, fixations
25	Adam Geras	Leading Manual Test Efforts with Agile Methods.	AGILE	2008	DBLP DOI BibTeX RDF
25	Jean-Claude Martin, George Caridakis, Laurence Devillers, Kostas Karpouzis, Sarkis Abrilian	Manual Annotation and Automatic Image Processing of Multimodal Emotional Behaviors in TV Interviews.	AIAI	2006	DBLP DOI BibTeX RDF
25	Joachim Neves Rodrigues, Matthias Kamuf, Hugo Hedberg, Viktor Öwall	A Manual on ASIC Front to Back End Design Flow.	MSE	2005	DBLP DOI BibTeX RDF
25	Shino Iwashita, Noriko Ito, Ichiro Kobayashi, Toru Sugimoto, Michio Sugeno	Everyday language help system based on software manual.	SMC (4)	2004	DBLP DOI BibTeX RDF
25	Paul G. Griffiths, R. Brent Gillespie	Shared Control between Human and Machine: Haptic Display of Automation during Manual Control of Vehicle Heading.	HAPTICS	2004	DBLP DOI BibTeX RDF
25	Arnab Bose, Petros A. Ioannou	Analysis of traffic flow with mixed manual and semiautomated vehicles.	IEEE Trans. Intell. Transp. Syst.	2003	DBLP DOI BibTeX RDF
25	Thomas J. Cheatham	A Web-based lab manual for CS 1: an experiment.	SIGCSE	2000	DBLP DOI BibTeX RDF	Internet
23	Sameena Javaid, Safdar Rizvi	Manual and non-manual sign language recognition framework using hybrid deep learning techniques.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
23	Patrick Rossner, Marty Friedrich, Konstantin Felbel, André Dettmann, Angelika C. Bullinger	I Also Care in Manual Driving - Influence of Type, Position and Quantity of Oncoming Vehicles on Manual Driving Behaviour on Straights on Rural Roads.	HCI (51)	2023	DBLP DOI BibTeX RDF
23	Rita Garcia, Chieh-Ju Liao, Ariane Pearce	Read the Debug Manual: A Debugging Manual for CS1 Students.	FIE	2022	DBLP DOI BibTeX RDF
23	Medet Mukushev, Arman Sabyrov, Alfarabi Imashev, Kenessary Koishybay, Vadim Kimmelman, Anara Sandygulova	Evaluation of Manual and Non-manual Components for Sign Language Recognition.	LREC	2020	DBLP BibTeX RDF
23	Mustafa Suphi Erden	Manual Welding with Robotic Assistance Compared to Conventional Manual Welding.	CASE	2018	DBLP DOI BibTeX RDF
23	R. Elakkiya, K. Selvamani	Extricating Manual and Non-Manual Features for Subunit Level Medical Sign Modelling in Automatic Sign Language Classification and Recognition.	J. Medical Syst.	2017	DBLP DOI BibTeX RDF
23	Adrian Ion-Margineanu, Sofie Van Cauter, Diana Maria Sima, Frederik Maes, Stefan Sunaert, Uwe Himmelreich, Sabine Van Huffel	Comparison of manual and semi-manual delineations for classifying glioblastoma multiforme patients based on histogram and texture MRI features.	ESANN	2017	DBLP BibTeX RDF
23	Subhash Chand Agrawal, Anand Singh Jalal, Rajesh Kumar Tripathi	A survey on manual and non-manual sign language recognition for isolated and continuous sign.	Int. J. Appl. Pattern Recognit.	2016	DBLP DOI BibTeX RDF
23	Andreas Haslbeck, Klaus Bengler	Pilots' gaze strategies and manual control performance using occlusion as a measurement technique during a simulated manual flight task.	Cogn. Technol. Work.	2016	DBLP DOI BibTeX RDF
23	Deanne M. Adams, Andrew T. Stull, Mary Hegarty	Effects of Mental and Manual Rotation Training on Mental and Manual Rotation Performance.	Spatial Cogn. Comput.	2014	DBLP DOI BibTeX RDF
23	Hee-Deok Yang, Seong-Whan Lee	Robust sign language recognition by combining manual and non-manual features based on conditional random field and support vector machine.	Pattern Recognit. Lett.	2013	DBLP DOI BibTeX RDF
23	Momoko Nakatani, Takehiko Ohno, Yurika Katagiri, Ai Nakane, Shuji Hashimoto	The Layout for the User-Friendly Manual: Case Study on an Internet Set-Up Manual.	HCI (10)	2011	DBLP DOI BibTeX RDF
23	Deanne M. Adams, Andrew T. Stull, Imme Roewer, Mary Hegarty	Effects of Using Mental and Manual Rotation Training on Mental and Manual Rotation Performance.	CogSci	2011	DBLP BibTeX RDF
23	Hee-Deok Yang, Seong-Whan Lee	Combination of manual and non-manual features for sign language recognition based on conditional random field and active appearance model.	ICMLC	2011	DBLP DOI BibTeX RDF
23	Oya Aran, Thomas Burger, Alice Caplier, Lale Akarun	A belief-based sequential fusion approach for fusing manual signs and non-manual signals.	Pattern Recognit.	2009	DBLP DOI BibTeX RDF
23	Oya Aran	Vision based sign language recognition: Modeling and recognizing isolated signs with manual and non-manual components (Video tabanlı işaret dili tanıma: El ve el dışı hareketler içeren ayrık işaretlerin modellenmesi ve tanınması)		2008	RDF
23	Aude Billard, Sylvain Calinon, Florent Guenter	Discriminative and adaptive imitation in uni-manual and bi-manual tasks.	Robotics Auton. Syst.	2006	DBLP DOI BibTeX RDF
23	L. F. Marshall	Where's the manual?: preparing and producing the software user's manual : R A McGrath Chapman & Hall (1991) 156 pp. £23.50 ISBN 0 442 00425 7.	Inf. Softw. Technol.	1992	DBLP DOI BibTeX RDF
23	D. Q. M. Fay	OCCAM manual gives programming guidance to users at various levels: Inmos Ltd 'OCCAM programming manual' Prentice-Hall International Series in Computer Science, Prentice-Hall, Englewood Cliffs, NJ, USA (January 1984) £9.95 pp 92.	Microprocess. Microsystems	1984	DBLP DOI BibTeX RDF
22	Miguel E. Ruiz, June M. Abbas, David Mark, Stuart Shapiro, Sílvia Barcellos Southwick	UB at GeoCLEF 2006.	CLEF	2006	DBLP DOI BibTeX RDF
22	Lixin Gong, Sayan D. Pathak, David R. Haynor, Paul S. Cho, Yongmin Kim 0001	Parametric shape modeling using deformable superellipses for prostate segmentation.	IEEE Trans. Medical Imaging	2004	DBLP DOI BibTeX RDF
22	L. McClaren	Manuals that meet market demands.	SIGDOC	1989	DBLP DOI BibTeX RDF
22	Roy L. Chafin	User manuals: What does the user really need?	SIGDOC	1982	DBLP DOI BibTeX RDF
22	Cindy Rubio-González, Ben Liblit	Expect the unexpected: error code mismatches between documentation and the real world.	PASTE	2010	DBLP DOI BibTeX RDF	interprocedural dataflow analysis, manual pages, weighted pushdown systems, static program analysis
22	Jean-Marc Colletta, Ramona N. Kunene, Aurélie Venouil, Virginie Kaufmann, Jean-Pascal Simon	Multi-track Annotation of Child Language and Gestures.	Multimodal Corpora	2009	DBLP DOI BibTeX RDF	coding manual, gesture transcription, crosslinguistic comparison, annotation tool, child development
22	Tom Jewett, Wayne E. Dick	The Evolution of a Web Accessibility Testing Protocol.	HCI (7)	2009	DBLP DOI BibTeX RDF	manual evaluation, testing, Web accessibility, WCAG, Section 508
22	Stefan Fenz, Thomas Pruckner, Arman Manutscheri	Ontological Mapping of Information Security Best-Practice Guidelines.	BIS	2009	DBLP DOI BibTeX RDF	information security best-practice guidelines, EBIOS, IT Grundschutz Manual, Ontological mapping, security ontology