java] free download - SourceForge

4 projects for "java]" with 2 filters applied:

Artificial Intelligence Java ME Clear Filters & Widen Search

Desktop and Mobile Device Management Software
It's a modern take on desktop management that can be scaled as per organizational needs.

Desktop Central is a unified endpoint management (UEM) solution that helps in managing servers, laptops, desktops, smartphones, and tablets from a central location.

Learn More
Get verified B2B contact data without breaking the bank.
Nimbler makes it easy for salespeople and marketers to get verified B2B leads and audiences for cold outbound and targeted ads.

Nimbler is the ultimate B2B contact data and enrichment platform. We make it easy for salespeople and marketers to access verified lead data and enrich their existing CRM data in real time.

Learn More
1

GEARS Air Traffic Conflict Resolution

Conflict Resolution for Air Traffic Control

GEARS Conflict Resolution is an innovative experimental tool developed at the EUROCONTROL Experimental Centre to provide automatic conflict resolutions for air traffic control.

Downloads: 0 This Week

Last Update: 2018-01-22
See Project
2

DocCO

Non-disjoint groupping of Documents based on word sequence approach

This is a GUI for learning non disjoint groups of documents based on Weka machine learning framework. It offers the possibility to make non disjoint clustering of documents using both vectorial and sequential representation (word sequence approach based on WSK kernel). All data format supported by WEKA could be used in DocCO. Data could be loaded from files, from databases or from specified URL. All the preprocessing techniques implemented in WEKA could be used before performing the learning.

Downloads: 0 This Week

Last Update: 2013-08-17
See Project
3

Interactive Help Agent

This article talks about how to create a chatterbot that can serve as an interactive help agent. The bot has been "taught" to answer FAQs about a system. It can help solve petty issues for users quickly or point them to a human agent.

Downloads: 0 This Week

Last Update: 2013-04-01
See Project
4

3A-TRE

3A-TRE evaluates traditionally logical expressions under 3 assumptions

...In this case, the dependent test modules are always assumed to be true when their results are not available. We call this a stub assumption (SA). 3A-TRE example: echo "CWA: (T and U)" | java -jar PTRE.jar Result: F 3A-PTRE example: (P means possible results) echo "OWA: (T,U and U,F)" | java -jar PTRE.jar Result: U,F

Downloads: 0 This Week

Last Update: 2012-07-10
See Project
The most advanced C and C++ source code analyzer
Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.

TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.

Learn More