46 search results - page 1 / 10 » Quantified Positive Temporal Constraints |
CSL
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. A positive temporal template (or a positive temporal constraint language) is a relational structure whose relations can be defined over countable dense linear order witho...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
CSL
2010
Springer
13 years 5 months ago
2010
Springer
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over fixed, finite structures B. This may be seen as a natural generalisation of th...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over a fixed, finite structure B. This may be seen as a natural generalisation of ...
WAPCV
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. Selective attention shift can help neural networks learn invariance. We describe a method that can produce a network with invariance to changes in visual input caused by ...