[Lecture Notes in Computer Science] Logics of Programs Volume 164 || Deciding branching time logic: A triple exponential decision procedure for CTL
- 作者Clarke, Edmund; Kozen, Dexter
- 文件大小993.53KB
- 发表时间1984
- DOI10.1007/3-540-12896-4_363
- 页码176-192
Interactive browsing of image collections on mobile devicesSchaefer, Gerald; Tallyn, Matthew; Felton, Daniel; Plant, William; Edmundson, David · Multimedia Tools and Applications · 2015
[IEEE 2012 IEEE International Symposium on Multimedia (ISM) - Irvine, CA, USA (2012.12.10-2012.12.12)] 2012 IEEE International Symposium on Multimedia - Efficient Filtering of JPEG ImagesEdmundson, David; Schaefer, Gerald · 2012
[IEEE 2012 IEEE International Symposium on Multimedia (ISM) - Irvine, CA, USA (2012.12.10-2012.12.12)] 2012 IEEE International Symposium on Multimedia - JIRL - A C++ Library for JPEG Compressed Domain Image RetrievalEdmundson, David; Schaefer, Gerald · 2012
[IEEE 2012 Visual Communications and Image Processing (VCIP) - San Diego, CA, USA (2012.11.27-2012.11.30)] 2012 Visual Communications and Image Processing - Intuitive mobile image browsing on a hexagonal latticeSchaefer, Gerald; Tallyn, Matthew; Felton, Daniel; Edmundson, David; Plant, William · 2012
[ACM Press the 4th ACM Multimedia Systems Conference - Oslo, Norway (2013.02.28-2013.03.01)] Proceedings of the 4th ACM Multimedia Systems Conference on - MMSys '13 - Sorting JPEG images at a glanceEdmundson, David; Schaefer, Gerald · 2013
[IEEE 2013 IEEE International Conference on Multimedia and Expo Workshops (ICMEW) - San Jose, CA, USA (2013.07.15-2013.07.19)] 2013 IEEE International Conference on Multimedia and Expo Workshops (ICMEW) - Fast mobile image retrievalEdmundson, David; Schaefer, Gerald · 2013
[IEEE 2012 19th IEEE International Conference on Image Processing (ICIP 2012) - Orlando, FL, USA (2012.09.30-2012.10.3)] 2012 19th IEEE International Conference on Image Processing - Robust texture retrieval of compressed imagesEdmundson, David; Schaefer, Gerald; Celebi, M. Emre · 2012