Results 221 to 230 of about 2,148,404 (272)

VideoMamba: State Space Model for Efficient Video Understanding

European Conference on Computer Vision
Addressing the dual challenges of local redundancy and global dependencies in video understanding, this work innovatively adapts the Mamba to the video domain.
Kunchang Li, Xinhao Li, Yi Wang, Yinan He, Yali Wang, Limin Wang, Yu Qiao   +6 more
semanticscholar   +1 more source

Some Modal Operators Over Intuitionistic Logic

Algebra and Logic, 2015
We study a number of modal operators over intuitionistic logic defined as compositions of principal modal operator of logic in consideration with intuitionistic negation. We adopt an approach due to K. Dosen and M. Božic (see [1] and [3]), who introduced four systems of intuitionistic modal logics — HK , HK♦, HK ′ and HK♦′ — each dealing with one of ...
openaire   +2 more sources

Polarity Semantics for Negation as a Modal Operator

Studia Logica: An International Journal for Symbolic Logic, 2019
Yuanlei Lin, Minghui Ma
semanticscholar   +1 more source

Bayesian Operational Modal Analysis

2015
This chapter gives a basic introduction of Bayesian operational modal analysis, covering theoretical formulation, computational algorithms, uncertainty quantification, and management.
openaire   +1 more source

Hilbert Algebras with a Modal Operator $${\Diamond}$$◊

Studia Logica: An International Journal for Symbolic Logic, 2015
S. Celani, D. Montangie
semanticscholar   +1 more source

Hilbert algebras with a necessity modal operator

Reports Math. Log., 2014
S. Celani, D. Montangie
semanticscholar   +1 more source

Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator

Studia Logica: An International Journal for Symbolic Logic, 2012
H. Takamura
semanticscholar   +1 more source

Establishing human situation awareness using a multi-modal operator control unit in an urban search & rescue human-robot team

IEEE International Symposium on Robot and Human Interactive Communication, 2011
B. Larochelle, G. Kruijff, N. Smets, T. Mioch, P. Groenewegen   +4 more
semanticscholar   +1 more source

Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures

Australasian Conference on Artificial Intelligence, 2009
N. Kamide, K. Kaneiwa
semanticscholar   +1 more source

An organic electrochemical transistor for multi-modal sensing, memory and processing

Nature Electronics, 2023
, , Tao Li
exaly