2623 search results - page 380 / 525 » tools 2010 |
IFM
2010
Springer
13 years 8 months ago
2010
Springer
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
IGPL
2010
13 years 8 months ago
2010
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...
IJAMC
2010
13 years 8 months ago
2010
—In this paper, we discuss interaction interoperability in Collaborative Virtual Environments (CVE), intended to mean the ability of two or more users to cooperate despite the he...
IJAR
2010
13 years 8 months ago
2010
Geospatial Reasoning has been an essential aspect of military planning since the invention of cartography. Although maps have always been a focal point for developing situational ...
IJCV
2010
13 years 8 months ago
2010
This paper introduces a new texture analysis scheme, which is invariant to local geometric and radiometric changes. The proposed methodology relies on the topographic map of images...