340 search results - page 50 / 68 » ets 2009 |
LORI
2009
Springer
15 years 4 months ago
2009
Springer
We introduce a new type of arrow in the update frames (or “action models”) of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in m...
68
Voted
MHCI
2009
Springer
15 years 4 months ago
2009
Springer
We outline two new auditory interaction techniques which build upon existing visual techniques to display off-screen points of interest (POI) in map based mobile computing applic...
104
click to vote
PROVSEC
2009
Springer
15 years 4 months ago
2009
Springer
Signcryption is a cryptographic primitive that provides authentication and confidentiality simultaneously in a single logical step. It is often required that multiple senders have...
80
Voted
SAGT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We continue the recently initiated study of the computational aspects of weak saddles, an ordinal set-valued solution concept proposed by Shapley. Brandt et al. gave a po...
SCALESPACE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We wish to recover an image corrupted by blur and Gaussian or impulse noise, in a variational framework. We use two data-fidelity terms depending on the noise, and sever...