Filters








15 Hits in 9.3 sec

Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC [article]

Yuhui Lin, Gudmund Grov, Rob Arthan
2016 arXiv   pre-print
This can make a tactic hard to understand and hence difficult to to debug and maintain for experts and non-experts alike: one often has to tear apart complex combinations of lower level tactics manually  ...  The goal of this work is to improve understandability and maintainability of tactics.  ...  The next challenge is to continue our work with D-RisQ [43] on their 10K LoC tactic.  ... 
arXiv:1610.05593v2 fatcat:tbsaymlqnnf47pdmjhthxpkrky

Understanding and maintaining tactics graphically OR how we learned that a diagram can be worth more than 10K LoC

YuHui Lin, Gudmund Grov, Rob Arthan
2016 Journal of Formalized Reasoning  
This can make a tactic hard to understand and hence difficult to to debug and maintain for experts and non-experts alike: one often has to tear apart complex combinations of lower level tactics manually  ...  The goal of this work is to improve understandability and maintainability of tactics.  ...  The next challenge is to continue our work with D-RisQ [43] on their 10K LoC tactic.  ... 
doi:10.6092/issn.1972-5787/6298 dblp:journals/jfrea/LinGA16 fatcat:iqztrkhotveataxdvb6ernsk7y

Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC

Yuhui Lin, Gudmund Grov
unpublished
This can make a tactic hard to understand and hence difficult to to debug and maintain for experts and non-experts alike: one often has to tear apart complex combinations of lower level tactics manually  ...  The goal of this work is to improve understandability and maintainability of tactics.  ...  The next challenge is to continue our work with D-RisQ [43] on their 10K LoC tactic.  ... 
fatcat:o2xxhd3i3be7pbflube6un3hsm

Some empirical results concerning the modelling of industrial distribution systems

DR Atkins
1973 Omega : The International Journal of Management Science  
What opposition can we expect to this expansion and how should we counter it? ti:~·.r;a.  ...  To understand such behaviour these perceptlon~or attitudes must be measured, and this implies that these sources of info:rm£;tion are likely to be more relevent bere than in more stable situations.  ...  (ii) Here we are at a local optimum (iii) This we treat as case A and movelOIlBtl"e axis • •..  ... 
doi:10.1016/0305-0483(73)90051-0 fatcat:2wtcwim5gfae5njchb6n36w4j4

Rethinking the application-database interface

Alvin Cheung
2014 Proceedings of the 1st ACM International Workshop on Programmable file systems - PFSW '14  
We are not aware of any prior techniques that can be used to infer join queries from imperative code, and we believe that more optimizations can be devised to speed up the synthesis process for such cases  ...  Of course, this eager strategy can sometimes result in objects being fetched that are not needed, and, in some cases, can actually incur more round trips than lazy fetching.  ...  In comparison, SLOTH does not require program state to be distributed.  ... 
doi:10.1145/2603941.2603947 dblp:conf/hpdc/Cheung14 fatcat:ey7zthb6vnhpjp6xtd2e6u25ma

Graph Neural Networks for Natural Language Processing: A Survey [article]

Lingfei Wu, Yu Chen, Kai Shen, Xiaojie Guo, Hanning Gao, Shucheng Li, Jian Pei, Bo Long
2021 arXiv   pre-print
Although text inputs are typically represented as a sequence of tokens, there isa rich variety of NLP problems that can be best expressed with a graph structure.  ...  We further introducea large number of NLP applications that are exploiting the power of GNNs and summarize thecorresponding benchmark datasets, evaluation metrics, and open-source codes.  ...  It holds the hypothesis that the latent features can be represented by sets of variables that are more tightly coupled within groups than across groups.  ... 
arXiv:2106.06090v1 fatcat:zvkhinpcvzbmje4kjpwjs355qu

Places of Power and Memory in Mesoamerica's Past and Present How Sites, Toponyms and Landscapes Shape History and Remembrance Places of Power and Memory in Mesoamerica's Past and Present How Sites, Toponyms and Landscapes Shape History and Remembrance Estudios Indiana

Daniel Graña-Behrens
unpublished
in print form and online with free and open access.  ...  and historical.  ...  Our warm thanks to the Proyecto Arqueológico Calakmul and its director, Ramón Carrasco, for permission to produce a drawing of Fragment 7 of Vase 23.  ... 
fatcat:d4u7xpathvevjogwnvpuyowtza

Performance and Portability of Cloud-based Computer vision: A Software Case Study [article]

