indiamarks is a social bookmarking service for the global indian community. Here you can save your bookmarks,
organize all your online research, share your bookmarks
with friends & family and find useful and interesting sites saved by the global indian community.
Caliph & Emir are MPEG-7 based Java prototypes for digital photo and image annotation and retrieval supporting graph like annotation for semantic metadata and content based image retrieval using MPEG-7 descriptors.
Foundcity is a social mapping tool for creating a personalized map of your life on-the-fly. Using your mobile phone, you tag or capture photos throughout the day, label them with any words you want, and send them to your map
Announcing Vyew 2.0: Free Web Conferencing and Always-On Collaboration * 100% Browser-based - No downloads or installs * Shared viewing of: DOCs, PPTs, XLSs, JPGs, PDFs and more * Real-time Desktop Sharing and Screen Capturing * Tools to Whiteboard, Draw
I've been thinking about the best approach to implement pure function verification in the Scala compiler. An approach similar to the one in D would fit a lot better than the one used in Haskell (which would break all existing code and cause some problems due to strict evaluation). A solution using annotations would be quite simple to implement:
P. Zellweger, N. Bouvin, H. Jeh&\#248;j, and J. Mackinlay. HYPERTEXT '01: Proceedings of the twelfth ACM conference on Hypertext and Hypermedia, page 9--18. New York, NY, USA, ACM Press, (2001)
P. Zellweger, N. Bouvin, H. Jeh&\#248;j, and J. Mackinlay. HYPERTEXT '01: Proceedings of the twelfth ACM conference on Hypertext and Hypermedia, page 9--18. New York, NY, USA, ACM Press, (2001)
A. Zhang, M. Igo, M. Facciotti, and D. Karger. Proceedings of the Fourth (2017) ACM Conference on Learning @ Scale, page 319--322. New York, NY, USA, ACM, (2017)
M. Zhou, S. Bao, X. Wu, and Y. Yu. Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea, volume 4825 of LNCS, page 673--686. Berlin, Heidelberg, Springer Verlag, (November 2007)
S. Zyto, D. Karger, M. Ackerman, and S. Mahajan. Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, page 1883--1892. New York, NY, USA, ACM, (2012)