2509 search results - page 300 / 502 » Abstract Geometrical Computation and Computable Analysis |
171
click to vote
ICCS
2005
Springer
16 years 20 hour ago
2005
Springer
Abstract. Publish/subscribe model is appropriate in many push based data dissemination applications. This paper presents cost model for publish/subscribe systems, analyze its perfo...
192
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
198
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract –In this paper, a variational message passing framework is proposed for Markov random fields, which is computationally more efficient and admits wider applicability comp...
185
click to vote
CAIP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Tracking of articulated objects is a challenging task in Computer Vision. A highly target specific model can improve the robustness of the tracking by eliminating or red...
174
click to vote
CCS
2007
ACM
16 years 21 days ago
2007
ACM
sion of an extended abstract published in Proceedings of ACM CCS 2007, ACM Press, 2007. We present new techniques that allow a return-into-libc attack to be mounted on x86 executa...