A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
Temporally Abstract Partial Models
[article]
2021
arXiv
pre-print
Preserved Fulltext
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]
2014
Lecture Notes in Computer Science
Preserved Fulltext
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.
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
2014
BMC Neuroscience
Preserved Fulltext
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.
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
2006
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)
Preserved Fulltext
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.
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]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2012
Cerebral Cortex
Preserved Fulltext
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.
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?
2019
Abstracts of the International Cartographic Association
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
</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]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2014
International Journal of Intelligent Computing Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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