3483 search results - page 455 / 697 » Forward |
202
click to vote
PCM
2005
Springer
16 years 4 days 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...
156
click to vote
PPDP
2005
Springer
16 years 4 days ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
143
click to vote
ROBOCUP
2005
Springer
16 years 4 days ago
2005
Springer
This paper describes the humanoid robot Toni that has been designed to play soccer in the RoboCup Humanoid League. The paper details Toni’s mechanical and electrical design, perc...
205
click to vote
RTA
2005
Springer
16 years 4 days ago
2005
Springer
We present a new method for proving termination of term rewriting systems automatically. It is a generalization of the match bound method for string rewriting. To prove that a term...
168
click to vote
TCC
2005
Springer
16 years 3 days ago
2005
Springer
Adaptively-secure encryption schemes ensure secrecy even in the presence of an adversary who can corrupt parties in an adaptive manner based on public keys, ciphertexts, and secret...