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:
DocumentCloud runs every document you upload through Thomson Reuters OpenCalais, giving you access to extensive information about the people, places and organizations mentioned in each.
Concept search, full-text search and annotation structure search in one scaleable index: "Mímir is a multi-paradigm information management index and repository which can be used to index and search over text, annotations, semantic schemas (ontologies), and semantic meta-data (instance data). It allows queries that arbitrarily mix full-text, structural, linguistic and semantic queries and that can scale to gigabytes of text. A typical semantic annotation project deals with large quantities of data of different kinds. Mímir provides a framework for implementing indexing and search functionality across all these data type."
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.
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.
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
A. List. Proceedings of the 17th International Conference on Educational Data Mining, стр. 692--697. Atlanta, Georgia, USA, International Educational Data Mining Society, (июля 2024)