226,661 Hits in 2.6 sec

Temporally Abstract Partial Models [article]

Khimya Khetarpal, Zafarali Ahmed, Gheorghe Comanici, Doina Precup
2021 arXiv   pre-print
In this paper, we define a notion of affordances for options, and develop temporally abstract partial option models, that take into account the fact that an option might be affordable only in certain situations  ...  In reinforcement learning, option models (Sutton, Precup \& Singh, 1999; Precup, 2000) provide the framework for this kind of temporally abstract prediction and reasoning.  ...  Abstract Partial Model.  ... 
arXiv:2108.03213v1 fatcat:mb7g2ybtpjcvfgf3fzpz2nlcbm

Intrusion Detection with Hypergraph-Based Attack Models [chapter]

Antonella Guzzo, Andrea Pugliese, Antonino Rullo, Domenico Saccà
2014 Lecture Notes in Computer Science  
Efficient online detection • Compact index structure that tracks "active" partial instances • Continuously prunes away partial instances that are no longer "active", as they violate temporal or cardinality  ...  times in real-world cases can be obtained by employing compact index structures limiting the number of partial solutions through a form of early filtering based on temporal or cardinality constraints  ... 
doi:10.1007/978-3-319-04534-4_5 fatcat:lqz4vkzwm5fwhmfr4iai7jhbey

Optical coactivation in cortical cells: reprogramming the excitation-inhibition balancing act to control neuronal gain in abstract and detailed models

Sarah J Jarvis, Konstantin Nikolic, Simon R Schultz
2014 BMC Neuroscience  
Finally, we test detailed neuron morphologies, including stellate interneurons, to test the predictions made by our abstract models.  ...  We investigate this relation by first testing optical activation in abstracted neuron morphologies that include models of ChR2 and NpHR.  ...  Finally, we test detailed neuron morphologies, including stellate interneurons, to test the predictions made by our abstract models.  ... 
doi:10.1186/1471-2202-15-s1-f1 pmcid:PMC4124980 fatcat:nzxd5kn5t5ft7jzd63clxn5ija

Time Petri Nets Analysis with TINA

Bernard Berthomieu, François Vernadat
2006 Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)  
For Petri nets, these abstractions help preventing combinatorial explosion and rely on so-called partial order techniques such as covering steps and/or persistent sets.  ...  Beside the usual graphic editing and simulation facilities, the software tool Tina may build a number of state space abstractions for Petri nets or Time Petri nets, preserving certain classes of properties  ...  The front-ends convert models into internal representation (abstract timed transition systems).  ... 
doi:10.1109/qest.2006.56 dblp:conf/qest/BerthomieuV06 fatcat:exonlwr2i5eobc5tjdg36s3fsm

Automatic Abstraction Using Generalized Model Checking [chapter]

Patrice Godefroid, Radha Jagadeesan
2002 Lecture Notes in Computer Science  
In the context of automatic abstraction, generalized model checking means checking whether there exists a concretization of an abstraction that satisfies a temporal logic formula.  ...  Generalized model checking is a framework for reasoning about partial state spaces of concurrent reactive systems.  ...  by 3-valued temporal logic, every temporal property that evaluates to true (resp. false) on the abstract model automatically holds (resp. does not hold) of the concrete system, hence guaranteeing soundness  ... 
doi:10.1007/3-540-45657-0_11 fatcat:pq2p3k4hgjcvbef35ziwvs3kta

Page 61 of Library & Information Science Abstracts Vol. , Issue 8 [page]

1994 Library & Information Science Abstracts  
Shows that one particular, simple case of temporal projection on partially ordered events turns out to be harder than previously conjectured, while planning is easy under the same restrictions.  ...  Original abstract. (SE) 9408407 On the computational complexity of temporal projection, planning, and plan validation. B. Nebel and C. Backstrom.  ... 

Refinement of LTL Formulas for Abstract Model Checking [chapter]

