5,420 Hits in 11.5 sec

Classical Dynamic Controllability Revisited - A Tighter Bound on the Classical Algorithm

Mikael Nilsson, Jonas Kvarnström, Patrick Doherty
2014 Proceedings of the 6th International Conference on Agents and Artificial Intelligence  
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]

Wei Zeng, Chengqiao Lin, Juncong Lin, Jincheng Jiang, Jiazhi Xia, Cagatay Turkay, Wei Chen
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

Marissa A. Kellogg, Gary L. Westbrook, David C. Spencer
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

Pierre E. Bonzon
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

Li Li, Rui Jiang, Zhengbing He, Xiqun (Michael) Chen, Xuesong Zhou
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

L. Oliva-Felipe, I. Gómez-Sebastià, M. Verdaguer, M. Sànchez-Marrè, M. Poch, U. Cortés
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

Angelika Bullinger-Hoffmann, Michael Koch, Kathrin Möslein, Alexander Richter
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

Guillaume Aucher, Johan van Benthem, Davide Grossi
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

Fernando Olivero, Michele Lanza, Marco D'ambros
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

B. Kozlíková, M. Krone, M. Falk, N. Lindow, M. Baaden, D. Baum, I. Viola, J. Parulek, H.-C. Hege
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]

Marlos C. Machado, Marc G. Bellemare, Erik Talvitie, Joel Veness, Matthew Hausknecht, Michael Bowling
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)

Johann Eder, Marco Franceschetti, Martin Theobald, Ana Ozaki, Emilio Muñoz-Velasco
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

Luke Hunsberger, Roberto Posenato, Michael Wagner
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]

Marisa K Heckner, Edna C Cieslik, Simon B Eickhoff, Julia A Camilleri, Felix Hoffstaedter, Robert Langner
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

Martin Nøkleberg
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