5169 search results - page 273 / 1034 » Locality approximation using time |
160
Voted
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We investigate the problem of locally monitoring contract regulated behaviours in web services. We encode contract clauses in service specifications by using extended timed automat...
175
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
190
click to vote
DAGM
2009
Springer
16 years 1 months ago
2009
Springer
Recent progresses in stereo research imply that performance of the disparity estimation depends on the discontinuity localization in the disparity space which is generally predicat...
181
click to vote
CAIP
1995
Springer
15 years 10 months ago
1995
Springer
This paper addresses the problem of 3D surface reconstruction using image sequences. It has been shown that shape recovery from three or more occluding contours of the surface is p...
219
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
The ability of a sensor node to determine its physical location within a network (Localization) is of fundamental importance in sensor networks. Interpretating data from sensors i...