Sciweavers

812 search results - page 81 / 163
» A Complete Guide to the Future
Sort
View
TITS
2010
128views Education» more  TITS 2010»
14 years 4 months ago
Creating Enhanced Maps for Lane-Level Vehicle Navigation
Abstract--The concept of enhanced maps (Emaps) was introduced with one main objective: It should characterize roads, first, with more completeness and, second, with more accuracy t...
David Bétaille, Rafael Toledo-Moreo
CTRSA
2012
Springer
273views Cryptology» more  CTRSA 2012»
13 years 5 months ago
On the Joint Security of Encryption and Signature in EMV
We provide an analysis of current and future algorithms for signature and encryption in the EMV standards in the case where a single key-pair is used for both signature and encrypt...
Jean Paul Degabriele, Anja Lehmann, Kenneth G. Pat...
AAAI
2012
13 years 6 days ago
A Multi-Path Compilation Approach to Contingent Planning
We describe a new sound and complete method for compiling contingent planning problems with sensing actions into classical planning. Our method encodes conditional plans within a ...
Ronen I. Brafman, Guy Shani
TIME
2009
IEEE
15 years 4 months ago
Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...
Luke Hunsberger
INFOCOM
2008
IEEE
15 years 4 months ago
Task Scheduling and Lightpath Establishment in Optical Grids
—Data-intensive Grid applications require huge data transferring between multiple geographically separated computing nodes where computing tasks are executed. For a future WDM ne...
Xin Liu, Wei Wei, Chunming Qiao, Ting Wang, Weishe...