
XM2VTSDB
 Referenced in 47 articles
[sw34437]
 home page for the XM2VTSDB multimodal face database project. In this project a large ... multimodal 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 bindingtime 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 ... firstorder 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...

KLONE
 Referenced in 41 articles
[sw28891]
 closely related to propositional modal logics and logics of programs (such as propositional dynamic logic ... differ significantly from runofthemill 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 FirstOrder 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 intermodal brain image registration. FLIRT is a very ... used for inter and intramodal registration with 2D or 3D images. In addition...

ModLeanTAP
 Referenced in 18 articles
[sw12368]
 ModLeanTAP: Lean Tableaubased 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...

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