• MPTP 0.2

  • Referenced in 45 articles [sw02589]
  • tools. The Mizar-to-TPTP exporter is now just a XSLT stylesheet translating the XML ... syntax. The problem creation and other MPTP processing tasks are now implemented in about...
  • eXist

  • Referenced in 16 articles [sw01467]
  • indexing and query processing architecture of eXist, an Open Source native XML database system. eXist ... tightly integrated with existing tools and covers most of the native XML database features...
  • XMLTK

  • Referenced in 11 articles [sw10572]
  • processing, consisting of two components. The first is a collection of stand-alone XML tools...
  • EMiT

  • Referenced in 4 articles [sw00237]
  • efforts, the process mining tool EMiT has been built. EMiT is a tool that imports ... event logs using a standard XML format as input. Using an extended version ... algorithm it can discover the underlying process model and represent it in terms ... support the practical application of the tool, various adapters have been developed that allow...
  • QuiX

  • Referenced in 1 article [sw14201]
  • QuiX-Tool Suite provides tools to process XML streams and documents. Stream means ... XML input is processed event by event like in SAX interface. The QuiX-Tool Suite...
  • STEX+

  • Referenced in 4 articles [sw07697]
  • processing. Originally STEX had been created as an invasive, semantic frontend for authoring XML documents ... Software Engineering case study as a formalization tool. In order to deal with modular ... STEX+ in a participatory design process. We present a tool chain that starts with ... Linked Data via an OMDoc-enabled, versioned XML database. In the final output, all structural...
  • TXL

  • Referenced in 17 articles [sw11319]
  • creating, manipulating and rapidly prototyping language descriptions, tools and applications. TXL is designed to allow ... paradigms in rewriting, such as XML mark-up, rewriting strategies and contextualized rules, without ... applying recent new paradigms in language processing...
  • MathTools

  • Referenced in 3 articles [sw26267]
  • numerous conversion tools and the canonicalization project. Our toolkit facilitates processing of mathematics for digital ... libraries without the need to obtain XML expertise...
  • gccXfront

  • Referenced in 2 articles [sw13104]
  • Further, by using XML transformation stylesheets, the XML outputted by our modified ... translated into a more readable format. Our tool, gccXfront leverages the power and portability ... Java program can be processed using gcc. Our tool can thus act as a bridge ... other program comprehension tools that accept XML formatted input...
  • APPROXML

  • Referenced in 2 articles [sw03152]
  • APPROXML tool demonstration XML information items collected from heterogeneous sources often carry similar semantics ... processing technique, capable to extract relevant information from a possibly huge set of XML documents ... APPROXML is a software tool supporting approximate pattern-based querying, able to locate and extract...
  • XSugar

  • Referenced in 5 articles [sw35682]
  • Languages. XML is successful as a machine processable data interchange format, but it is often ... this reason, many XML languages permit an alternative more legible non-XML syntax. XSLT stylesheets ... often used to convert from the XML syntax to the alternative syntax; however, such transformations ... reversible since no general tool exists to automatically parse the alternative syntax back into...
  • QuiXProc

  • Referenced in 1 article [sw14203]
  • QuiXProc is an implementation of XProc for XML streams that is based on QuiXPath ... want QuiXProc to become a mainstream tool to process Structured and Unstructured Data, preserving high...
  • PADS

  • Referenced in 5 articles [sw30121]
  • PADS: a domain-specific language for processing ad hoc data. PADS is a declarative data ... libraries and tools for manipulating the data, including parsing routines, statistical profiling tools, translation programs ... produce well-behaved formats such as Xml or those required for loading relational databases...
  • TAO_XML_T

  • Referenced in 1 article [sw13512]
  • text, TAO_XML, etc) and at different levels of abstraction. The transformation process ... laboratories using a tool named TAO_XML_T. The tool’s component-based architecture...
  • ProMiner

  • Referenced in 5 articles [sw22565]
  • with a real challenge. ProMiner is a tool for specific terminology recognition and addresses several ... through automatic curation followed by a manualevaluation process; mapping of synonyms to reference names ... numbers); full text annotation in XML, HTML or PDF format; patent annotation...
  • Squash

  • Referenced in 2 articles [sw28896]
  • relations between them. We have developed a tool named Squash (Sql Query Analyzer and Schema ... queries into an Xml representation called Squashml, which is then processed in Swi–Prolog...
  • htmltidy

  • Referenced in 0 articles [sw17224]
  • Test XPath Queries on HTML and XML Content. HTML documents can be beautiful and pristine ... XHTML before processing it with your favorite angle-bracket crunching tools, going beyond the limited ... tidying that ’libxml2’ affords in the ’XML’ and ’xml2’ packages and taming even the ugliest...
  • XRadar

  • Referenced in 1 article [sw30821]
  • code report tool currently supporting all Java based systems. The batch-processing framework produces HTML/SVG ... reports. The architecture is based on java, xml and xsl. For now, it only supports...
  • PSOA RuleML API

  • Referenced in 1 article [sw07649]
  • PSOA RuleML API: A tool for processing abstract and concrete syntaxes PSOA RuleML ... creation and manipulation. The API parses an XML-based concrete syntax of PSOA RuleML, creates...
  • iMorph

  • Referenced in 1 article [sw26245]
  • IMorph: A 3D morphological tool to fully analyse all kind of cellular materials. iMorph ... used by non expert of image processing. The 3D visualization use OpenGL libraries and allows ... with segmented objects. Finally our software handles XML samples database, in order to store results...