Marίa del Mar Gallardo, Pedro Merino, Ernesto Pimentel
2002 Lecture Notes in Computer Science  
Once the model has been reduced, we must also abstract the original satisfiability relation |=, which evaluates temporal properties against concrete models, and define an abstract relation to reinterpret  ...  Thus, it is accepted that a reasonable construction of abstract models may involve some loss of information when analyzing temporal properties.  ...  Abstracting Temporal Logic: Relating Two Dual Approaches Kripke structures are used to evaluate temporal formulas against models.  ... 
doi:10.1007/3-540-45789-5_28 fatcat:wixoy2zisbhc3ly4qbiyuogiz4

Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines [chapter]

Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani
2010 Lecture Notes in Computer Science  
Many possible aspects can be analyzed, but a first analysis has probably to consider the GL models, i.e. the representation formalisms provided.  ...  This work has been partially supported by the FIRB Project TOCAI.IT.  ...  [4] identifies four types of abstractions: temporal abstractions/temporal patterns (trends), definitions of abstract terms, terminology abstractions via classification hierarchies, and scenarios and  ... 
doi:10.1007/978-3-642-11808-1_7 fatcat:utstjnau2vgftj5eawfk7m64bi

Page 2888 of Mathematical Reviews Vol. , Issue 2003d [page]

2003 Mathematical Reviews  
The relative abstraction of semantics therefore corresponds to the rel- ative abstraction of observables modeling observable properties of traces at different levels of abstraction.  ...  It is known that model checking and satisfiability for a proposi- tional linear time temporal logic (PLTL, in short) are PSPACE- complete.  ... 

Page 5177 of Mathematical Reviews Vol. , Issue 87i [page]

1987 Mathematical Reviews  
Temporal logic is interpreted over partially ordered structures.  ...  After introducing the notions of abstraction and full-abstraction (in terms of algebraic homomorphisms), they are related to adequacy.  ... 

Page 1958 of Mathematical Reviews Vol. , Issue 2001C [page]

2001 Mathematical Reviews  
programs, and minimal temporal partial models.  ...  The translation of EGLPs into theories of partial temporal logic is proved to preserve semantics.  ... 

Abstract Encoding of Auditory Objects in Cortical Activity Patterns

Bruno L. Giordano, Stephen McAdams, Robert J. Zatorre, Nikolaus Kriegeskorte, Pascal Belin
2012 Cerebral Cortex  
Abstract encoding of auditory objects appears to extend to non-speech biological sounds and to operate in regions other than the anterior temporal lobe.  ...  The human brain is thought to process auditory objects along a hierarchical temporal "what" stream that progressively abstracts object information from the low-level structure (e.g., loudness) as processing  ...  2010) and suggest a very simple hierarchical model according to which information abstraction in the temporal lobe grows with the distance from A1 both in the posterior and anterior directions (see  ... 
doi:10.1093/cercor/bhs162 pmid:22802575 fatcat:xs4jsrt3yjgtbbbvdkrwwdbkgi

Is there a paradigm shift for GIS data representation and analysis?

Xiaobai A. Yao
2019 Abstracts of the International Cartographic Association  
</li><li><p>Analytical models for spatio-temporal-social relationships</p>Traditional GIS analysis and modelling focuses on space and spatial relationships, while sometimes the temporal dimension is also  ...  </p><p>This abstract is developed in response to the call for submissions to the research agenda session organized by the commission on geospatial analysis and modeling.  ...  Analytical models for spatio-temporal-social relationships Traditional GIS analysis and modelling focuses on space and spatial relationships, while sometimes the temporal dimension is also added.  ... 
doi:10.5194/ica-abs-1-420-2019 fatcat:loinzns2vbfqzmqtulasssd3ia

Deep Visual Navigation under Partial Observability [article]

Bo Ai, Wei Gao, Vinay, David Hsu
2022 arXiv   pre-print
Importantly, we integrate the multiple neural network modules into a unified controller that achieves robust performance for visual navigation in complex, partially observable environments.  ...  To this end, this work aims to address three challenges: (i) complex visual observations, (ii) partial observability of local visual sensing, and (iii) multimodal robot behaviors conditioned on both the  ...  Temporal modeling at multiple spatial abstraction levels can better improve robustness to partial observations, compared to at a single level or no history ii.  ... 
arXiv:2109.07752v2 fatcat:7xifwqw6gba5pexxxwwb56mjmi

Towards a General Framework for Business Process Modeling

Irfan Chishti
2014 International Journal of Intelligent Computing Research  
We use model theoretic approach, in which abstract business process is represented as a formal system and mapped to an instance/concrete realization.  ...  First order logic is used to give a clear definition of abstract business process and corresponding temporal relations including derived relations using a single "Meets" relation.  ...  If process temporal graph is acyclic, then its reachability relation is a partial order; any partial order may be defined in this way, for instance as the reachability relation of its transitive reduction  ... 
doi:10.20533/ijicr.2042.4655.2014.0058 fatcat:okq47jkyfzb6hhy3yombq42dsi
« Previous Showing results 1 — 15 out of 226,661 results