3600 search results - page 404 / 720 » The settling-time reducibility ordering |
160
click to vote
PET
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In mobile wireless networks, third parties can track the location of mobile nodes by monitoring the pseudonyms used for identification. A frequently proposed solution to...
173
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Induced (chord-free) cycles in binary hypercubes have many applications in computer science. The state of the art for computing such cycles relies on genetic algorithms, which are,...
154
click to vote
SCALESPACE
2009
Springer
16 years 1 months ago
2009
Springer
The Beltrami flow is an efficient non-linear filter, that was shown to be effective for color image processing. The corresponding anisotropic diffusion operator strongly couple...
161
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Query answering for the QL profile of OWL 2 and a substantial fragment of the EL profile can be implemented via query rewriting. In our previous work, we presented RQR...
179
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...