91 search results - page 7 / 19 » The High Road to Formal Validation: |
172
click to vote
TMI
2008
15 years 6 months ago
2008
With continuing improvements in spatial resolution of positron emission tomography (PET) scanners, small patient movements during PET imaging become a significant source of resolut...
161
click to vote
ASM
2003
ASM
15 years 11 months ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
205
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
We address issues related to privacy protection in location-based services (LBS). Most existing research in this field either requires a trusted third-party (anonymizer) or uses ...
174
click to vote
IROS
2009
IEEE
16 years 21 days ago
2009
IEEE
Abstract— When a robot travels in urban area, Global Positional System (GPS) signals might be obstructed by buildings. Hence visual odometry is a choice. We notice that the verti...
153
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
A protection profile for high-robustness separation kernels has recently been validated and several implementations are under development. However, medium-robustness separation ke...