8555 search results - page 222 / 1711 » Property Based Coordination |
223
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
In this paper we present a novel fast multi-cues based car detection technique in still outdoor images. On the bottom level, two novel area templates based on edge cue and interes...
211
click to vote
MICCAI
1999
Springer
15 years 11 months ago
1999
Springer
We present a new approach for the computation of the deformation field between three dimensional (3D) images. The deformation field minimizes the sum of the squared differences b...
195
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...
197
click to vote
TSE
2010
15 years 5 months ago
2010
Abstract—In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial stud...
182
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...