• XM2VTSDB

  • Referenced in 47 articles [sw34437]
  • home page for the XM2VTSDB multi-modal face database project. In this project a large ... multi-modal database was captured onto high quality digital video. The XM2VTSDB contains four recordings ... aquired within the M2VTS project (Multi Modal Verification for Teleservices and Security applications), a part ... improve the recognition efficiency by combining single modalities, namely face and voice features. The XM2VTSDB...
  • Ptolemy

  • Referenced in 78 articles [sw07459]
  • discrete event, continuous time, process networks and modal models...
  • MiniML

  • Referenced in 47 articles [sw29625]
  • modal analysis of staged computation. We show that a type system based on the intuitionistic ... modal logic S4 provides an expressive framework for specifying and analyzing computation stages ... that binding-time correctness is equivalent to modal correctness on this fragment. In addition, Mini...
  • SQEMA

  • Referenced in 39 articles [sw03056]
  • Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA ... first-order equivalents and proving canonicity of modal formulae, and thus established a very general ... most important of which employs a modal version of a result by Ackermann that enables ... prove correctness for a large class of modal formulae containing an extension of the Sahlqvist...
  • leanTAP

  • Referenced in 40 articles [sw09985]
  • author generalizes the sequent calculus to the modal logic K and sketches a proof ... arrives at a theorem prover for the modal logic K which is as elegant ... similar results can be obtained for the modal logics T, K4 and S4. The paper ... extended to the case of quantified modal logics as long as the Barcan formula...
  • ftnonpar

  • Referenced in 67 articles [sw11128]
  • Kovac, A. (2004) Densities, Spectral Densities and Modality Annals of Statistics. Annals of Statistics...
  • KL-ONE

  • Referenced in 41 articles [sw28891]
  • closely related to propositional modal logics and logics of programs (such as propositional dynamic logic ... differ significantly from run-of-the-mill modal and program logics. Consequently, the research ... which are, however, also of interest for modal logicians. In this article, we will focus...
  • ks

  • Referenced in 44 articles [sw08013]
  • including density functions, density derivatives, cumulative distributions, modal clustering, discriminant analysis, significant modal regions...
  • MIO Workbench

  • Referenced in 29 articles [sw09762]
  • workbench: A tool for compositional design with modal input/output interfaces. Modal Input/Output interfaces (MIOs ... approach combines the advantages of both modal automata and interface automata, two dominant specification theories...
  • ADADELTA

  • Referenced in 45 articles [sw39429]
  • information, different model architecture choices, various data modalities and selection of hyperparameters. We show promising...
  • TABLEAUX

  • Referenced in 18 articles [sw11674]
  • TABLEAUX: A general theorem prover for modal logics. We present a general theorem proving system ... propositional modal logics, called TABLEAUX. The main feature of the system is its generality, since ... unified environment for various kinds of modal operators and for a wide class of modal ... epistemic or dynamic logics. We survey the modal languages covered by TABLEAUX, which range from...
  • MSPASS

  • Referenced in 24 articles [sw17667]
  • MSPASS: Modal Reasoning by Translation and First-Order Resolution. mspass is an extension ... spass, which can be used as a modal logic theorem prover, a theorem prover...
  • FLIRT

  • Referenced in 21 articles [sw02671]
  • tool for linear (affine) intra- and inter-modal brain image registration. FLIRT is a very ... used for inter- and intra-modal registration with 2D or 3D images. In addition...
  • ModLeanTAP

  • Referenced in 18 articles [sw12368]
  • ModLeanTAP: Lean Tableau-based Deduction for Propositional Modal Logics. ModLeanTAP is a lean Prolog implementation ... modular labelled tableau calculus for propositional modal logics (where the labels contain free and universal ... with other considerably more complex implementations for modal deduction. ModLeanTAP’s development was inspired...
  • CoLoSS

  • Referenced in 14 articles [sw07016]
  • Coalgebraic Logic Satisfiability Solver, decides satisfiability of modal formulas in a generic and compositional ... polynomial space algorithm to decide satisfiability for modal logics that are amenable to coalgebric semantics ... Pauly’s coalition logic, graded modal logic, and probabilistic modal logic. Logics are easily integrated ... logics that include the fusion of two modal logics as a special case. One thus...
  • fpc

  • Referenced in 26 articles [sw07105]
  • clusters with kmeans, pam and clara. Modality diagnosis for Gaussian mixtures. For an overview...
  • LoTREC

  • Referenced in 25 articles [sw07684]
  • models and testing satisfiability of formulas in modal and description logics. This system is called...
  • Spartacus

  • Referenced in 14 articles [sw12426]
  • prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus ... blocking and lazy branching for the basic modal logic K and observe high effectiveness...
  • Elastix

  • Referenced in 19 articles [sw11747]
  • aligning data sets, possibly from different modalities (e.g., magnetic resonance and computed tomography), different time...
  • MCMAS-SLK

  • Referenced in 19 articles [sw24778]
  • labelling algorithm for epistemic and strategy logic modalities. We provide details of the checker which...