Soheil Salehian-Dardashti, University Of Calgary, University Of Calgary, Mahmood Moussavi, Behrouz Homayoun Far
2018
The proliferation of visual sensors in terms variety and magnitude, has commenced an era where rich extensive visual data can be extracted and analyzed with the goal of a better understanding of the world  ...  A generalizable message based architecture is proposed and implemented for a subclass of computer vision algorithms as a stepping stone for future analysis of other computational patterns that are associated  ...  It can be observed that Frame Grabber is another critical part of the system with a higher WP than API Server component.  ... 
doi:10.11575/prism/31860 fatcat:qhouzcqr6jg2bfcny7totyvz5q

Dagstuhl Reports, Volume 7, Issue 3, March 2017, Complete Issue [article]

2017
Trust is tied to identity and verification, but we do not really understand how. We will learn more as Blockchain grows. There is an historical analog.  ...  How should topics be taught? How to best use the Internet for teaching how the Internet works? How can we more easily 'mesh' teaching materials?  ...  Previous analyses have shown, that Bitcoin cannot support more than 100 transactions per second, e.g., [2, 5] .  ... 
doi:10.4230/dagrep.7.3 fatcat:6vepxdlxhbh2bfcjq45gkxqboe

Visual analytics of social media for situation awareness [article]

Dennis Thom, Universität Stuttgart, Universität Stuttgart
2015
As a descendant of the more general field of informatio [...]  ...  However, the data sizes that need to be processed in order to identify relevant entries, produce comprehensible overviews, and detect anomalous patterns pose one of the most challenging analytics problems  ...  Although the method can be more efficient than corpus labeling, the users still have no insight how the training progresses, how their decisions influence the model, and how their own conception of the  ... 
doi:10.18419/opus-3540 fatcat:z2nik4qydnbofid4jh5wp4xbgu

Summarizing Text for Intelligent Communication Dagstuhl Seminar

B Endressniggemeyer, J Hobbs, K Jones
1993 unpublished
References In my view, text summarizing presupposes a thorough understanding of the text, which, to a certain extent, will result in text interpretation.  ...  Thus, text summarizing cannot be completely decoupled from text interpretation, unless one has a very super cial approach to summarizing.  ...  For example, movement events can be more rapidly displayed and perceived graphically than textually.  ... 
fatcat:3cejjpgdhraclck527aehhfd3u

The acceptance of autistic children using mobile computing devices in UK Christian religious spaces: An interpretive phenomenological analysis of the perceptions of senior clerics

Catherine Tryfona
2022
to consider the use of mobile technology as part of an inclusive culture, where autistic children and their families felt supported and have a sense of belonging.  ...  Mobile technology use is recognised as a positive tool to help autistic children. Given the wide range of styles of churchmanship (style of worship) and cultur [...]  ...  He knows exactly how to speak to our hearts in such a way that we can unmistakably understand him."  ... 
doi:10.25401/cardiffmet.19829494.v1 fatcat:hqdryd7qvjbenk6a5borqdmvta

Towards automatically generating supply chain maps from natural language text

Pascal Wichmann, Apollo-University Of Cambridge Repository, Duncan McFarlane
2022
Secondly, a classifier was designed and trained on the dataset. A selection of different classifier architectures were tested and compared against each other.  ...  This is a problem for firms as information about their extended supply chains is a valuable input when making supply chain decisions, such as how to improve their efficiency, resilience, or sustainability  ...  Based on these findings, the research scope is derived in the next section and further narrowed down to the research focus in a subsequent section.  ... 
doi:10.17863/cam.84409 fatcat:sfgrhillsfcjnc2korvhjal5p4

Proceedings of the Twenty-seventh

Elly Van Gelderen, Vida Samiian, Jong-Bai Hwang
unpublished
Topic continuity in discourse: A quantified text-based study. Amsterdam: John Benjamins. Gi\'an, T. 1990. Syntax: Afunctional-typological introduction: vol II Amsterdam: John Benjamins.  ...  "The syntax of causative constructions: cross-language similarities and divergences", In M. Shlbatani (Ed.), The grammar of causative constnlctions, syntax and semantics.  ...  However, we will see that a verb base can be created with more than one satellite, which could lead to a conflict of, for example, conjugation-pattern.  ... 
fatcat:44xsn5llx5a5dpmpqgtm4lmcey

An experimental investigation of control-display requirements for a jet-lift VTOL aircraft in the terminal area

J. LEBACQZ, R. RADFORD
1978 4th Atmospheric Flight Mechanics Conference   unpublished
sensors through more complex data processing; hence, if we considvr the loop-closure ordering in this light, consistent and discrete • groups of information that address this cost tradeoff can be formulated  ...  and variable stability system are extremely complex , requiring monitoring during flight of many more variables than can be easily scanned by the pilot , a versatile system for data telemetry , acquisition  ...  to produce error information and steering commands with respect to the loLalizer and a cockpit-selectable glide-slope .  ... 
doi:10.2514/6.1978-1363 fatcat:geem7epg75helf3vrybtlcg56e