A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Filters
Classical Dynamic Controllability Revisited - A Tighter Bound on the Classical Algorithm
english
2014
Proceedings of the 6th International Conference on Agents and Artificial Intelligence
english
Simple Temporal Networks with Uncertainty (STNUs) allow the representation of temporal problems where some durations are uncontrollable (determined by nature), as is often the case for actions in planning ...
It is essential to verify that such networks are dynamically controllable (DC) -executable regardless of the outcomes of uncontrollable durations -and to convert them to an executable form. ...
ACKNOWLEDGMENTS This work is partially supported by the Swedish Research Council (VR) Linnaeus Center CADICS, the ELLIIT network organization for Information and Communication Technology, the Swedish Foundation ...
doi:10.5220/0004815801300141
dblp:conf/icaart/NilssonKD14
fatcat:noswjqxnwjgjrad6a6z7ahjgem
Revisiting the Modifiable Areal Unit Problem in Deep Traffic Prediction with Visual Analytics
[article]
2020
arXiv
pre-print
Through regular exchanges with a domain expert, we design and develop a visual analytics solution that integrates 1) a Bivariate Map equipped with an advanced bivariate colormap to simultaneously depict ...
This issue can significantly destabilize the feature embeddings and the predictions, rendering deep networks much less useful for the experts. ...
ACKNOWLEDGMENTS The authors wish to thank the independent experts and the anonymous reviewers for their valuable comments. ...
arXiv:2007.15486v3
fatcat:ujl6fe33mjbedhzgguszlkuncu
Epilepsy-Specific Citation Classics Revisited
2018
Epilepsy Currents
Papers that discussed specific disease conditions or states were included if epilepsy was a central manifestation of the disease (e.g., Rasmussen syndrome, myoclonic epilepsy with ragged red fibers [MERRF ...
It is particularly challenging for those new to a field to become familiar with the existing body of scientific literature-the foundation on which future research and clinical paradigms are built. ...
Acknowledgment The authors would like to acknowledge the contributions of Gayle Betz, MLIS. ...
doi:10.5698/1535-7597.18.2.72
pmid:29643750
pmcid:PMC5887615
fatcat:vhwqtdtmsncj5pcavh4vcqmayu
Behaviorism Revisited: Linking Perception and Action Through Symbolic Models of Cognition
2017
Deutsche Jahrestagung für Künstliche Intelligenz
It is argued that this approach to brain modeling could lead to an actualization of the concept of behaviorism as a model for the development of cognition. ...
cases of analogical reasoning and a simple case of meta-cognition. ...
In broad terms, meta-cognition refers to "monitoring and control processes that allow for maintaining a self-referential check and balance" (Fleming & al. 2012 [24] ). ...
dblp:conf/ki/Bonzon17
fatcat:zi3yg5asevfmpndbyvoottzwvm
Trajectory data-based traffic flow studies: A revisit
2020
Transportation Research Part C: Emerging Technologies
Our purpose is to provide a roadmap for readers who have an interest in the latest developments of traffic flow theory that have been stimulated by the availability of trajectory data. ...
Then, we summarize new traffic phenomena/models at the microscopic/mesoscopic/macroscopic levels and provide a unified view of these achievements perceived from different directions of traffic flow studies ...
The authors would like to thank the anonymous reviewers for their helpful suggestions to improve this paper.
Appendix A. ...
doi:10.1016/j.trc.2020.02.016
fatcat:el2k6mattfhkrbbkkvrpg4pibe
Reasoning about river basins: WaWO + revisited
2017
Environmental Modelling & Software
WaWO+ the ontology we present here, provides a set of concepts that are queried, advertised and used to support reasoning about and the management of urban water resources in complex scenarios as a River ...
The goal of this research is to increase efficiency in Data and Knowledge interoperability and data integration among heterogeneous environmental data sources (e.g., software agents) using an explicit, ...
] pointed out the need of an IoT approach to deal with the problem, [18] studied an activated sludge facility and a stabilization lagoon, [60] approached on the instrumentation and control of the ...
doi:10.1016/j.envsoft.2016.11.009
fatcat:ves3rsqiujbtxdqkaxuti64mge
Computer-Supported Cooperative Work – Revisited
2021
I-COM: A Journal of Interactive and Cooperative Media
As a summary, we present some learnings from the experience – both for the current state of CSCW research and for future work. ...
Due to the COVID-19 lockdowns and the related mandated work for home, we have seen a massive increase of the use of collaboration tools in various work settings in the last 18 months. ...
, in user blogs, or even as a simple post by an employee marked with a hashtag (e. g., #bestpractice). ...
doi:10.1515/icom-2021-0028
fatcat:55r2seeogze27ch4qpxeic2x2e
Modal logics of sabotage revisited
2017
Journal of Logic and Computation
analyze model update, and, returning to the original motivation of sabotage, fixed-point logics for network games. ...
Our first contribution is a characterization theorem for sabotage modal logic as a fragment of first-order logic which is invariant with respect to a natural notion of 'sabotage bisimulation'. ...
The authors would like to thank Valentin Goranko for insightful discussions on the topic of this paper. ...
doi:10.1093/logcom/exx034
fatcat:okk2gd6t5jaxdi7pm344kevrjm
Object-focused environments revisited
2015
Science of Computer Programming
Acknowledgements Acknowledging that the tools influence our own thinking habits, and we humans -in particular programmers-tend to disregard the impact of this influence, we advocate for a different design ...
In our work we designed an integral development environment, were programmers converse with the objects that make up the system, by interacting ...
A class with several of its methods surrounding the shape lector and the arguments of the method, a row with all the temporal variables, and an editable text for editing the body of the method. ...
doi:10.1016/j.scico.2013.07.011
fatcat:tp7cztcn6faebbzragzqsqls2m
Visualization of Biomolecular Structures: State of the Art Revisited
2016
Computer graphics forum (Print)
the dynamic aspects of molecular simulation data. ...
The survey concludes with an outlook on promising and important research topics to foster further success in the development of tools that help to reveal molecular secrets. ...
Acknowledgements This work was supported through grants from the German Research ...
doi:10.1111/cgf.13072
fatcat:offag5kdrnfjjnrqzvrxzxtnuq
Revisiting the Arcade Learning Environment: Evaluation Protocols and Open Problems for General Agents
[article]
2017
arXiv
pre-print
The Arcade Learning Environment (ALE) is an evaluation platform that poses the challenge of building AI agents with general competency across dozens of Atari 2600 games. ...
To further the progress in the field, we introduce a new version of the ALE that supports multiple game modes and provides a form of stochasticity we call sticky actions. ...
providing a Python interface to the ALE. ...
arXiv:1709.06009v2
fatcat:f4zfxv73eja4pk4oirc4cwkugq
Time and Business Process Management: Problems, Achievements, Challenges (Invited Talk)
2020
International Symposium/Workshop on Temporal Representation and Reasoning
For checking the correctness of process definitions with temporal constraints, different notions and algorithms have been developed. ...
We present an overview of the problems and the requirements for treating time in business processes and the solutions achieved by applying results and techniques of research in temporal representation ...
An algorithm for checking the dynamic controllability of a conditional simple temporal network with uncertainty -revisited. ...
doi:10.4230/lipics.time.2020.3
dblp:conf/time/EderF20
fatcat:c4xzhuugdbey3fibfpmtpj6rnq
Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking
2018
International Symposium/Workshop on Temporal Representation and Reasoning
Recent work on Conditional Simple Temporal Networks (CSTNs) has introduced the problem of checking the dynamic consistency (DC) property for the case where the reaction time of an execution strategy to ...
Given any CSTN S with k observation time-points, the paper defines a new CSTN S 0 that is the same as S, except that for each observation time-point P ? in S: (i) P ? ...
An algorithm for checking the dynamic controllability of a conditional simple temporal network with uncertainty-revisited. ...
doi:10.4230/lipics.time.2018.15
dblp:conf/time/HunsbergerP18a
fatcat:sz3mytzy2zb4zackoegnqlsrx4
The Aging Brain and Executive Functions Revisited: Implications from Meta-Analytic and Functional-Connectivity Evidence
[article]
2020
bioRxiv
pre-print
We also assessed associations of the two regions' whole-brain RS-FC patterns with age and EF performance. ...
Although functional profiling and RS-FC analyses point towards a domain-general role of left IFJ in EFs, the pattern of individual study contributions to the meta-analytic results suggests process-specific ...
Its role might be controlling the dynamic interaction between these networks for an efficient distribution of attention (Leech et al., 2011) . Furthermore, PrC appears . ...
doi:10.1101/2020.07.15.204941
fatcat:egwi7hjyb5ebhh2gsx3tt7iq2q
The public-private divide revisited: questioning the middle ground of hybridity in policing
2019
Policing and Society: An International Journal of Research and Policy
. iii Acknowledgments Writing this dissertation has been an incredible journey with many highs and (some) lows, and along the way I have received support from a great number of people, to whom I would ...
The mapping of relations reveals a distinct social structure and highlights how power is connected to the relational position of agencies within security networks. ...
Gundhus, Jan Froestad, and the anonymous reviewers of this journal for invaluable comments on earlier versions of this article. ...
doi:10.1080/10439463.2019.1576673
fatcat:x2s4i3tprfe2loiu5gcyztgzi4
« Previous
Showing results 1 — 15 out of 5,420 results