Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Showing page 1 of 1
Filter by Related Tags:

kipler

Compare

  Analyzed 3 months ago

Kipler is an object-oriented tableau framework for rapid development of (modalized) description logic reasoners.It also comes with readily implemented decision procedures for some of these logics. A decision procedure for such a logic can be implemented by (programmatically) extending the classes provided by Kipler and thus making us... [More]

3.65K lines of code

0 current contributors

About 4 years since last commit

0 users on Open Hub

Activity Not Available
0
 

tableauimageprocessing

Compare

  Analyzed 3 months ago

This is a project with the primary purpose to provide source code for Tableau [white|black|green]Board Processing. The first algorithm developted is described on paper published on CBDAR 2007 in Curitiba, Brazil. "Processing Teaching-Board Images Acquired with Portable Digital Cameras", Daniel Oliveira, and Rafael Lins ... [More]

766 lines of code

0 current contributors

Over 7 years since last commit

0 users on Open Hub

Activity Not Available
0
 

intohylo

Compare

  Analyzed 27 days ago

This suite of tools consists of: hylores : a resolution-based theorem prover for the hybrid logic H(@,A,D,◇¯,↓) htab : a tableaux-based theorem prover for the hybrid logic H(@,A,D,◇¯,↓) with role inclusion hylolib : the common library used by the other provers gridtest : a framework to test and compare provers on a single machine or ... [More]

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0
 
Mostly written in language not available
Licenses: GPL-2.0+

tableau-parm

Compare

  Analyzed 3 months ago

tableau-parm is an small command line utility designed to interact with Tableau forensic write blockers. It performs functions similar to the Tableau Disk Monitor, except that it operates under select UNIX platforms.

554 lines of code

0 current contributors

About 5 years since last commit

0 users on Open Hub

Activity Not Available
0
 

hadoop-monitor

Compare

  Analyzed 3 months ago

Monitoring tool for Hadoop

73 lines of code

0 current contributors

Almost 5 years since last commit

0 users on Open Hub

Activity Not Available
0
 

tableau-util

Compare

  Analyzed 3 months ago

Tableau utilities

44 lines of code

0 current contributors

Over 4 years since last commit

0 users on Open Hub

Activity Not Available
0