Results 241 to 250 of about 503,114 (301)
Some of the next articles are maybe not open access.
Symbolic Arrays in Symbolic PathFinder
ACM SIGSOFT Software Engineering Notes, 2017Symbolic Execution is a program analysis technique used to increase software reliability. Modern software often manipulate complex data structures, many of which being similar to arrays. We present a novel approach and implementation in Symbolic PathFinder for handling symbolic arrays in Java.
Aymeric Fromherz +2 more
openaire +2 more sources
ACM Transactions on Spatial Algorithms and Systems, 2015
Due to the proliferation of GPS-enabled devices in vehicles or with people, large amounts of position data are recorded every day and the management of such mobility data, also called trajectories, is a very active research field. A lot of effort has gone into discovering “semantics” from the raw geometric trajectories by relating them to the spatial ...
R. H. Guting, F. Valdes, M.L. Damiani
openaire +1 more source
Due to the proliferation of GPS-enabled devices in vehicles or with people, large amounts of position data are recorded every day and the management of such mobility data, also called trajectories, is a very active research field. A lot of effort has gone into discovering “semantics” from the raw geometric trajectories by relating them to the spatial ...
R. H. Guting, F. Valdes, M.L. Damiani
openaire +1 more source
The Symbolic Body and the Symbolic Symptom
International Journal of Psychology, 1985The differential analysis of the symbolic expression and of the symbolic symptom enlightens the relation between body, language and symbol. The displacement and condensation, which explain the symptom, involve a bodily perception of a symbolic nature. Consequently, Freud tends to interpret the symbol according to the symptom formation, as opposed to J.
openaire +1 more source
Symbol Interdependency in Symbolic and Embodied Cognition
Topics in Cognitive Science, 2010AbstractWhether computational algorithms such as latent semantic analysis (LSA) can both extract meaning from language and advance theories of human cognition has become a topic of debate in cognitive science, whereby accounts of symbolic cognition and embodied cognition are often contrasted.
openaire +3 more sources
A Symbolic Symbolic State Space Representation
2004Symmetry based approaches are known to attack the state space explosion problem encountered during the analysis of distributed systems. In another way, BDD-like encodings enable the management of huge data sets. In this paper, we show how to benefit from both approaches automatically. Hence, a quotient set is built from a coloured Petri net description
Yann Thierry-Mieg +2 more
openaire +3 more sources
Integrating Symbolic and Sub-symbolic Reasoning
2016This paper proposes a way of bridging the gap between symbolic and sub-symbolic reasoning. More precisely, it describes a developing system with bounded rationality that bases its decisions on sub-symbolic as well as symbolic reasoning. The system has a fixed set of needs and its sole goal is to stay alive as long as possible by satisfying those needs.
Claes Strannegård, Abdul Rahim Nizamani
openaire +2 more sources