1536 search results - page 153 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
189
click to vote
ACCV
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes a method of mirror localization to calibrate a catadioptric imaging system. While the calibration of a catadioptric system includes the estimation of various p...
176
click to vote
HIPEAC
2010
Springer
15 years 9 months ago
2010
Springer
We present Offload, a programming model for offloading parts of a C++ application to run on accelerator cores in a heterogeneous multicore system. Code to be offloaded is enclosed ...
208
click to vote
TASLP
2008
15 years 7 months ago
2008
In this paper, we introduce cross-multiplicative transfer function (CMTF) approximation for modeling linear systems in the short-time Fourier transform (STFT) domain. We assume tha...
192
click to vote
OPODIS
2004
15 years 8 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
177
click to vote
APN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We study the relationship between name creation and replication in a setting of infinitestate communicating automata. By name creation we mean the capacity of dynamicall...