1536 search results - page 16 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
IPC
2007
IEEE
14 years 1 months ago
2007
IEEE
The nature of the concepts regarding images in many domains are imprecise, and the interpretation of finding similar images is also ambiguous and subjective on the level of human ...
IGARSS
2009
13 years 5 months ago
2009
High resolution remote sensing (HR RS) images allow discriminating between different objects in a scene. Spatial reasoning techniques can be used to interpret and describe the sce...
WCE
2007
13 years 8 months ago
2007
—The dynamics of reciprocal transducer systems is modelled accounting for a nonlinear constitutive relation between the electric displacement and the electric field as reported ...
FORTE
1990
13 years 8 months ago
1990
A prototype Basic LOTOS interpreter, augmented for modelling real-time systems, is described. Primitive actions are treated as time-consuming, with separate start and end points, ...
AAI
2000
13 years 7 months ago
2000
: As Virtual Environments applications become more complex, there is a need to interpret user interaction in terms of high-level concepts. In this paper, we investigate the relatio...