235 search results - page 29 / 47 » Spatial Logics for Bigraphs |
109
Voted
KR
2004
Springer
15 years 7 months ago
2004
Springer
Several logical languages have been considered in AI for encoding compactly preference relations over a set of alternatives. In this paper, we analyze both the expressiveness and ...
112
click to vote
3DIC
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper presents an analysis and comparison between synchronous and delay-insensitive asynchronous logic circuits on thermal distributions for investigating novel solutions to t...
141
Voted
CP
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rul...
106
Voted
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...
131
Voted
VLSID
2005
IEEE
16 years 2 months ago
2005
IEEE
We propose a novel, non-simulative, probabilistic model for switching activity in sequential circuits, capturing both spatio-temporal correlations at internal nodes and higher ord...