2022 search results - page 225 / 405 » Complexity of Non-Monotonic Logics |
143
click to vote
ISVC
2007
Springer
16 years 19 days ago
2007
Springer
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...
135
click to vote
ISCAS
2006
IEEE
16 years 15 days ago
2006
IEEE
— We present analytical formulas for the calculation of the memory requirements for a system using the Complex Logarithmic Number System (CLNS). Certain properties of the CLNS ad...
146
click to vote
FDL
2005
IEEE
16 years 3 days ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
161
click to vote
ADC
2004
Springer
15 years 12 months ago
2004
Springer
Forms are the most common way to interface users and Web-based applications. Traditional forms cannot provide the functionality needed to fulfil the requirements of complex appli...
158
click to vote
KI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...