A visual query language for dynamic processes applied to a scenario driven environment

Camara, Karin; Jungert, Erland

doi:10.1016/j.jvlc.2007.02.004

Cited by 9 publications

(2 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our own research (Klippel & Li, 2009), results by Shariff, Egenhofer, and Mark (1998), behavioral assessments of Allen’s temporal calculus (Lu, Harter, & Graesser, 2009), and various formal approaches (e.g., Camara & Jungert, 2007) show that topological (and corresponding qualitative temporal) relations are cognitively salient to different degrees. For example, while it would be possible to allow for the following combination of MCs: MC DC MC EC MC PO MC TPP , it is questionable as to whether this should constitute a salient term in the MCG.…”

Section: Topological Movement Characterizationsmentioning

confidence: 74%

Movement Choremes: Bridging Cognitive Understanding and Formal Characterizations of Movement Patterns¹

Klippel

2011

Topics in Cognitive Science

View full text Add to dashboard Cite

This article discusses an approach to characterizing movement patterns (paths ⁄ trajectories) of individual agents that allows for relating aspects of cognitive conceptualization of movement patterns with formal spatial characterizations. To this end, we adopt a perspective of characterizing movement patterns on the basis of perceptual and conceptual invariants that we term movement choremes (MCs). MCs are formally grounded by behaviorally validating qualitative spatio-temporal calculi. Relating perceptual and cognitive aspects of space and formal theories of spatial information has shown promise to foster understanding of the semantics of movement patterns. Specifically, we discuss our approach in relation to existing qualitative formalisms such as the region connection calculus and the Egenhofer's intersection formalisms. We show that the MC approach is compatible with these approaches but offers additional opportunities to improve the cognitive adequacy of these formalisms. We summarize this paper using a movement taxonomy that also provides guidance for future research.

show abstract

Section: Topological Movement Characterizationsmentioning

confidence: 74%

Movement Choremes: Bridging Cognitive Understanding and Formal Characterizations of Movement Patterns¹

Klippel

2011

Topics in Cognitive Science

View full text Add to dashboard Cite

show abstract

“…Massively distributed embedded systems are rapidly emerging as a key enabling concept for many modern applications in environmental monitoring, energy conservation, healthcare, infrastructure management, homeland security, manufacturing, and many other [1,2,3,7,9,14]. This is due not only to sensing and electronic devices becoming extremely cheap and small in size (thus, deployable in large numbers) but also to the potential of having significantly superior decision making quality if related problems are tackled together instead of separately.…”

Section: Introductionmentioning

confidence: 99%

Towards a model and specification for visual programming of massively distributed embedded systems

Wang

Subramanian

Doboli

et al. 2008

2008 International Workshop on Robotic and Sensors Environments

View full text Add to dashboard Cite

Massively distributed embedded systems are rapidly emerging as a key concept for many modern applications. However, providing efficient and scalable decision making capabilities to such systems is currently a significant challenge. This paper proposes a model and a specification language to allow automated synthesis of distributed controllers, which implement and interact through formalisms of different semantics. The paper refers to a case study to illustrate the main capabilities of the proposed concept.

show abstract

The Endpoint Hypothesis: A Topological-Cognitive Assessment of Geographic Scale Movement Patterns

Klippel

2009

Spatial Information Theory

View full text Add to dashboard Cite

A visual query language for dynamic processes applied to a scenario driven environment

Cited by 9 publications

References 22 publications

Movement Choremes: Bridging Cognitive Understanding and Formal Characterizations of Movement Patterns¹

Movement Choremes: Bridging Cognitive Understanding and Formal Characterizations of Movement Patterns¹

Towards a model and specification for visual programming of massively distributed embedded systems

The Endpoint Hypothesis: A Topological-Cognitive Assessment of Geographic Scale Movement Patterns

Contact Info

Product

Resources

About

A visual query language for dynamic processes applied to a scenario driven environment

Cited by 9 publications

References 22 publications

Movement Choremes: Bridging Cognitive Understanding and Formal Characterizations of Movement Patterns1

Movement Choremes: Bridging Cognitive Understanding and Formal Characterizations of Movement Patterns1

Towards a model and specification for visual programming of massively distributed embedded systems

The Endpoint Hypothesis: A Topological-Cognitive Assessment of Geographic Scale Movement Patterns

Contact Info

Product

Resources

About

Movement Choremes: Bridging Cognitive Understanding and Formal Characterizations of Movement Patterns¹

Movement Choremes: Bridging Cognitive Understanding and Formal Characterizations of Movement Patterns¹