2035 search results - page 220 / 407 » On the complexity of stratified logics |
147
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...
159
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...
145
click to vote
RSCTC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Many learning methods ignore domain knowledge in synthesis of concept approximation. We propose to use hierarchical schemes for learning approximations of complex concept...
191
click to vote
RSCTC
2004
Springer
15 years 12 months ago
2004
Springer
We address the problem of rough applicability of rules within the framework of approximation spaces. The graded applicability of a rule for an object of an approximation space, int...