4814 search results - page 589 / 963 » Combining abstract interpreters |
170
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Apart from experimental and theoretical approaches, computer simulation is an important tool in testing hypotheses about stony coral growth. However, the construction and...
170
click to vote
ICCSA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We consider the solution of a (generalized) eigenvalue problem arising in physical oceanography that involves the evaluation of both the tangent-linear and adjoint versio...
149
click to vote
ICES
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. As mobile devices become more powerful, interprocess communication becomes increasingly more important. Unfortunately, this larger freedom of mobility gives rise to unkno...
198
click to vote
ICSOC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Web portals provide an efficient gateway to a broad range of Eservices, resources and information. Web portals need to evolve towards being adaptive in nature, so that th...
175
click to vote
ISCIS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper, we propose a new video watermarking algorithm based on the human visual system (HVS) properties to find effective locations in video sequences for robust ...