Filters








151 Hits in 7.4 sec

Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs [article]

Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits
2011 arXiv   pre-print
In answer-set programming (ASP), the solutions of a problem are encoded in dedicated models, called answer sets, of a logical theory.  ...  As this type of representation is often cumbersome for the user to interpret, tools like ASPVIZ and IDPDraw were developed that allow for visualising answer sets.  ...  In this paper, we describe the system Kara which allows for both visualising interpretations and editing them by manipulating their visualisations. 3 The visualisation functionality of Kara has been  ... 
arXiv:1109.4095v2 fatcat:4zea4ewc25el7llinpbhcmnina

Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs [chapter]

Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits
2013 Lecture Notes in Computer Science  
In answer-set programming (ASP), the solutions of a problem are encoded in dedicated models, called answer sets, of a logical theory.  ...  As this type of representation is often cumbersome for the user to interpret, tools like ASPVIZ and IDPDraw were developed that allow for visualising answer sets.  ...  In this paper, we describe the system Kara which allows for both visualising interpretations and editing them by manipulating their visualisations. 3 The visualisation functionality of Kara has been  ... 
doi:10.1007/978-3-642-41524-1_20 fatcat:d3nlqjykiffgbhuq6vxn6ff24m

The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report [article]

Johannes Oetsch and Jörg Pührer and Hans Tompits
2011 arXiv   pre-print
Further implemented features are support for external solvers and visualisation as well as visual editing of answer sets.  ...  A main goal of SeaLion is to provide a user-friendly environment for supporting a developer to write, evaluate, debug, and test answer-set programs.  ...  , and (iv) the Kara plugin for answer-set visualisation and visual editing.  ... 
arXiv:1109.3989v2 fatcat:hngalryshnbi5b6y3havt6yuqm

SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support

PAULA-ANDRA BUSONIU, JOHANNES OETSCH, JÖRG PÜHRER, PETER SKOČOVSKÝ, HANS TOMPITS
2013 Theory and Practice of Logic Programming  
Moreover, customised visualisation as well as visual editing of answer sets is realised by the Kara plugin ofSeaLion.  ...  In this respect,SeaLionis the first IDE for ASP that provides debugging features that work for real-world answer-set programs and supports the rich languages of modern answer-set solvers.  ...  Finally, we describe our model-driven engineering environment and the Kara plugin for visualisation and visual editing of interpretations in Sections 3.3 and 3.4, respectively.  ... 
doi:10.1017/s1471068413000410 fatcat:yvqsto7vlzfqrjzmrb5lqoke3i

The SeaLion has Landed: An IDE for Answer-Set Programming—Preliminary Report [chapter]

Johannes Oetsch, Jörg Pührer, Hans Tompits
2013 Lecture Notes in Computer Science  
Further implemented features are a documentation generator, support for external solvers, and visualisation as well as visual editing of answer sets.  ...  A main goal of SeaLion is to provide a user-friendly environment for supporting a developer to write, evaluate, debug, and test answer-set programs.  ...  the Kara plugin for answer-set visualisation and visual editing.  ... 
doi:10.1007/978-3-642-41524-1_19 fatcat:yv65ddhv3rdj7aqoncjdwdl2ze

Making sense of Literary Works through Customised Digital Books

Kara Mostefa-Boussena Leila
2018 Arab World English Journal For Translation and Literary Studies  
To address this issue, a customised digitised play was implemented with a group of forty undergraduates reading for a BA of English.  ...  However, technical difficulties were met and a need for continuous technical support proved to be obligatory in case of generalisation and application of this method to all compulsory literary works.  ...  Thesaurus Dictionary defines hypermedia as "a system in which various forms of information, as data, text, graphics, video, and audio, are linked together by a hypertext program".  ... 
doi:10.24093/awejtls/vol2no4.12 fatcat:qdhuowrcyfhg5lvqc4su4wzffi

Use of the Alice visual environment in teaching and learning object-oriented programming

Jeraline Dwarika, M. R. Ruth de Villiers
2015 Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists - SAICSIT '15  
P a g e | ii Student Number: 3371-639-0 I declare that THE USE OF ALICE, A VISUAL ENVIRONMENT FOR TEACHING AND LEARNING OBJECT-ORIENTED PROGRAMMING is my own work, and that all the sources that I have  ...  This study undertook empirical research aimed at analysing learners' interactions with the Alice visual programming environment, which seeks to engage and motivate learners to grasp concepts of OOP, whilst  ...  Kara In contrast to the features provided by Karel the robot, Kara is an educational software system, which allows learners to program the system in a purely graphical manner.  ... 
doi:10.1145/2815782.2815815 dblp:conf/saicsit/DwarikaV15 fatcat:24egztkvkze7fiv65d2bu4run4

Human factors in dairy industry process control for energy reduction

Charlotte Challis, Michael Tierney, Andrew Todd, Eddie Wilson
2017 Journal of Cleaner Production  
The operators at the site can be seen to have a high level of skill in managing conflicting control priorities, interpreting proc ess data and using their judgement to intervene and make improvements.  ...  Full terms of use are available: Abstract-Reduction of CO2 emissions is a challenge in all sectors and in particular the dairy processing industry.  ...  This work was supported by the University of Bristol Systems Centre and the EPSRC funded Industrial Doctorate Centre in Systems (Grant EP/G037353/1) and Verco.  ... 
doi:10.1016/j.jclepro.2017.09.121 fatcat:kpczzweql5gtpkb52vcn76r6om

