Skip to search formSkip to main contentSkip to account menu

Window operator

In modal logic, the window operator is a modal operator with the following semantic definition: for a Kripke model and . Informally, it says that w… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
Modal logicModal operator

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Symbolic Automata with Memory: a Computational Model for Complex Event Processing
We propose an automaton model which is a combination of symbolic and register automata, i.e., we enrich symbolic automata with… 
2016
2016
Recursive Incremental Computation for E ffi cient Window Aggregate over Array Database
An array database is effective for managing and analyzing multi-dimensional scientific big data, and the window aggregate is an… 
2010
2010
Data reuse in sliding window operations base on storing block targeted hardware compilation
A memory architecture is proposed to automatically explore the design space consisting of data reuse for sliding window… 
2009
2009
Pattern-Based Window: A Novel Window Operator to Support Event Detection over Data Stream
This paper proposes a novel window operator, pattern-based window, for data stream processing. By using pattern-based windows… 
2009
2009
Banknote processor and window transaction system using the same
The present invention provides a banknote processor and a window transaction system using the same, used to accept returned… 
2006
2006
Sliding window operator comprising frameless glass pane adjustor and associated tool and adjustment method
The invention relates to a vehicle door assembly having a regulator 100 for moving a frameless glass pane. The regulator 100… 
1997
1997
A new technique to construct grey-scale morphological operators using fuzzy expert system
Indexing terms: Mathematical morphology, Fuzzy expert system A new approach to grey-scale fuzzy mathematical morphology is… 
1996
1996
Electric window operator
(57) Abstract: Electrical window for opening and closing the window operator is connected with the slidable and removably… 
Review
1996
Review
1996
Reconngurable Parallel Vision System Informal Speciication Rm/94/4
data type contour definition abstype MODEL structure Match abstype POSE abstype SCENE structure RegSeg structure Localwinop… 
1988
1988
Neural Network Approach To Stereo Matching
A method for matching stereo images using a neural network is presented. We first fit a polynomial to find a smooth continuous… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)