2203 search results - page 298 / 441 » Temporal Abstract Interpretation |
129
Voted
TOCL
2008
15 years 3 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
85
Voted
BC
2002
15 years 3 months ago
2002
Abstract. Recent experimental results on spike-timingdependent plasticity (STDP) and heterosynaptic interaction in various systems have revealed new temporal and spatial properties...
116
Voted
JANCL
2000
15 years 3 months ago
2000
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion o...
136
Voted
TIT
2002
15 years 3 months ago
2002
Abstract--A random matrix model is introduced that probabilistically describes the spatial and temporal multipath propagation between a transmitting and receiving antenna array wit...
140
Voted
TMI
2002
15 years 3 months ago
2002
Abstract-- We present a method for accurate image registration and motion compensation in multidimensional signals, such as 2D X-ray images and 3D CT/MRI volumes. The method is bas...