Undermining the gendered genre: Kabuki in manga

Olga Antononoka
2021 Mutual Images Journal  
In this case, Kabuki theatre as a theme employs a variety of gender fluid characters and situations.  ...  Examples, such as Kabukumon by Tanaka Akio and David Miyahara (Morning 2008-2011), or Kunisaki Izumo no jijō by Hirakawa Aya (Weekly Shōnen Sunday 2010-2014) and a variety of other manga, anime and light  ...  While it may seem that the answer lies between the legs of the gynoid persocom (that is, the truth lies in female anatomy), Chobits does not allow for such a simple answer.  ... 
doi:10.32926/2021.10.ant.under fatcat:3w4iou3m7nbbba6orli6ppilki

Program book

2010 2010 IEEE 26th International Conference on Data Engineering Workshops (ICDEW 2010)  
, USA The paper addresses the problem of visualizing large scale RDF data via a 3-S approach, namely, by using, 1) Subsets: to present only relevant data for visualisation; both static and dynamic subsets  ...  Code generation diminishes the bloat of higher-level programming abstractions necessary for implementing generic, interpreted, SQL query engines.  ...  SMDB'10 will be a one-day workshop where accepted papers are presented in an informal and interactive setting. Participation in the workshop is not limited to authors of accepted papers.  ... 
doi:10.1109/icdew.2010.5452773 fatcat:oyq2tujbvjfpxjlyixux5q57vu

Proceedings of the 5th International Conference on Live Interfaces

Øyvind Brandtsegg, Daniel Formo
2020 Zenodo  
Collected proceedings from the 5th ICLI, edited by Brandtsegg and Formo.  ...  Thanks also to Kara Ayla Wolf for her help in proofreading.  ...  The artists/engineeers involved in the case studies are: Andi Otto, Frank Baldé (for the STEIM software and Michel A natural immediate prospect will be the exploration of a variety of input devices and  ... 
doi:10.5281/zenodo.3928018 fatcat:z2yfhor2pngmxawzlzgl22y2fq

Text as Algorithm and as Process [chapter]

Paul Eggert
2010 Text and Genre in Reconstruction  
Thanks are due to the Institute of English Studies (to its Director, for whom the dedication) and to the Centre for Computing in the Humanities, King's College London, and its Director, Professor Harold  ...  Short, for unstinting support of the Seminar from which most of the essays in this volume originated.  ...  He described the eρectronic edition as a ςuρti-ςedia data base, giving access to facsimiles, to various transcriptions, to interpretation tools, like dictionaries or programs for automatic comparison of  ... 
doi:10.2307/j.ctt5vjtd9.12 fatcat:kegc3rsth5eydj3r3m257xv67i

Faster decline and higher variability in the sea ice thickness of the marginal Arctic seas when accounting for dynamic snow cover

Robbie D. C. Mallett, Julienne C. Stroeve, Michel Tsamados, Jack C. Landy, Rosemary Willatt, Vishnu Nandan, Glen E. Liston
2021 The Cryosphere  
Higher variability and faster decline in the sea ice thickness of the marginal seas has wide implications for our understanding of the polar climate system and our predictions for its change.  ...  Mean sea ice thickness is a sensitive indicator of Arctic climate change and is in long-term decline despite significant interannual variability.  ...  This is the case for all months in the Laptev and Kara seas and 4 of 7 months in the Chukchi and Barents sea.  ... 
doi:10.5194/tc-15-2429-2021 fatcat:roibk5l44fg6dh5aqgkmvmq6pe

From the library catalogue to the Semantic Web - The conversion process from MARC 21 to BIBFRAME 2.0

Friedel Geeraert, Https://Orcid.Org/0000-0002-5780-2763
2018 Figshare  
In the second part (chapters 5-6) a practical approach is taken to study the following researchquestion: 'What are the implications of the implementation of BIBFRAME on an organisational and operational  ...  The discussion about the operational implications is based on the analysis of the transformation of two sets of bibliographic descriptions inMARC XML stemming from two libraries: the National Library of  ...  The first phase consists of three practical steps aimed at preparing MARC records for transformation: 1) setting up a system for looking up and inserting URIs in newly created or edited MARC records 2)  ... 
doi:10.6084/m9.figshare.6731129.v1 fatcat:wuorymfzlfffjch7oeqznweoai

Tissue biomechanics as a modulator of lymphatic function

Daniela Negrini, Andrea Moriondo
2011 Physiology News  
Afferent paths for visceral reflexes. Physiol Rev 1, 477-522. Widdicombe JG (1954a). Respiratory reflexes from the trachea and bronchi of the cat. J Physiol 123, 55-70. Widdicombe JG (1954b).  ...  Receptors in the trachea and bronchi of the cat. J Physiol 123, 71-104. Widdicombe JG (1954c). Respiratory reflexes excited by inflation of the lungs.  ...  It is worth pointing out that moderators quite rightly avoided editing questions for grammatical errors, and left the scientists to interpret what the pupils meant.  ... 
doi:10.36866/pn.84.30 fatcat:fwo5teutvjbw5h7pds2l7nbneu
« Previous Showing results 1 — 15 out of 151 results