940 search results - page 135 / 188 » Local rely-guarantee reasoning |
141
click to vote
EUROCAST
2005
Springer
15 years 10 months ago
2005
Springer
Convergence is a central problem in both computer science and in population biology. Will a program terminate? Will a population go to an equilibrium? In general these questions ar...
155
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
156
Voted
ICCBR
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we consider the competition on the Internet between information providers to maximise their exposure to a relevant audience. Spammers and Search engine gamers adopt a...
132
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
There exist a number of approaches for query processing in Peer-to-Peer information systems that efficiently retrieve relevant information from distributed peers. However, very few...
181
click to vote
PCM
2005
Springer
15 years 10 months ago
2005
Springer
In general, motion compensated (MC) deinterlacing algorithms can outperform non-MC (NMC) ones. However, we often prefer to choose the latter due to the considerations of error prop...