Search results for "notation"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Haotian Xia, Rhys Tracy, Yun Zhao 0001, Erwan Fraisse, Yuan-Fang Wang, Linda R. Petzold	VREN: Volleyball Rally Dataset with Expression Notation Language.	ICKG	2022	DBLP DOI BibTeX RDF
14	Misbah Mehboob Awan, Wasi Haider Butt, Muhammad Waseem Anwar, Farooque Azam	Seamless Runtime Transformations from Natural Language to Formal Methods - A usecase of Z-Notation.	SoSE	2022	DBLP DOI BibTeX RDF
14	Flavio Corradini, Arianna Fedeli, Andrea Polini, Barbara Re 0001	Towards a Digital Twin Modelling Notation.	DASC/PiCom/CBDCom/CyberSciTech	2022	DBLP DOI BibTeX RDF
14	Alex Rogozhnikov	Einops: Clear and Reliable Tensor Manipulations with Einstein-like Notation.	ICLR	2022	DBLP BibTeX RDF
14	Mark A. T. Mulder, Rick Mulder, Fiodor Bodnar	Towards a DEMO Description in Simplified Notation Script.	EEWC	2022	DBLP DOI BibTeX RDF
14	Michael Homer	Interleaved 2D Notation for Concatenative Programming.	PAINT@SPLASH	2022	DBLP DOI BibTeX RDF
14	Flavio Corradini, Arianna Fedeli, Fabrizio Fornari 0001, Andrea Polini, Barbara Re 0001	DTMN a Modelling Notation for Digital Twins.	EDOC Workshops	2022	DBLP DOI BibTeX RDF
14	Jack Brett, Christos Gatzidis, Tom Davis, Panos Amelidis	The Crypt of Notation: Rote Learning through Video Games For Adult Beginner Keyboard Learners.	FDG	2022	DBLP DOI BibTeX RDF
14	Paul A. Akiki, Andrea Zisman, Amel Bennaceur	SERIES: A Task Modelling Notation for Resource-driven Adaptation.	ICEIS (2)	2022	DBLP DOI BibTeX RDF
14	Luís Cruz-Filipe, Anne Madsen, Fabrizio Montesi, Marco Peressotti	Modular Choreographies: Bridging Alice and Bob Notation to Java.	Microservices	2022	DBLP DOI BibTeX RDF
14	Zdena Dobesová	Cognition of Graphical Notation for Processing Data in ERDAS IMAGINE.	ISPRS Int. J. Geo Inf.	2021	DBLP DOI BibTeX RDF
14	Ioannis Routis, Cleopatra Bardaki, Georgia Dede, Mara Nikolaidou, Thomas Kamalakis, Dimosthenis Anagnostopoulos	CMMN evaluation: the modelers' perceptions of the main notation elements.	Softw. Syst. Model.	2021	DBLP DOI BibTeX RDF
14	Ireneusz Czarnowski, Piotr Jedrzejowicz	Supervised Classification Problems-Taxonomy of Dimensions and Notation for Problems Identification.	IEEE Access	2021	DBLP DOI BibTeX RDF
14	Daniel Schneider 0011, Nikolaus Korfhage, Markus Mühling, Peter Lüttig, Bernd Freisleben	Automatic Transcription of Organ Tablature Music Notation with Deep Neural Networks.	Trans. Int. Soc. Music. Inf. Retr.	2021	DBLP DOI BibTeX RDF
14	Santiago Schez-Sobrino, María Ángeles García, Carmen Lacave, Ana I. Molina, Carlos Glez-Morcillo, David Vallejo, Miguel A. Redondo	A modern approach to supporting program visualization: from a 2D notation to 3D representations using augmented reality.	Multim. Tools Appl.	2021	DBLP DOI BibTeX RDF
14	Gabriel Sebastián, Ricardo Tesoriero, José A. Gallud	A domain specific language notation for a language learning activity generation tool.	Multim. Tools Appl.	2021	DBLP DOI BibTeX RDF
14	Valentin Gomez-Jauregui, Harrison Hogg, Cristina Manchado del Val, César Otero Gonzalez	GomJau-Hogg's Notation for Automatic Generation of k-Uniform Tessellations with ANTWERP v3.0.	Symmetry	2021	DBLP DOI BibTeX RDF
14	Varun M. Tayur, R. Suchithra	Modelling context awareness in internet of things with business process model and notation 2.0 extensions.	Int. J. Adv. Intell. Paradigms	2021	DBLP DOI BibTeX RDF
14	Eda Ozcan, Damla Topalli, Gül Tokdemir, Nergiz Ercil Cagiltay	A user task design notation for improved software design.	PeerJ Comput. Sci.	2021	DBLP DOI BibTeX RDF
14	Dirk Ostwald, Franziska Usée	An induction proof of the backpropagation algorithm in matrix notation.	CoRR	2021	DBLP BibTeX RDF
14	Liqiang Lu, Naiqing Guan, Yuyue Wang 0001, Liancheng Jia, Zizhang Luo, Jieming Yin, Jason Cong, Yun Liang 0001	TENET: A Framework for Modeling Tensor Dataflow Based on Relation-centric Notation.	CoRR	2021	DBLP BibTeX RDF
14	Andreas Kirsch 0002, Yarin Gal	A Practical & Unified Notation for Information-Theoretic Quantities in ML.	CoRR	2021	DBLP BibTeX RDF
14	Christiano Braga, Narciso Martí-Oliet	B Maude: A formal executable environment for Abstract Machine Notation Descriptions.	CoRR	2021	DBLP BibTeX RDF
14	David Chiang 0001, Alexander M. Rush, Boaz Barak	Named Tensor Notation.	CoRR	2021	DBLP BibTeX RDF
14		Piano Performance and Music Automatic Notation Algorithm Teaching System Based on Artificial Intelligence.	Mob. Inf. Syst.	2021	DBLP DOI BibTeX RDF
14	Luise Pufahl	Business Process Model and Notation.	Prozessmanagement und Process-Mining - Grundlagen	2021	DBLP BibTeX RDF
14	Ana-Maria Ghiran, Robert Buchmann	Engineering Semantics-driven Secondary Notation for Domain-specific Conceptual Modeling.	AMCIS	2021	DBLP BibTeX RDF
14	Andreas Speck, Aljoscha Jagenow, Melanie Windrich	Decision Model and Notation for Describing Variability in Business Process Product Lines.	ENASE	2021	DBLP DOI BibTeX RDF
14	Sandi Baressi Segota, Nikola Andelic, Ivan Lorencin, Jelena Musulin, Daniel Stifanic, Zlatan Car	Preparation of Simplified Molecular Input Line Entry System Notation Datasets for use in Convolutional Neural Networks.	BIBE	2021	DBLP DOI BibTeX RDF
14	Pedro Boareto, Letícia K. Mantovani, Juliana Safanelli, Rafaela B. Liberato, Carla H. C. Moro, Claudia M. C. Moro, Eduardo de Freitas Rocha Loures, Eduardo Alves Portela Santos	Decision-Making Support in Stroke Diagnosis Process: An Approach Based on the PROMETHEE Method and Decision Model Notation.	MedInfo	2021	DBLP DOI BibTeX RDF
14	Robert A. Jenders	Exploration of the Decision Model and Notation (DMN) Standard for Representation of Knowledge Bases Encoded in the Arden Syntax.	MedInfo	2021	DBLP DOI BibTeX RDF
14	Heinrich Pettenpohl, Daniel Tebernum, Boris Otto	WFDU-net: A Workflow Notation for Sovereign Data Exchange.	DATA	2021	DBLP DOI BibTeX RDF
14	Honoré Hounwanou, Laila Boumlik, Mohamed Mejri	Toward the Formalization of Business Process Model and Notation.	SoMeT	2021	DBLP DOI BibTeX RDF
14	Yoann Dupont, Carlos-Emiliano González-Gallardo, Gaël Lejeune, Alice Millour, Jean-Baptiste Tanguy	QUEER@DEFT2021 : Identification du Profil Clinique de Patients et Notation Automatique de Copies d'Étudiants (QUEER@DEFT2021 : Patients Clinical Profile Identification and Automatic Student Grading ).	TALN (DEFT)	2021	DBLP BibTeX RDF
14	Nassim Bout, Rachid Khazaz, Ali Azougaghe, Mohamed El-Hfid, Mounia Abik, Hicham Belhadaoui	Implementation of the Business Process Model and Notation in the Modelling of Patient's Clinical Workflow in Oncology.	ISDA	2021	DBLP DOI BibTeX RDF
14	Johannes Tenschert, Sebastian Dunzer, Martin Matzner	Notation-agnostic Subprocess Modeling for Adaptive Case Management.	Wirtschaftsinformatik	2021	DBLP BibTeX RDF
14	Divya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay	A Visual Notation for Succinct Program Traces.	VL/HCC	2021	DBLP DOI BibTeX RDF
14	Hwiyeol Jo, Dongyeop Kang, Andrew Head, Marti A. Hearst	Modeling Mathematical Notation Semantics in Academic Papers.	EMNLP (Findings)	2021	DBLP DOI BibTeX RDF
14	Juan Carlos Martinez	Extending Music Notation as a Programming Language for Interactive Music.	IMX	2021	DBLP DOI BibTeX RDF
14	Pantelis Natsiavas, Thanos G. Stavropoulos, Antonios Pliatsios, Haralampos Karanikas, George I. Gavriilidis, Vlasios K. Dimitriadis, George Nikolaidis, Spiros Nikolopoulos, Petros Skapinakis, Eleytherios Thireos, Ioannis Kompatsiaris	Using Business Process Management Notation to Model Therapeutic Prescription Protocols: The PrescIT Approach.	MIE	2021	DBLP DOI BibTeX RDF
14	Liqiang Lu, Naiqing Guan, Yuyue Wang 0001, Liancheng Jia, Zizhang Luo, Jieming Yin, Jason Cong, Yun Liang 0001	TENET: A Framework for Modeling Tensor Dataflow Based on Relation-centric Notation.	ISCA	2021	DBLP DOI BibTeX RDF
14	Keerthikumara Devarajegowda, Endri Kaja, Sebastian Siegfried Prebeck, Wolfgang Ecker	ISA Modeling with Trace Notation for Context Free Property Generation.	DAC	2021	DBLP DOI BibTeX RDF
14	Nungki Selviandro	Metamodel-driven development of an assurance case notation		2021	RDF
14	Ngoc-Tu Chau, Souhwan Jung	Enhancing Notation-Based Code Cloning Method With an External-Based Identifier Model.	IEEE Access	2020	DBLP DOI BibTeX RDF
14	Nick Bassiliades	A Tool for Transforming Semantic Web Rule Language to SPARQL Infererecing Notation.	Int. J. Semantic Web Inf. Syst.	2020	DBLP DOI BibTeX RDF
14	Martin Kopecky, Hana Tomásková	The Business Process Model and Notation Used for the Representation of Alzheimer's Disease Patients Care Process.	Data	2020	DBLP DOI BibTeX RDF
14	Hana Tomásková, Martin Kopecky	Specialization of Business Process Model and Notation Applications in Medicine - A Review.	Data	2020	DBLP DOI BibTeX RDF
14	Georgios A. Tritsaris, Yiqi Xie, Alexander M. Rush, Stephen Carr, Marios Mattheakis, Efthimios Kaxiras	LAN: A Materials Notation for Two-Dimensional Layered Assemblies.	J. Chem. Inf. Model.	2020	DBLP DOI BibTeX RDF
14	Philip V. Toukach, Ksenia S. Egorova	New Features of Carbohydrate Structure Database Notation (CSDB Linear), As Compared to Other Carbohydrate Notations.	J. Chem. Inf. Model.	2020	DBLP DOI BibTeX RDF
14	Hana Tomásková, Gerhard-Wilhelm Weber	Approaches combining methods of Operational Research with Business Process Model and Notation: A systematic review.	PeerJ Comput. Sci.	2020	DBLP DOI BibTeX RDF
14	Azlan Iqbal	An Algorithm for Automatically Updating a Forsyth-Edwards Notation String Without an Array Board Representation.	CoRR	2020	DBLP BibTeX RDF
14	Kacper Topolnicki	Monads and "do" notation in the Wolfram Language.	CoRR	2020	DBLP BibTeX RDF
14	Christian Janiesch, Marcus Fischer, Axel Winkelmann, Valentin Nentwich	Specifying Autonomy in the Internet of Things: The Autonomy Model and Notation.	CoRR	2020	DBLP BibTeX RDF
14	Theresa Elise Wege, Sophie Batchelor, Matthew Inglis, Honali Mistry, Dirk Schlimm	Iconicity in Mathematical Notation: Commutativity and Symmetry.	J. Numer. Cogn.	2020	DBLP DOI BibTeX RDF
14	Alexander Mayrhofer, Jim Hague	The Internationalized Deliberately Unreadable Network NOtation (I-DUNNO).	RFC	2020	DBLP DOI BibTeX RDF
14	Emanuel Trunzer, Anne Wullenweber, Birgit Vogel-Heuser	Graphical modeling notation for data collection and analysis architectures in cyber-physical systems of systems.	J. Ind. Inf. Integr.	2020	DBLP DOI BibTeX RDF
14	Frank T. Bergmann, Tobias Czauderna, Ugur Dogrusoz, Adrien Rougny, Andreas Dräger, Vasundra Touré, Alexander Mazein, Michael L. Blinov, Augustin Luna	Systems biology graphical notation markup language (SBGNML) version 0.3.	J. Integr. Bioinform.	2020	DBLP DOI BibTeX RDF
14	Katherine Ye, Wode Ni, Max Krieger, Dor Ma'ayan, Jenna Wise, Jonathan Aldrich, Joshua Sunshine, Keenan Crane	Penrose: from mathematical notation to beautiful diagrams.	ACM Trans. Graph.	2020	DBLP DOI BibTeX RDF
14	Peter C.-H. Cheng	A Sketch of a Theory and Modelling Notation for Elucidating the Structure of Representations.	Diagrams	2020	DBLP DOI BibTeX RDF
14	Jinsuk Baek, Munene W. Kanampiu, Byeong Hyun Ko	A Set Notation Configuration CoAP Scheme for Internet of Things.	ICACT	2020	DBLP DOI BibTeX RDF
14	Yusuf Moosa Motara	A structural modeling notation for the typed functional paradigm.	SAC	2020	DBLP DOI BibTeX RDF
14	Misbah Mehboob Awan, Farooque Azam, Muhammad Waseem Anwar, Yawar Rasheed	Formal Requirements Specification: Z Notation Meta Model Facilitating Model to Model Transformation.	ICSIE	2020	DBLP DOI BibTeX RDF
14	Rachid Kherrazi	Using tabular notation to support model based testing: A practical experience using STTSpec and Spec Explorer.	ICST Workshops	2020	DBLP DOI BibTeX RDF
14	Lidiane Oliveira dos Santos, Eduardo Silva, Thaís Batista, Jair C. Leite, Everton Cavalcante, Flávio Oquendo	Evaluating a SysML-based Graphical Notation for Modeling Internet of Things System Architectures.	WF-IoT	2020	DBLP DOI BibTeX RDF
14	Manuel Villarreal, Joan-Andreu Sánchez	Handwritten Music Recognition Improvement through Language Model Re-interpretation for Mensural Notation.	ICFHR	2020	DBLP DOI BibTeX RDF
14	Antonio Ríos-Vila, Jorge Calvo-Zaragoza, José M. Iñesta	Exploring the two-dimensional nature of music notation for score recognition with end-to-end approaches.	ICFHR	2020	DBLP DOI BibTeX RDF
14	Ben Roelens, Dominik Bork	An Evaluation of the Intuitiveness of the PGA Modeling Language Notation.	BPMDS/EMMSAD@CAiSE	2020	DBLP DOI BibTeX RDF
14	Robert Spence, Leah Redmond	A New Notation for Interactive Systems.	AVI	2020	DBLP DOI BibTeX RDF
14	Ian Arawjo	To Write Code: The Cultural Fabrication of Programming Notation and Practice.	CHI	2020	DBLP DOI BibTeX RDF
14	Sebastian Heger, Lynne Valett, Hildegard Thim, Jürgen Schröder, Henner Gimpel	Value Stream Model and Notation - Digitale Transformation von Wertströmen.	Wirtschaftsinformatik (Zentrale Tracks)	2020	DBLP DOI BibTeX RDF
14	Nungki Selviandro, Richard Hawkins, Ibrahim Habli	A Visual Notation for the Representation of Assurance Cases Using SACM.	IMBSA	2020	DBLP DOI BibTeX RDF
14	Katharine Sawrey, Jenny Yun-Chen Chan, Erin Ottmar	Equivalence Tasks in a Digital Algebraic Notation System Promotes Performance in Middle School Mathematics.	ICLS	2020	DBLP BibTeX RDF
14	Rahul Karmakar, Bidyut Biman Sarkar, Nabendu Chaki	Event Ordering Using Graphical Notation for Event-B Models.	CISIM	2020	DBLP DOI BibTeX RDF
14	Fredrik Nordvall Forsberg, Chuangjie Xu, Neil Ghani	Three equivalent ordinal notation systems in cubical Agda.	CPP	2020	DBLP DOI BibTeX RDF
14	Hiroaki Ozaki, Gaku Morio, Yuta Koreeda, Terufumi Morishita, Toshinori Miyoshi	Hitachi at MRP 2020: Text-to-Graph-Notation Transducer.	CoNLL Shared Task	2020	DBLP DOI BibTeX RDF
14	Asma Ouarhim, Jihane Lakhrouit, Karim Baïna	Business Process Modeling Notation Extension for Real Time Handling - Application to Novel Coronavirus (2019-nCoV) management process.	Cloudtech	2020	DBLP DOI BibTeX RDF
14	Mitsuhiro Okada, Yuta Takahashi	A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems.	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
14	Tobias Schwarz, Wardah Mahmood, Thorsten Berger	A Common Notation and Tool Support for Embedded Feature Annotations.	SPLC (B)	2020	DBLP DOI BibTeX RDF
14	Faruk Hasic, Carl Corea, Jonas Blatt, Patrick Delfmann, Estefanía Serral	A Tool for the Verification of Decision Model and Notation (DMN) Models.	RCIS	2020	DBLP DOI BibTeX RDF
14	Jacob Thiede	Tap Dance as Medium for Composition: Notation and Technology.	MOCO	2020	DBLP DOI BibTeX RDF
14	Twila Bakker	That's Not Vintage, It's Obsolete: Steve Reich's early e-sketches as a case study of current issues with early historical music notation software and why it matters.	DH	2020	DBLP BibTeX RDF
14	Adela del-Río-Ortega, Manuel Resinas, Amador Durán 0001, Beatriz Bernárdez 0001, Antonio Ruiz-Cortés, Miguel Toro	Visual ppinot: A Graphical Notation for Process Performance Indicators.	Bus. Inf. Syst. Eng.	2019	DBLP DOI BibTeX RDF
14	Dennis A. Martillano, Iyan Oliver A. Alvarez, Mark Isaiah O. Cataquian, Gabriel Jose S. Santiago, Ken Michael M. Sevilla	Tactica: An Android-Based Low-Cost Assistive Tactile Device on Basic Braille Notation Reading for Visually Impaired Students in SPED Centers with IoT Technology.	J. Commun.	2019	DBLP DOI BibTeX RDF
14	Marc Hesenius, Volker Gruhn	GestureCards: A Hybrid Gesture Notation.	Proc. ACM Hum. Comput. Interact.	2019	DBLP DOI BibTeX RDF
14	Jorge Calvo-Zaragoza, Alejandro H. Toselli, Enrique Vidal 0001	Handwritten Music Recognition for Mensural notation with convolutional recurrent neural networks.	Pattern Recognit. Lett.	2019	DBLP DOI BibTeX RDF
14	Agnieszka Bier, Zdzislaw Sroczynski	Rule based intelligent system verbalizing mathematical notation.	Multim. Tools Appl.	2019	DBLP DOI BibTeX RDF
14	Christian Janiesch, Marcus Fischer, Axel Winkelmann, Valentin Nentwich	Specifying autonomy in the Internet of Things: the autonomy model and notation.	Inf. Syst. E Bus. Manag.	2019	DBLP DOI BibTeX RDF
14	Mateja Kocbek, Gregor Polancic, Jernej Huber, Gregor Jost	Semiotic clarity of Case Management Model and Notation (CMMN).	Comput. Stand. Interfaces	2019	DBLP DOI BibTeX RDF
14	Joanne Manhães Netto, Tatiana Barboza, Fernanda Baião, Flávia Maria Santoro	KiPN: a visual notation for knowledge-intensive processes.	Int. J. Bus. Process. Integr. Manag.	2019	DBLP DOI BibTeX RDF
14	Lucjan Janowski, Jakub Nawala, Werner Robitza, Zhi Li 0001, Lukás Krasula, Krzysztof Rusek	Notation for Subject Answer Analysis.	CoRR	2019	DBLP BibTeX RDF
14	Tianwei Gong, Baichen Li, Limei Teng, Zijun Zhou, Xuefei Gao, Ting Jiang	The Association Between Number Magnitude and Space Is Dependent on Notation: Evidence From an Adaptive Perceptual Orientation Task.	J. Numer. Cogn.	2019	DBLP DOI BibTeX RDF
14	Jorge Calvo-Zaragoza, Alejandro H. Toselli, Enrique Vidal 0001	Hybrid hidden Markov models and artificial neural networks for handwritten music recognition in mensural notation.	Pattern Anal. Appl.	2019	DBLP DOI BibTeX RDF
14	Birger Lantow, Johannes Wichmann, Paul Herzog	Method and Notation Application for Case Model Creation in the Social Sector.	Complex Syst. Informatics Model. Q.	2019	DBLP DOI BibTeX RDF
14	Hasan Salim Alkaf, Jameleddine Hassine, Taha Binalialhag, Daniel Amyot	An automated change impact analysis approach for User Requirements Notation models.	J. Syst. Softw.	2019	DBLP DOI BibTeX RDF
14	Adrien Rougny, Vasundra Touré, Stuart L. Moodie, Irina Balaur, Tobias Czauderna, Hanna Borlinghaus, Ugur Dogrusoz, Alexander Mazein, Andreas Dräger, Michael L. Blinov, Alice Villéger, Robin Haw, Emek Demir, Huaiyu Mi, Anatoly A. Sorokin, Falk Schreiber, Augustin Luna	Systems Biology Graphical Notation: Process Description language Level 1 Version 2.0.	J. Integr. Bioinform.	2019	DBLP DOI BibTeX RDF
14	Hiroki Shibata, Yasufumi Takama	Index-Based Notation for Random Variable and Probability Space.	J. Adv. Comput. Intell. Intell. Informatics	2019	DBLP DOI BibTeX RDF
14	Toni Taipalus	Teaching Tip: A Notation for Planning SQL Queries.	J. Inf. Syst. Educ.	2019	DBLP BibTeX RDF
14	Vitor Krasnobayev, Alexandr Kuznetsov, Mihael Zub, Kateryna Kuznetsova	Methods for Comparing Numbers in Non-Positional Notation of Residual Classes.	CMIS	2019	DBLP BibTeX RDF
14	Isamu Hasegawa, Tomoyuki Yokogawa	Automatic Verification for Node-Based Visual Script Notation Using Model Checking.	ICFEM	2019	DBLP DOI BibTeX RDF
14	Abid Jamil, Zeshan Murtza, Muhammad Kashif Nazir, Muhammad Waseem, Zikra Ghulam, Rao Umer Farooq	A Generic Formal Specification of an Infinite Runner Games for Handheld Devices Using Z-Notation.	ICCCS	2019	DBLP DOI BibTeX RDF