1133 search results - page 122 / 227 » Local Logics for Traces |
151
click to vote
CN
1998
15 years 6 months ago
1998
The performance of HTTP cache servers varies dramatically from server to server. Much of the variation is independent of cache size and network topology and thus appears to be rel...
209
click to vote
ML
1998
ACM
15 years 6 months ago
1998
ACM
Abstract. Coordination is an essential technique in cooperative, distributed multiagent systems. However, sophisticated coordination strategies are not always cost-effective in all...
148
click to vote
PAMI
1998
15 years 6 months ago
1998
—We propose a representation of images, called intrinsic curves, that transforms stereo matching from a search problem into a nearest-neighbor problem. Intrinsic curves are the p...
159
click to vote
MOC
2010
15 years 1 months ago
2010
Abstract. We introduce a new technique for the error analysis of hybridizable discontinuous Galerkin (HDG) methods. The technique relies on the use of a new projection whose design...
142
click to vote
IEEEARES
2008
IEEE
16 years 24 days ago
2008
IEEE
In this paper, we propose an FDB based intra-Domain Traceback System (FDB-DTS), which is a hybrid traceback system composed of packet digesting boxes and an iterative query engine...