Results 261 to 270 of about 3,706,736 (294)

Developing and Maintaining a WordNet: Procedures and Tools

Proceedings of the Seventh Global Wordnet Conference, 2014
Miljana Mladenovic, Jelena Mitrovic, Cvetana Krstev   +2 more
openaire   +2 more sources

Tools and procedures

2018
P. Novak, V. Guinot, A. Jeffrey, D.E. Reeve   +3 more
openaire   +1 more source

A procedure and tools for transition engineering

ACM SIGSOFT Software Engineering Notes, 1990
Abe Lockman, Jojhn Salasin
openaire   +1 more source

Applying SDL Specifications and Tools to the Verification of Procedures

2001
Verification of operating procedures (that is, specifications of manual control actions) by model checking has been discussed in [16]. The modelling language Promela and the model checker Spin were used in that report. In order to be able to apply model checking in a wider scope, modelling languages with graphical interface and verification tools used ...
openaire   +1 more source

Danesh: Interactive Tools for Understanding Procedural Content Generators

IEEE Transactions on Games, 2022
Michael Cook, Simon Colton, Jeremy Gow
exaly  

Evaluating Mixed-Initiative Procedural Level Design Tools Using a Triple-Blind Mixed-Method User Study

IEEE Transactions on Games, 2022
Alma A.M. Rahat, Sean Peter Walton
exaly  

Rating Tools and Procedures

2020
openaire   +1 more source

Selected Methods, Tools and Procedures

2023
openaire   +1 more source

TrainAR: An Open-Source Visual Scripting-Based Authoring Tool for Procedural Mobile Augmented Reality Trainings

Information (Switzerland), 2023
Thies Pfeiffer
exaly  

Inter-Rater Reliability of the Tracking and Reporting Outcomes of Procedural Sedation Tool

Journal of Radiology Nursing, 2021
Katina Corones-Watkins, Aaron Conway
exaly