Belief Revision via PS-Merge under constraints belief merging operator
Belief revision is a central topic in knowledge representation and reasoning. It consists in incorporating a new belief, changing as few as possible of the original beliefs while preserving consistency. Revision always considers new evidence as a better belief. Such new evidence is usually represented in the form of a propositional formula which must be preserved after the revision. Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and this extension is used as a strategy for belief revision. The new evidence is treated as a constraint so the extended merging operator can obtain the revised belief base.
Transcribe audio files to written text
Simple program to assist transcriptions from recorded interviews. Resembles somewhat the early F4. <br/>Keywords: transcription transcribe interview
Java swing based tool to convert time between different time zones
Timeutil is a java swing based utility application, which helps in converting time between different time zones. We can also add, subtract date and time using this tool.It should be a handy tool for distributed teams.
Enhanced mobile version of POS
NORD POS Web Application Platform was based on a fork of Openbravo POS. NORD POS Web Application Platform includes Jetty 9 and Apache Derby embedded servers, device drivers, Pentaho Data Integration engine, new Java Swing interface and more the other changes as opposed to Openbravo POS. NORD POS presents a new interface, full cross-platform and support of the many mobile web applications. All in one platform based on Stripes JavaEE Framework. The cashiers and storekeepers have access to data from a tablets or smartphones.
Easy, automatic reporting for VoiceXML based applications in particular Genesys GVP. Provides automatic menu option history, dialog history and storage of application variables. Do in minutes what used to take weeks.
SAFMQ: Store and Forward Message Queue, message oriented middleware. Uses include Assured Async Messaging, SOA, Delayed/Batch, and Cluster/Grid Computing. The SAFMQ server provides cross platform communication among C++, PHP, Java, and .NET clients.
GreatstCPFM is a cross platform file manager. In the current version it only supports Linux and Windows systems (tested with Ubuntu, Debian and Windows XP) and it only performs copy, move and delete file operations.
Java based SQL Tool
The SQLRunner is a Java based tool to handle SQL, import/export comfortable data and check data base schemas.
Support variant based Java program execution, adapted to support MDE.
Work Case Toolkit is a tool that provides variant based program's execution. Our main goal is to define an API that we can use embedded into any Java application to support dynamic execution based on variant flows. The variants are controlled by a graph decision using features diagrams relationships. The project was originally planned in 2005 to support Model Driven Architecture OMG approach, focusing specially on the management of architectural changes and models transformers. The main goal of the program is to design transformation chains based on features diagram variants. The model transformers orchestration is obtained by using Features Diagrams and Transformation Diagrams (a feature that must be re-implemented to support of a Java drawing API). Any help is welcome. Given that we have some good results in running dynamic transformation chains, we decided to extend the tool to support another goal: a Java API to support variant based program's execution. Enjoy it.
A tool that converts CCGBank to PTB
Conversion between different grammar frameworks is of great importance to comparative performance analysis of the parsers developed on them. This tool can convert CCG derivations to PTB trees by using Max Entropy models as well as visualizing the tree graphs. The main technical innovation presented here is the effective conversion method which achieves a F score over 95%.
Mp4sync is a tool to help people keeping the content of their MP3/MP4 player up-to-date with the content of the media collection located on their compuer. It also provides options to manage specific limitations of some chinese MP3/MP4 players.
A pure java calendar utility, with a date field and navigable calendar. Actual version: 0.9 (November 23th) Now, allow selection rules (like: only before a date, or only weekday), auto language use (by OS configuration) - or custom if you prefer... I hope this help you.. Download, use, study and post a review.. What's next? : More documentation, FAQ. : Range date selection (dd/mm/yyyy-dd/mm/yyyy). One field, two dates. Next version (0.95), with range date selection, will be released in this month (03/2012) but it's very hard. The result will be amazing, so don't be angry with the delay,,,
Build competitively balanced teams
Parity Builder constructs rosters from individuals with the goal of making the rosters as comparable as is possible. Sample applications include building teams in recreational sports leagues and assigning students to project teams or study groups.
Toolkit and GUI for sequencing data analysis
The Bamformatics project aims to provide a coherent and consistent approach to analysis of high-throughput sequencing data. Its toolkit includes, among others, programs to identify variants and to compute various types genomic tracks. It also provides a graphical user interface to facilitate general bioinformatic workflows. The project wiki contains further details.
JDateButton is a Java date selection utility
JDateButton is a Java date selection utility for graphically selecting the date. It utilises a Button to display the date, which when pressed will bring up a Calendar dialog to select the date. Table renderer and editor versions are also included. The range of dates selectable by the dialog can be controlled as can the locale and date Format. Version v1.3.0 has been migrated to Java 8 and the new LocalDate class. Previous versions were based on the Date and Calendar class. Version v2.0.0 has been migrated to JavaFX. Version v2.1.0 has merged the two code bases providing separate JavaFX and Swing jar files
A Java Swing interface which exposes the functionality provided by Picasa's Web Albums. Allows you to connect to a Picasaweb account, view/add/delete albums, download/delete/upload/preview photos, and copy photos from one account to a different account.
The Quantitative Finance Framework (QFF) supports the development of software libraries in mathematical finance. The main field of applications are the pricing of derivatives and the management of financial risks.
A Logo interpreter and programming environment specialized for schools
A Logo interpreter and programming environment specialized for schools. It is a revised version of XLogo, published on http://xlogo.tuxfamily.org/. The Logo dialect is almost the same as Xlogo's, but some Logo commands were reimplemented to fit with the new programming environment and workspace. Some commands which were buggy in the original XLogo have been fixed. The interpreter works now more efficient due to the usage of more suitable data structures. The output of turtle graphics is now smoother and more appealing due to different rendering settings. Various features have been added to support better user experience and satisfaction in schools. @Translations: The new GUI parts are available in * English * German * French * Italian If you would like to make the application available in your language and if you would like to contribute, please contact us. * * * * * * * * * * * News * * * * * * * * * * The X4S Manual is now available on the files page.
Easy encryption and decryption of Texts
CryptoDoctor is a simple but powerful tool to encrypt and decrypt texts. It is currently available in german language. Moved to GitHub.com: http://saladan.github.io/CryptoDoctor
JChords Guitar Chords and Tunings Library
JChords is a cross-platform, java based, guitar chord and tunings database. It is lightweight, and runs on any platform that has java. NOTE; Requires Java => 7 to run.
The VL-e Toolkit (VBrowser)
The Virtual Resource Browser or VBrowser is intended as single front-end to the Grid. This is the main front-end from the VL-e Toolkit (VLET) and most (VLET) users will only use this Graphical User Interface to access their Grid resources. It is an easy to use explorer-like browser for the Grid and it supports core grid file systems like Grid-FTP, SSH-FTP, SRM and LFC out of the box and presents them to the user in an easy to use tree like structure. This logical structure can be customized by the the user by creating virtual folders and links to remote (grid) resources grouping relevant grid files and other resources together into a single (virtual) browsable environment. Since it is written in Java no additional (grid) software is needed and it can be easy downloaded and deployed on any modern computer or laptop supporting Java 1.6. The VL-e Toolkit was started as part of the VL-e project which lasted from 2005 to 2009. Development of this toolkit has ended in 2011.
Java package providing a simple and configurable key binding chooser dialog. This includes an editor for making and editing lists of bindings in a variety of persistence formats.
A simple Belief Merging Prototype
Belief merging aims at combining several pieces of (possibly inconsistent) information coming from different sources. The goal is to produce a single consistent set of information, trying to keep the most of the information of the sources. A belief merging operator is the responsible for making the belief merging. With this tool you can compare the ΔΣ, ΔGMax and the Δps (PS-Merge) operators.
eSports tactical drawing board
Tell your teammates where you want them to go in a match by simply drawing it to them. Import an overview image of the map (PNG) and then show them their spots by simply dragging the connected player onto the board. Draw player's pathes with a crosshair pencil in different colors. Add icons to the board to illustrate grenade or smoke targets. Uses http://netty.io/ for network communication and https://code.google.com/p/json-simple/ as communication objects.