3305 search results - page 149 / 661 » Models and Modeling Infrastructures for Global Computational... |
ICIAR
2005
Springer
14 years 2 months ago
2005
Springer
This paper proposes an iterative methodology for real-time robust mosaic topology inference. It tackles the problem of optimal feature selection (optimal sampling) for global estim...
CAV
2007
Springer
14 years 3 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
PAA
2007
13 years 8 months ago
2007
In this paper, we present a global approach for constructing high dynamic range mosaics from multiple images with large exposure differences. To minimize registration errors caused...
HIPS
1998
IEEE
14 years 1 months ago
1998
IEEE
Distributed shared objects are a well known approach to achieve independenceof the memory model for parallel programming. The illusion of shared (global) objects is a conabstracti...
CSREASAM
2009
13 years 10 months ago
2009
This paper presents the basics of a new paradigm that allows generators and consumers of global contextual information to determine an appropriate security level needed for contex...