Join ACM and take advantage of thousands of online courses, video tutorials, and online books available through ACM’s online Learning Center. Stay ahead of the curve by reading Communications of the ACM, our monthly flagship publication that delivers incisive essays, reviews and research, and ACM Queue, an online magazine for software developers written by leading software engineers, computing researchers and tech entrepreneurs.Sponsored Listing
- Grouping and Descriptive Categories (6)
- Linux (6)
- Modern (6)
- Solaris (6)
- BSD (5)
- Windows (5)
- Mac (3)
- Emulation and API Compatibility (2)
ECLiPSe Constraint Logic Programming System418 weekly downloads
Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.13 weekly downloads
PVN evaluates logical formula in a user defined n-valued semantics. Current efforts are aimed at fleshing out the port to GNU\'s prolog environment. Possible uses include embedding into a public domain knowledge base for a defeasible reasoning system.
ThousandEyes extends visibility across corporate networks as well as the public Internet, helping to solve issues from the branch through MPLS links and SIP trunks to service provider networks. Simulate pre-deployment capacity, monitor detailed performance metrics and see how QoS settings impact call quality.Sponsored Listing
Regulus is a Prolog-based toolkit for building spoken dialogue systems.
The project provides an incubator for intelligent agent-assisted, AR gaming-oriented BI applications generated through the STALEMATE Knowledge-based System Design Environment (KBSDE), integrating Web-enabled knowledge bases, data mining and warehousing and directed at asset management and investment banking.
reputron is a knowledge extraction engine platform that covers all aspect of text mining, relevance, indexing and querying on a corpus of text documents.