4211 search results - page 618 / 843 » Types as Abstract Interpretations |
185
click to vote
IPCV
2010
15 years 3 months ago
2010
Abstract-- Different models for computing the spatial relations have been developed in the last decade. Separate methods are used for computing topological, directional and distanc...
170
click to vote
IVA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In human relations engagement and continuous communication is promoted by the process of sharing experiences. This type of social behaviour plays an important role in the...
175
click to vote
BIOCOMP
2009
15 years 3 months ago
2009
Abstract-- Spatial partial differential equations are commonly used to describe systems of biological entities, such as patterns created by desert vegetation and biovermiculation g...
182
click to vote
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract-- A kind of complex dynamical networks with timevarying coupling delays is proposed. By some transformation, the synchronization problem of the complex networks is transfe...
200
click to vote
DLOG
2009
15 years 3 months ago
2009
Abstract This paper analyzes the probabilistic description logic PSHIQ by looking at it as a fragment of probabilistic first-order logic with semantics based on possible worlds. We...